Programming PHP

《飲食營養大研究》為日本松下智庫PHP研究所邀請日本女子營養大學短期大學部教授金田雅代女士主持編寫，內容以食物營養為核心，從食物營養與人體關係、人體消化器官的結構、人體消化機制、不同年齡兒童的營養標準建議，食物分類及其營養成分構成、均衡膳食菜譜等方面，以圖解的形式，詳略有序地講解了飲食營養的相關知識。

Stream processing is a novel distributed computing paradigm that supports the gathering, processing and analysis of high-volume, heterogeneous, continuous data streams, to extract insights and actionable results in real time. This comprehensive, hands-on guide combining the fundamental building blocks and emerging research in stream processing is ideal for application designers, system builders, analytic developers, as well as students and researchers in the field. This book introduces the key components of the stream computing paradigm, including the distributed system infrastructure, the programming model, design patterns and streaming analytics. The explanation of the underlying theoretical principles, illustrative examples and implementations using the IBM InfoSphere Streams SPL language and real-world case studies provide students and practitioners with a comprehensive understanding of such applications and the middleware that supports them.

觸及 iPhone、Android、BlackBerry、Windows Phone 等行動平台使用者“Programming the Mobile Web 讓你快速認識所有新平台，也讓你看到行動網頁開發技術的全貌。”-Carlos SolisRevolucion.mobi 創辦人行動 app 的市場正以驚人的速度進化當中，本書正是最完整的行動 web 參考書籍。在這本暢銷書的第二版之中，你可以學

First published in 2007, this second edition describes the computational methods used in theoretical physics. New sections were added to cover finite element methods and lattice Boltzmann simulation, density functional theory, quantum molecular dynamics, Monte Carlo simulation, and diagonalisation of one-dimensional quantum systems. It covers many different areas of physics research and different computational methodologies, including computational methods such as Monte Carlo and molecular dynamics, various electronic structure methodologies, methods for solving partial differential equations, and lattice gauge theory. Throughout the book the relations between the methods used in different fields of physics are emphasised. Several new programs are described and can be downloaded from www.cambridge.org/9781107677135. The book requires a background in elementary programming, numerical analysis, and field theory, as well as undergraduate knowledge of condensed matter theory and statistica

《微信公眾平臺搭建與開發揭秘》以PHP技術為基礎，全面系統地介紹了微信公眾平臺的搭建。全書共15章，主要內容有微信公眾平臺介紹、編輯模式的操作管理、開發模式的驗證、地理位置信息的使用、常用API對接、數據庫操作、緩存處理、WAP站搭建，以及刮刮樂和秒殺等促銷功能。此外，本書對於騰訊微生活和第三方微信接口也作了初步介紹，最後以一個具體實例介紹了微信公眾賬號的開發流程。《微信公眾平臺搭建與開發揭秘》在

Dreamweaver CS的應用 認識JSP的作業平台與語法 熟悉MySQL的資料庫操作與管理 電子賀卡系統的設計 會員管理系統的設計建置BBS討論區製作線上購物系統JSP是目前當紅的動態網頁製作技術，可以將其理解為是在HTML程式中再寫入Java程式混合而成的一種網頁編寫程式，其跨平台上的整合能力以及優異的執行效能又遠遠超越ASP與PHP。因此本書將結合Dreamweave

A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization and program analysis. The last section of the book points out directions for future studies.

A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization and program analysis. The last section of the book points out directions for future studies.

《Redis入門指南》是一本Redis的入門指導書籍，以通俗易懂的方式介紹了Redis基礎與實踐方面的知識，包括歷史與特性、在開發和生產環境中部署運行Redis、數據類型與命令、使用Redis實現隊列、事務、複製、管道、持久化、優化Redis存儲空間等內容，並採用任務驅動的方式介紹了PHP、Ruby、Python和Node.js這4種語言的Redis客戶端庫的使用方法。 《Redis入門指南》的目

