C Programming Language

This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.

Python is one of the most popular programming languages, widely used for data analysis and modelling, and is fast becoming the leading choice for scientists and engineers. Unlike other textbooks introducing Python, typically organised by language syntax, this book uses many examples from across Biology, Chemistry, Physics, Earth science, and Engineering to teach and motivate students in science and engineering. The text is organised by the tasks and workflows students undertake day-to-day, helping them see the connections between programming tools and their disciplines. The pace of study is carefully developed for complete beginners, and a spiral pedagogy is used so concepts are introduced across multiple chapters, allowing readers to engage with topics more than once. “Try This!” exercises and online Jupyter notebooks encourage students to test their new knowledge, and further develop their programming skills. Online solutions are available for instructors, alongside discipline-specif

[名家名著] 33 無瑕的程式碼 函數式設計篇：原則、模式與實踐 Functional Design: Principles, Patterns, and Practices ❝乍看之下，物件導向和函數式這兩種範式似乎互不相容，一個強調資料抽象與封裝狀態，另一個則倡導不可變與純函數。事實上，即便兩者出發點不同，卻能在合適的脈絡下融為一體，互相補足，最終協助我們打造更強韌、更具表達力的軟體系統。對一位想要同時掌握物件導向與函數式思維的工程師來說，如何在日常工作中權衡並結合這兩種做法，正是本書所提出的關鍵挑戰與寶貴建議。❞ ────微軟最有價值專家(Microsoft MVP)｜本書譯者　張立顗(Poy Chang) ❝Uncle Bob精心展示了函數式設計，這是當今軟體開發中極為流行且高效的設計方式。透過深入的原則和實踐案例，本書不僅適合軟體開發者，也對任何追求卓越程式品質的專業人士都具有極高的實用價值。Uncle Bob的洞見和清晰的寫作風格使這本書成為了一本不可多得的學習資源。❞ ────博碩文化總編輯 & CEO CSM　陳錦輝(Simon) 一本精通函數式程式設計的實用指南，寫出更優雅、更整潔的程式碼！ 在本書中，世界級軟體開發傳奇大師、暢銷書《Clean Code》的作者Robert C. Martin(Uncle Bob)將深入解說，為何要使用函數式程式設計（functional programming），以及如何運用函數式設計來建置更符合實際需求的系統。Uncle Bob將比較傳統的物件導向程式設計(如Java)與函數式語言(如Clojure)所採用的結構，並指出各自的最佳應用場景。他將展示如何在不同的情境下，明智地選擇合適且合理的做法，來建置更優秀、更優雅的系統。 Uncle Bob不僅手法務實，他還將理論簡化，把重點放在「實戰」與「解決問題」的具體做法。透過簡單易懂的範例，開發者將發現，容易學習且語意豐富的Clojure語言，如何幫助他們提升程式碼的整潔度、品質、開發紀律與效率。Uncle Bob還將從函數式程式設計的角度，深入探討廣為人知的SOLID原則與「四人幫」設計模式，解釋這些模式對於函數式程式設計師的價值，並指導讀者如何利用它們來實現更卓越的成果。 【內容亮點】 ・理解函數式程式設計的基本概念：不可變性、持久性資料、遞迴、迭代、延遲

包含.NET MAUI & Unity 本書介紹C#、.NET和Visual Studio的視覺化，內容包括開發遊戲、應用程式、3D內容製作，適合初學者學習，並為進入軟體開發職業提供基礎。 使用這個引人入勝、高度視覺化的C#、.NET和Visual Studio的介紹來創建應用程式和遊戲。第一章將直接深入了解，使用C#和.NET MAUI建立一個可以在Windows、Mac、甚至Android或iOS 裝置上運行且功能齊全的遊戲。將學習如何使用類別和物件導向程式設計、在Unity中建立3D遊戲以及使用LINQ查詢資料。您將透過解決難題、進行實踐練習和建立實際應用程式來完成這一切。對發展職業感興趣嗎？您將學習重要的開發技術和想法。許多透過本書學習編碼的人現在都是專業開發人員、團隊領導、程式設計串流頻道主等等。除了學習的慾望之外，不需要任何經驗。這本書就是最好的起點。 ---------------------------------------------------------------------- 「太感謝你了！你的書讓我的職涯平步青雲。」 —Ryan White，遊戲開發者 「在一片枯燥的技術手冊汪洋中，深入淺出C#如同一座耀眼的燈塔，它獨特的教學風格不僅傳授必備知識，還引起讀者的好奇心，點燃設計程式的熱情。這是一本初學者不可或缺的資源！」 —Gerald Versluis，微軟資深軟體工程師 「Andrew與 Jennifer寫出一本簡明、權威、（最重要的）有趣的C#開發介紹書籍。 —Jon Galloway，微軟.NET社群團隊資深程式經理 你將從本書學到什麼？ 透過這本充滿視覺效果、令人沉醉其中的C#、.NET、軟體開發書籍來學習設計app、遊戲及其他軟體。你將瞭解如何運用類別、物件導向設計、Unity及LINQ的查詢資料來設計3D遊戲，並透過解開謎題、完成習題、撰寫實際的應用程式來完成以上的所有任務。渴望投入開發工作嗎？你將學會重要的開發技術和靈感，如同那些已經從這本書學會撰寫程式的許多專業開發者、團隊領導人、程式寫作主播一樣。你需要的只是一顆渴望學習的心，不需要具備任何經驗。這就是你的最佳起點。 • 瞭解類別和物件之間的關係，並基於這個知識，建構成功的App。 • 在前面幾章就開始建構令人滿意且有趣的專案。 本書為何如此與眾不同？ 曾經讀過《深入淺

