Programming PHP

The class of programming languages commonly known as functional includes Lisp, Scheme, ML, and Miranda TM. This book explores a subclass known as lazy functional languages, beginning with the theoreti

This tutorial demystifies one of the most important yet poorly understood aspects oflogic programming, the Warren Abstract Machine or WAM. The author's step-by-step construction of theWAM adds feature

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concu

Eighteen holiday favorites uniquely arranged for SATB ensemble. Suitable for groups of any size, musical level, and all ages. Programming hints and staging suggestions included. Performance tips for e

This user-friendly text offers a thorough introduction to the part of optimization theory that lies between approximation theory and mathematical programming, both linear and nonlinear. Written by two

The national bestseller that shows how anyone can master the proven scientific techniques of neurolinguistic programming (NLP) and forge instant relationships, instant chemistry, instant intimacy at

A complete reference for the C++ programming language, consisting of the C++ reference manual, approved as the base document for ANSI standardization of the language, plus annotations and commentary.

This book describes a powerful and flexible technique for the modeling of behavior, based on evolutionary principles. The technique employs stochastic dynamic programming and permits the analysis of b

Introduces the Postscript programming language, describes the imaging model, and discusses emulators, page design, program structure, scanned images, file merging, and error handling

This book, written entirely by hand, is an introduction to programming in Pascal. It starts with the fundamental concept of a stored program and works through to the manipulation of records in dynamic storage. The style of presentation is pictorial. This book may be used as a self-contained reference manual for Pascal to BS 6192 and ISO 7185. Besides defining the statements and structures of Pascal this book illustrates the use of such features in small but complete programs. These programs introduce fundamental techniques of programming such as symbol-state tables, bubble sort, quicksoft, stacks and queues, reverse Polish notation, linked lists, shortest-route technique, doubly linked rings, binary trees, hashing technique and other tools of the programmer's trade.

This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions. The first section is devoted to the mathematical foundations of the subject and sufficient detail is given to illustrate the fundamental problems. The remainder of the book covers the use of denotational semantics to describe sequential programming languages such as Algol, Pascal and C. Throughout, numerous exercises, usually in Pascal, will help the student practise writing definitions and carry out simple applications. The book culminates in discussing an executable semantics of the logic-programming language Prolog. Being an introduction, advanced undergraduates in computer science and graduates new to the subject will find this a readily accessible account of one of the central topics of computer science.

Totally revised, this 2nd Edition includes a new chapter on decision analysis, and additional material on computer solutions of linear programming problems, LP applications, the use of sensitivity ana

The emphasis is on theory, programming and appilications to show exactly how Finite Element Method can be applied to quantum mechanics, heat transfer and fluid dynamics. For engineers, physicists and

The transition from sequential to parallel computation is an area of critical concern in today's computer technology, particularly in architecture, programming languages, systems, and artificial intel

MODULA-2 is a new programming language which was created by Niklaus Wirth of the Swiss Federal Institute of Technology (ETH) in Zurich. The lan­ guage is derived from PASCAL: it includes all aspects o

Fifteen original contributions from experts in high-speed computation on multi-processor architectures, concurrent programming and parallel algorithms. Experts in high-speed computation agree that the

Sign Off takes on network coverage of Three-Mile Island, riots in Miami, sex, theselling of politicians, the "electronic church," hyped-up news programming, and more. It is thethird book by Ed Diamond

BCPL is a simple systems programming language with a portable compiler that has been implemented on many machines from large mainframes to mini computers and microprocessors. The book provides an introduction to the language, paying particular attention to programming style. In addition, it covers the more machine-independent parts of the BCPL library and outlines various debugging aids that most implementations provide. The syntax analysis phase of the compiler is described in detail, giving a realistic example of a typical application of the language. This and other substantial examples given in the book will be of interest both to serious users of BCPL and to computer writers. There is a chapter concerned with the portability code generator design. The reference for BCPL appears as the final chapter.

"First book-length exposition of the denotational (or `mathematical' or `functional') approach to the formal semantics of programming languages (in contrast to `operational' and `axiomatic' approaches

A staff engineer in Java at Sun Microsystems, Liang explains how programmers can integrate code written in the Java programming language with code written in other languages such as C and C++, thus al

Created by world-renowned programming instructors Paul and Harvey Deitel, “Visual C# 2008 How to Program, Third Edition” introduces all facets of the C# 2008 language hands-on, through hundreds of wor

Created by world-renowned programming instructors Paul and Harvey Deitel, Visual Basic 2008 How to Program, Fourth Edition introduces all facets of the Visual Basic 2008 language hands-on, through hun

KEY BENEFIT: Updated and current, this book provides a comprehensive view of programming and interfacing of the Intel family of microprocessors from the 8088 through the latest Pentium 4 microprocesso

If you are new to C++ programming, C++ Primer Plus, Fifth Edition is a friendly and easy-to-use self-study guide. You will cover the latest and most useful language enhancements, the Standard Template

In a text focusing on realistic computer-generated images using OpenGL, a set of graphics programming tools operating across computer platforms, McConnell (Canisius College) introduces the terminology

Created by world-renowned programming instructors Paul and Harvey Deitel, Visual Basic 2010 How to Program, Fifth Edition introduces all facets of the Visual Basic 2010 language through a hands-on app

For a wide variety of Web Programming, XHTML, and JavaScript courses found in Computer Science, CIS, MIS, IT, Business, Engineering, and Continuing Education departments.Internet and World Wide Web Ho

Android How to Program, Second Edition provides a clear and entertaining App-driven introduction to Android 4.3 development for both introductory- and intermediate-level programming courses. The Deite