當前關於web開發的書籍很多，但都是針對專業的開發人員，對於廣大學生則往往難以理解和接受。《國外計算機科學經典教材：Web程序設計（第7版）》由擁有30餘年計算機教學經驗的教授編寫，專門針對大學生來討論web編程，充分考慮了讀者的知識背景，比較全面地介紹了建立和維護web服務器站點所必需的工具和技術，包括xhtml、css、javascript、xml、flash技術、php、ajax、asp.n

Building on recent human rights scholarship, childhood studies and child rights programming, this conceptual framework on children's rights proposes three key-notions: living rights, or the lived experiences in which rights take shape; social justice, or the shared normative beliefs that make rights appear legitimate for those who struggle to get them recognised; and translations, or the complex flux between different beliefs and perspectives on rights and their codification. By exploring the relationships between these three concepts, the realities and complexities of children's rights are highlighted. The framework is critical of approaches to children as passive targets of good intentions and aims to disclose how children craft their own conceptions and practices of rights. The contributions offer important insights into new ways of thinking and research within this emerging field.

Driven by concrete computational problems in quantitative finance, this book provides aspiring quant developers with the numerical techniques and programming skills they need. The authors start from scratch, so the reader does not need any previous experience of C++. Beginning with straightforward option pricing on binomial trees, the book gradually progresses towards more advanced topics, including nonlinear solvers, Monte Carlo techniques for path-dependent derivative securities, finite difference methods for partial differential equations, and American option pricing by solving a linear complementarity problem. Further material, including solutions to all exercises and C++ code, is available online. The book is ideal preparation for work as an entry-level quant programmer and it gives readers the confidence to progress to more advanced skill sets involving C++ design patterns as applied in finance.

Driven by concrete computational problems in quantitative finance, this book provides aspiring quant developers with the numerical techniques and programming skills they need. The authors start from scratch, so the reader does not need any previous experience of C++. Beginning with straightforward option pricing on binomial trees, the book gradually progresses towards more advanced topics, including nonlinear solvers, Monte Carlo techniques for path-dependent derivative securities, finite difference methods for partial differential equations, and American option pricing by solving a linear complementarity problem. Further material, including solutions to all exercises and C++ code, is available online. The book is ideal preparation for work as an entry-level quant programmer and it gives readers the confidence to progress to more advanced skill sets involving C++ design patterns as applied in finance.

《21世紀高職高專規劃教材．軟件專業系列：Java程序設計實用教程》從Java語言最基本的入門概念開始講述，詳細介紹了Java語言的基本開發工具J2SDK和集成開發環境Eclipse IDE（Integrated Development Environment）的配置。底層圖形界面應用程序編程接口（Application Programming Interface，API）的開發採用了SWT（St

《精通正則表達式（第3版）》隨著互聯網的迅速發展，幾乎所有工具軟件和程序語言都支持的正則表達式也變得越來越強大和易於使用。《精通正則表達式（第3版）》是講解正則表達式的經典之作。本書主要講解了正則表達式的特性和流派、匹配原理、優化原則、實用訣竅以及調校措施，並詳細介紹了正則表達式在perl、java、．net、php中的用法。·

From its earliest days, the Fortran programming language has been designed with computing efficiency in mind. The latest standard, Fortran 2008, incorporates a host of modern features, including object-orientation, array operations, user-defined types, and provisions for parallel computing. This tutorial guide shows Fortran programmers how to apply these features in twenty-first-century style: modular, concise, object-oriented, and resource-efficient, using multiple processors. It offers practical real-world examples of interfacing to C, memory management, graphics and GUIs, and parallel computing using MPI, OpenMP, and coarrays. The author also analyzes several numerical algorithms and their implementations and illustrates the use of several open source libraries. Full source code for the examples is available on the book's website.

This is a modern textbook for courses in continuum mechanics. It provides both the theoretical framework and the numerical methods required to model the behaviour of continuous materials. This self-contained textbook is tailored for advanced undergraduate or first-year graduate students with numerous step-by-step derivations and worked-out examples. The author presents both the general continuum theory and the mathematics needed to apply it in practice. The derivation of constitutive models for ideal gases, fluids, solids and biological materials, and the numerical methods required to solve the resulting differential equations, are also detailed. Specifically, the text presents the theory and numerical implementation for the finite difference and the finite element methods in the Matlab® programming language. It includes thirteen detailed Matlab® programs illustrating how constitutive models are used in practice.