在克里斯．安德森（Chris Anderson）所著「自造者時代：啟動人人製造的第三次工業革命」提到，過去幾年，世界來到了一個重要里程碑：實體製造的過程愈來愈像軟體設計，開放原始碼創造了軟體大量散布與廣泛使用，如今，實體物品上也逐漸發生同樣的效應。網路社群中的程式設計師從Linux作業系統出發，架設了今日世界上絕大部分的網站（Apache WebServer），到使用端廣受歡迎的FireFox瀏覽器等，都是開放原始碼軟體的最佳案例。 現在自造者社群（Maker Space）也正藉由開放原始碼硬體，製造出電子產品、科學儀器、建築物，甚至是3C產品。其中如Arduino開發板，銷售量已遠超過當初設計者的預估。連網路巨擘Google Inc.也加入這場開放原始碼運動，推出開放原始碼電子零件，讓大家發明出來的硬體成品，也能與Android軟體連結、開發與應用。 目前全球各地目前有成千上萬個「自造空間」（makerspace）─光是上海就有上百個正在籌備中，多自造空間都是由在地社群所創辦。如聖馬特奧市（SanMateo）的自造者博覽會（Maker Faire），每年吸引數10萬名自造者前來朝聖，彼此觀摩學習。但不光是美國，全球各地還有許多自造者博覽會，台灣一年一度也於當地舉辦Maker Fair Taiwan，數十萬的自造者（Maker）參予了每年一度的盛會。 本系列「Maker系列」由此概念而生。面對越來越多的知識學子，也希望成為自造者（Make），追求創意與最新的技術潮流，筆著因應世界潮流與趨勢，思考著「如何透過逆向工程的技術與手法，將現有產品開發技術轉換為我的知識」的思維，如果我們可以駭入產品結構與設計思維，那麼了解產品的機構運作原理與方法就不是一件難事了。更進一步我們可以將原有產品改造、升級、創新，並可以將學習到的技術運用其他技術或新技術領域，透過這樣學習思維與方法，可以更快速的掌握研發與製造的核心技術，相信這樣的學習方式，會比起在已建構好的開發模組或學習套件中學習某個新技術或原理，來的更踏實的多。 本系列的書籍，因應自造者運動的世界潮流，希望讀者當一位自造者，將現有產品的產品透過逆向工程的手法，進而了解核心控制系統之軟硬體，再透過簡單易學的Arduino單晶片與C語言，重新開發出原有產品，進而改進、加強、創新其原有產品的架構。如此一來，因為學子們進行「重新開

本書主要針對高中與大學開始接觸程式設計的初學者，及想學好C++11程式設計的讀者所設計。書中文字敘述力求淺顯簡潔，並以大量範例、片語、學習要點、風格要點等方式，逐步引導初學者進入程式設計的領域。 這本書以「重構」為中心，也就是以一再改寫來引導初學者，強調機制的原理與應用，並用於程式之中。期待藉此正確的程式設計技術傳遞給廣大讀者群，以提升讀者對程式設計的興趣。 本書特色 1. 以「重構」為中心，也就是以一再改寫來引導初學者。2. 透過「學習要點」、「風格要點」、「特殊字元」等設計，隨時提醒讀者各項學習重點，以提升學習效率。3. 本書搭配專屬網站（https://sites.google.com/view/cplusplusrefactor），提供各章練習題、作業，並隨時更新相關補充資料、程式碼等資訊。4. 以更多完整範例、相關圖示說明複雜的觀念與方法，同時強化各範例間的關聯性，讓讀者能從中反覆練習、更瞭解所學之實際應用。