Created by world-renowned programming instructors Paul and Harvey Deitel, Visual C# 2010 How to Program, Fourth Edition introduces all facets of the C# 2010 language hands-on, through hundreds of work

1.Covers not only AI theory, but modern applications e.g., game programming, machine learning, swarming, artificial immune systems, genetic algorithms, pattern recognition, numerical optimization, dat

Practical strategies to improve school climate and well-being for allSchool counselors often shoulder the weight of social emotional learning (SEL) at a time when students are experiencing increased mental health challenges, including loneliness, depression, and trauma, leaving them vulnerable to burnout. With contributions from a team of educational experts, this practical and timely guide presents a user-friendly framework that integrates adaptive strategies to meet real-time needs, balanced approaches to distribute workloads effectively, and collaborative solutions that elevate the voices of students and the school community. Inside, you will find:Actionable insights to foster culturally responsive programming while driving systemic changePractical solutions for addressing real-world implementation challenges tailored to diverse school communitiesDownloadable templates, talking points for encouraging dialogue, and team-based professional development activitiesGuidance for fostering

本書介紹了Web安全和Web滲透測試的基本概念，以及Web應用程序技術基礎、前端動態語言JavaScript、後端PHP和數據庫MySQL的基礎知識，基於開放的Web安全滲透測試平臺DVWA，結合常用的滲透測試工具，闡述了Web應用中常見漏洞的形成原理、滲透方式和防禦手段，並且形成綜合案例進行實戰練習。本書可以作為高等院校信息安全、計算機網絡技術等相關專業的教材，也可作為網絡安全運維工程師、Web滲透測試工程師、或其他對Web滲透測試感興趣的讀者作為參考。

本書是一本Redis的入門指導圖書，以通俗易懂的方式介紹了Redis基礎與實踐方面的知識，包括歷史與特性，在開發環境和生產環境中部署運行Redis，數據類型與命令，使用Redis實現事務、排序、消息通知、管道、Redis存儲空間的優化，持久化等內容，並採用“任務驅動”的方式介紹了PHP、Ruby、Python和Node.js這4種編程語言的Redis客戶端庫的使用方法。本書的目標讀者不僅包括Redis新手，還包括已經掌握Redis使用方法的讀者。對新手而言，本書的內容由淺入深且緊貼實踐，讓讀者能夠即學即用；對於已經瞭解Redis的讀者，通過本書的大量實例以及細節介紹，也能發現很多新的技巧。

本書系統而深入地講解了PHP開發的主流框架ThinkPHP。全書共9章，第1章主要講解蝸牛筆記的系統功能，同時對環境準備和基礎知識進行梳理。第2章講解如何基於蝸牛筆記的功能需求設計前端界面，並利用HTML5+BootStrap框架設計能夠同時適配移動端和PC端的響應式界面。第3章基於業務需求進行數據庫和表結構的設計，進而使讀者更加清晰地把控項目需求。第4章講解ThinkPHP開發框架的核心知識，為實現項目的功能開發做好技術儲備。第5章～第8章基於MVC模型，結合數據庫操作和前端頁面開發，完整地實現了蝸牛筆記的核心功能。第9章為進階技術，主要講解緩存服務器、頁面靜態化處理等技術。本書通過項目案例來對核心知識點進行深入剖析，可以更加快速地幫助讀者提升Web系統開發的能力。本書適合作為高校計算機及相關專業的教材，也適合作為PHP開發工程師和相關從業者的自學參考書。

新手的第一本Linux入門手冊！ 帶你學會操作Docker容器，輕鬆建立多種開發環境 本書是一本Linux作業系統和Docker技術的入門書，也是一本探討虛擬化技術的書，可以讓初學者輕鬆在Windows作業系統學習Linux和Docker技術，並且教你如何使用Linux作業系統來建構專案所需開發環境的書。 本書首先會詳細說明Linux作業系統的命令，接著實際建構PHP、Node.js和Python開發環境，最後進入Docker主題，讓讀者擁有足夠的Linux能力，可以自行打造Docker容器的開發環境，並且透過Visual Studio Code進行專案開發。 讀完本書，你除了能學會基本Linux作業系統的使用，在Linux作業系統架設伺服器、建立Node.js、Python和Keras深度學習開發環境，還可以進一步學習如何使用Docker容器化技術，透過Docker命令來建立、啟動、停止、暫停和移除容器。最後，你還能使用ChatGPT提問模板來建立Dockerfile，建構部署專案所需的DevOps開發與運維環境。 ▍你將學會 ◆ 理解虛擬機與容器的原理與差異 ◆ 利用WSL 2在Windows中安裝Linux虛擬環境 ◆ 建構PHP、Node.js和Python開發環境 ◆ 搭配Visual Studio Code進行專案開發 ◆ 使用Gradio介面快速部署AI預訓練模型 ◆ 介紹Docker映像檔、容器和倉庫的基本操作 ◆ 使用Docker技術來建立軟體開發與部署環境

本書主要講解Linux桌面操作系統Ubuntu的配置管理、桌面應用、編程和軟件開發。全書共12章，內容包括Ubuntu 概述、安裝與基本操作，用戶與組管理，文件與目錄管理，磁盤存儲管理，軟件包管理，系統高級管理，Ubuntu桌面應用，Shell編程，C/C++編程，Java與Android開發環境，PHP、Python和Node.js開發環境，Ubuntu服務器。本書內容豐富，注重實踐性和可操作性，對每個知識點都有相應的操作示範，便於讀者快速上手。本書可作為高等院校、職業院校計算機專業的教材，也可作為Ubuntu Linux系統操作人員的參考書，以及各類培訓班教材。