From its earliest days, the Fortran programming language has been designed with computing efficiency in mind. The latest standard, Fortran 2008, incorporates a host of modern features, including object-orientation, array operations, user-defined types, and provisions for parallel computing. This tutorial guide shows Fortran programmers how to apply these features in twenty-first-century style: modular, concise, object-oriented, and resource-efficient, using multiple processors. It offers practical real-world examples of interfacing to C, memory management, graphics and GUIs, and parallel computing using MPI, OpenMP, and coarrays. The author also analyzes several numerical algorithms and their implementations and illustrates the use of several open source libraries. Full source code for the examples is available on the book's website.

《深入淺出Rails（中文版）》將使你的編程和生產力達到最大值。你將學習一切rails scaffolding的基本原理，以創建自定義的交互式網絡應用程序，全部使用rails的一套豐富的工具和mvc框架。你將掌握數據庫交互、ajax和xml的集成、豐富的內容，甚至數據的動態圖形——曾經要使用java、php、asp.net或perl建立相同的應用程序。你甚至可以舒適并熟練地使用ruby——但你是在

《高等院校計算機基礎教育規劃教材：Web數據庫應用教程》是作者多年編寫ASP動態網站的經驗結晶，內容全面、實用。《高等院校計算機基礎教育規劃教材：Web數據庫應用教程》從4個方面講解了ASP數據庫應用程序的開發，首先介紹ASP相關技術。比較ASP、PHP、JSP、ASP.NET各自的特點，以及運行ASP程序的環境設置。其次，介紹讀者必須掌握的HTML超文本標記語言、網頁腳本語言VB-Script語

在現今生物資訊多樣化與快速發展的情形下，簡單而易行的步驟，為進入生物資訊與藥物設計的重要法門。有鑑於此，作者彙整多年來的研究成果與豐富的教學經驗編撰本書。全書主要是以基本的生物資訊手法─BLAST配合基本的資料庫建置主架構: PHP、MySQL、Apache，以設計細胞表面膜蛋白資料庫。而抗癌藥物設計研發則以電腦輔助藥物設計中最為基本之分子對接為例，來設計抗癌藥物MAPK抑制劑。對於研究合作與資料

由杜波依斯編著的《MySQL技術內幕（第4版）》介紹了MySQL的基礎知識及其有別于其他數據庫系統的獨特功能，包括SQL的工作原理和MySQL API的相關知識；講述了如何將MySQL與Perl或PHP等語言結合起來，為數據庫查詢結果生成動態Web頁面，如何編寫MySQL數據訪問程序；詳細討論了數據庫管理和維護、數據目錄的組織和內容、訪問控制、安全連接等。附錄還提供了軟件的安裝信息，羅列了MySQ

Ext JS可謂所有JavaScript程式庫中，功能最強大、介面最美觀的程式庫。作者依其多年大型網站開發經驗，將本書的學習重點區分為三大主題，首先為基礎元件及模型的認識，接著針對Ext JS最令人驚豔的UI介面設計逐一解說，最後，輔以兩個真實案例，帶領讀者實際操作專案的開發流程。■ 說明DOM操作、物件導向、Component及Container等之基礎認知。■ 結合PHP框架與後端伺服器，學習

This textbook on the basics of option pricing is accessible to readers with limited mathematical training. It is for both professional traders and undergraduates studying the basics of finance. Assuming no prior knowledge of probability, Sheldon M. Ross offers clear, simple explanations of arbitrage, the Black-Scholes option pricing formula, and other topics such as utility functions, optimal portfolio selections, and the capital assets pricing model. Among the many new features of this third edition are new chapters on Brownian motion and geometric Brownian motion, stochastic order relations and stochastic dynamic programming, along with expanded sets of exercises and references for all the chapters.