Learn C++ by Programming to Solve Simultaneous Equations. Learn Chinn (1202-1261) and Gauss (1777-1855

Learn C++ by Programming to Solve Simultaneous Equations. Learn Chinn (1202-1261) and Gauss (1777-1855

Discover the key principles necessary to develop structured program logic with Farrell's PROGRAMMING LOGIC AND DESIGN, INTRODUCTORY, 8E. This popular introductory book takes a unique, language-indepen

An introduction to microcomputer architecture and assembly language programming, using the Motorola 68000 family of chips as prime examples (these are the chips that drive the Macintosh microcomputers

This book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs

Java 2 Database Programming For Dummies shows you how to design, develop, and interact with a database using the Java programming language. This is the perfect book for those who know the basics of Ja

Essential Skills--Made Easy! Now you can create your own iPhone and iPod touch applications in no time. iPhone SDK Programming: A Beginner's Guide shows you how to use Cocoa Touch, the Objective-C pr

In A Tour of C++, Third Edition, Bjarne Stroustrup provides an overview of ISO C++, C++20, that aims to give experienced programmers a clear understanding of what constitutes modern C++. Featuring carefully crafted examples and practical help in getting started, this revised and updated edition concisely covers most major language features and the major standard-library components needed for effective use. Stroustrup presents C++ features in the context of the programming styles they support, such as object-oriented and generic programming. His tour is remarkably comprehensive. Coverage begins with the basics, then ranges widely through more advanced topics, emphasizing newer language features. This edition covers many features that are new in C++20 as implemented by major C++ suppliers, including modules, concepts, coroutines, and ranges. It even introduces some library components in current use that are not scheduled for inclusion in the standard until C++23. This authoritative guid

The SAM Answer Key provides answers to all discrete-answer activities in the Student Activities Manual (both Brazilian and European versions).

Quickly learn to program in C# programming with this unique book and video packageC# 24-Hour Trainer, 2nd Edition is your quick and easy guide to programming in C#, even if you have no programming exp

For courses in C++ introductory programming. Learn the fundamentals of C++ programming with an emphasis on problem solving Now in its 10th Edition, Problem Solving with C++ is written for the beg

Build solid applications for Mac OS X, iPhone, and iPod Touch, regardless of whether you have basic programming skills or years of programming experience. With this book, you'll learn how to use Apple

Objective-C is an exciting and dynamic approach to C-based object-oriented programming; it's the approach adopted by Apple as the foundation for programming under Mac OS X, a Unix-based operating syst

Using the C++ Standard Template Libraries is a contemporary treatment that teaches the generic programming capabilities that the C++ 14 Standard Library provides. In th

This book simultaneously introduces C++ programming techniques and numerical techniques for derivative pricing and risk management. The techniques covered include Monte Carlo pricing, finite differenc

Written for the moderately experienced Java programmer, this book builds on readers? existing knowledge of object-oriented programming and covers all important aspects of Standard C++—emphasizing more

Assuming only basic knowledge of C#, Beginning C# 5.0 Databases teaches all the fundamentals of database technology and database programming readers need to quickly become highly proficient database u

The new edition of Herb Schildt’s bestselling reference is completely updated to cover the newest standard of the C++ programming language.C++ The Complete Reference, Fifth Edition is a thoroughly rev

Documents the proper syntax and usage of the C programming languages' constructs and run-time libraries. Differences among standard C, C89, C99, and C++ are noted. Chapter topics include declaration

If you want to speed up the development of your .NET applications, you're ready for C# design patterns -- elegant, accepted and proven ways to tackle common programming problems. This practical guide

The design of application programming interfaces can affect the behavior, capabilities, stability, and ease of use of end-user applications. With this book, you will learn how to design a good API for

This book teaches C++ as it is used in the Visual C++ programming environment from the perspective of an intermediate to advanced level VB programmer.

If you’re writing one of several applications that call for asynchronous programming, this concise hands-on guide shows you how the async feature in C# 5.0 can make the process much simpler. Along wit

Now in its second edition, D.S. Malik brings his proven approach to C++ programming to the CS2 course. Clearly written with the student in mind, this text focuses on Data Structures and includes advan

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

Seeking to understand how language provides a model for understanding architecture, the essays in this volume both celebrate the diversity of the language-architecture analogy and assess its theoretic

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

Teaching English to Second Language Learners in Academic Contexts: Reading, Writing, Listening, and Speaking provides the fundamental knowledge that ESL and EFL teachers need to teach the four languag