The ideal review for your logic courseMore than 40 million students have trusted Schaum’s Outlines for their expert knowledge and helpful solved problems. Written by renowned experts in their respective fields, Schaum’s Outlines cover everything from math to science, nursing to language. The main feature for all these books is the solved problems. Step-by-step, authors walk readers through coming up with solutions to exercises in their topic of choice. 500 solved problemsIncludes non-classical logicsCovers the probability calculusComplements or supplements the major Logic textbooksAppropriate for the following courses: Introduction to Formal Logic, Informal Logic, Logic Programming, AlgebraComplete course content in easy-to-follow outline formHundreds of solved problems for effective test preparation

《計算機網絡:基於因特網的信息服務平臺(第2版)》以建設企事業單位信息平臺為主線，系統地講述現代計算機網絡的基本原理、建網技術、信息服務平臺的建設和管理技術。全書分為9章，內容包括計算機網絡體系結構與因特網、網絡應用及應用層協議、因特網技術基礎、局域網及網絡設備、企業信息基礎和服務器平臺、HTML與PHP基礎、網絡多媒體技術應用、網站的建設與管理以及網絡信息服務平臺安全性等。《計算機網絡:基於因特

During the past few decades, the gradual merger of Discrete Geometry and the newer discipline of Computational Geometry has provided enormous impetus to mathematicians and computer scientists interested in geometric problems. This 2005 volume, which contains 32 papers on a broad range of topics of interest in the field, is an outgrowth of that synergism. It includes surveys and research articles exploring geometric arrangements, polytopes, packing, covering, discrete convexity, geometric algorithms and their complexity, and the combinatorial complexity of geometric objects, particularly in low dimension. There are points of contact with many applied areas such as mathematical programming, visibility problems, kinetic data structures, and biochemistry, as well as with algebraic topology, geometric probability, real algebraic geometry, and combinatorics.

Thoroughly revised for its second edition, this advanced textbook provides an introduction to the basic methods of computational physics, and an overview of progress in several areas of scientific computing by relying on free software available from CERN. The book begins by dealing with basic computational tools and routines, covering approximating functions, differential equations, spectral analysis, and matrix operations. Important concepts are illustrated by relevant examples at each stage. The author also discusses more advanced topics, such as molecular dynamics, modeling continuous systems, Monte Carlo methods, genetic algorithm and programming, and numerical renormalization. It includes many more exercises. This can be used as a textbook for either undergraduate or first-year graduate courses on computational physics or scientific computation. It will also be a useful reference for anyone involved in computational research.

This book is on existence and necessary conditions, such as Potryagin's maximum principle, for optimal control problems described by ordinary and partial differential equations. These necessary conditions are obtained from Kuhn–Tucker theorems for nonlinear programming problems in infinite dimensional spaces. The optimal control problems include control constraints, state constraints and target conditions. Evolution partial differential equations are studied using semigroup theory, abstract differential equations in linear spaces, integral equations and interpolation theory. Existence of optimal controls is established for arbitrary control sets by means of a general theory of relaxed controls. Applications include nonlinear systems described by partial differential equations of hyperbolic and parabolic type and results on convergence of suboptimal controls.

Nginx是俄羅斯人Igor Sysoev編寫的一款高性能的HTTP和反向代理服務器。Nginx選擇了epoll和kqueue作為網絡I/O模型，在高連接并發的情況下，內存、CPU等系統資源消耗非常低，運行穩定。 本書系統地介紹了Nginx與PHP、RUBY、Python結合的使用方法，Nginx作為反向代理與負載均衡的配置與優化，以及Nginx模塊的開發方法，并給出了新浪播客、搜狐博客、六間房、

Web數據庫技術是建立網站的必備技術，本書介紹了多種流行的Web數據庫訪問技術，包括CGI、ASP、PHP和dotPET技術等。書中的實例均由作者認真編寫、調試。讀者可根據自己的需要稍加修改，其中的例子即可使用。每章附有習題，便于練習。本書所附的光盤，提供了書中的全部程序和用PowerPoint製作的講稿，便于學生學習和教師講課。 本書可以作為高等院校高年級學生學習“Web數據庫技術”課程的教材，

The study of computational processes based on the laws of quantum mechanics has led to the discovery of new algorithms, cryptographic techniques, and communication primitives. This book explores quantum computation from the perspective of the branch of theoretical computer science known as semantics, as an alternative to the more well-known studies of algorithmics, complexity theory, and information theory. It collects chapters from leading researchers in the field, discussing the theory of quantum programming languages, logics and tools for reasoning about quantum systems, and novel approaches to the foundations of quantum mechanics. This book is suitable for graduate students and researchers in quantum information and computation, as well as those in semantics, who want to learn about a new field arising from the application of semantic techniques to quantum information and computation.

直接出自Java語言創造者，並經過完整修訂的這一本《The Java Programming Language》第四版，不論是對Java編程的新手或老手、初級或高階，都是一份不可或缺的資源。 遍及全世界的許許多多軟體開發者，藉由本書前數個版本，對Java編程語言及其設計目標以及如何最有效運用於真實世界，獲得了快速而深刻的理解。現在，Ken Arnold, James Gosling和David

This book provides an integrated treatment of the theory of nonnegative matrices (matrices with only positive numbers or zero as entries) and some related classes of positive matrices, concentrating on connections with game theory, combinatorics, inequalities, optimisation and mathematical economics. The wide variety of applications, which include price fixing, scheduling and the fair division problem, have been carefully chosen both for their elegant mathematical content and for their accessibility to students with minimal preparation. Many results in matrix theory are also presented. The treatment is rigorous and almost all results are proved completely. These results and applications will be of great interest to researchers in linear programming, statistics and operations research. The minimal prerequisites also make the book accessible to first-year graduate students.

迅速提昇您開發RIA商業網站的技術水平 ‧圖解式範例教學‧涵蓋Java、PHP、.Net平台建置與雲端技術‧整合Google Map與Yahoo API‧輕鬆打造3D介面與優質網站服務‧動態呼叫函式‧商業範例程式實做套用 本書以圖解式教學，透過循序漸進範例編排，將幫您迅速提昇Flex RIA的技術水平，並以專案實務範例做為教學基礎，讓您能學以致用，將所學應用到實際的網站開發上。 【圖解式範例

《新手學做網站(第2版)》主要介紹了目前最流行的網頁處理軟件Dreamweaver CS3、Flash CS3、Photoshop CS3以及熱門的動態語言PHP+MySQL，內容包括網站快速掃盲、創建網站前的準備、輕松操作網站制作工具、網頁的造型設計師——CSS樣式、網頁的規劃設計師、設計網頁中的文字、處理與優化網頁中的圖片、動畫讓網頁更精彩、讓你的網站別具光芒、交互讓網頁變得更有內涵、如何使用

NLP是神經語言程序學的英文縮寫。N（Neuro）指的是神經系統，包括大腦和思維過程。L（Linguistic）是指語言，更準確點說，是指從感覺信號的輸入到構成意思的過程。P（Programming）是指為產生某種后果而要執行的一套具體指令。“N”、“L”、“P”放在一起，這三個詞的意思是指人們為使他們的思維、講話和活動達到具體的后果所采取的具體行為。

A volume of studies in natural language semantics which brings together work by philosophers, logicians and linguists. The main topics treated are: quantification and reference in natural language; the relations between formal logic, programming languages and natural language; pragmatics and discourse meaning; surface syntax and logical meaning. The volume derives from a colloquium organised in 1973 by the Kings College Research Centre, Cambridge and the papers have been edited for publication by Professor Keenan. It is hoped that the collection will make available some of the best work in this fast-moving field and will stimulate further progress by juxtaposing the different approaches and interests represented here.

Mechanisms of imitation and social matching play a fundamental role in development, communication, interaction, learning and culture. Their investigation in different agents (animals, humans and robots) has significantly influenced our understanding of the nature and origins of social intelligence. Whilst such issues have traditionally been studied in areas such as psychology, biology and ethnology, it has become increasingly recognised that a 'constructive approach' towards imitation and social learning via the synthesis of artificial agents can provide important insights into mechanisms and create artefacts that can be instructed and taught by imitation, demonstration, and social interaction rather than by explicit programming. This book studies increasingly sophisticated models and mechanisms of social matching behaviour and marks an important step towards the development of an interdisciplinary research field, consolidating and providing a valuable reference for the increasing numb