Skip to main content

Books in Software

    • Tcl/Tk

      • 4th Edition
      • February 15, 2026
      • Clif Flynt
      • English
      • Paperback
        9 7 8 0 4 4 3 2 6 5 5 6 3
      • eBook
        9 7 8 0 4 4 3 2 6 5 5 7 0
      Tcl/Tk: A Developer's Guide, Fourth Edition is an essential resource for computer professionals, from systems administrators to programmers. It covers new Tcl features, expanded Tcl-OO coverage, web technology using Rivet and SQLite, and AI integration with AWS. The book also delves into Tcl's standard tools, multi-faceted nature, and extensibility, making it ideal for developing GUIs, client/server middleware, and web applications. Readers will quickly learn to code in Tcl and extend its capabilities with the inclusion of numerous code examples and case studies.The updated edition includes over 150 pages on the latest Tcl extensions, proven techniques, and tools for effective programming. Extensive code snippets and online tutorials enhance understanding, while case studies provide practical insights. The book also discusses Tcl's role as the hidden "secret sauce" in commercial applications, highlighting its graphics and control infrastructure. With a vibrant user community and evolving API, Tcl/Tk remains a powerful and versatile programming platform for both beginners and experienced programmers.
    • Programming Language Pragmatics

      • 5th Edition
      • January 9, 2025
      • Michael Scott + 1 more
      • English
      • Paperback
        9 7 8 0 3 2 3 9 9 9 6 6 3
      • eBook
        9 7 8 0 3 2 3 9 8 4 2 3 2
      Programming Language Pragmatics is the most comprehensive programming language textbook available today, with nearly 1000 pages of content in the book, plus hundreds more pages of reference materials and ancillaries online. Michael Scott takes theperspective that language design and language implementation are tightly interconnected, and that neither can be fully understood in isolation. In an approachable, readable style, he discusses more than 50 languages in the context of understanding how code isinterpreted or compiled, providing an organizational framework for learning new languages, regardless of platform. This edition has been thoroughly updated to cover the most recent developments in programming language design and provides both a solid understanding of the most important issues driving software development today
    • Quantum Computing

      • 1st Edition
      • June 30, 2025
      • Rajkumar Buyya + 1 more
      • English
      • Paperback
        9 7 8 0 4 4 3 2 9 0 9 6 1
      • eBook
        9 7 8 0 4 4 3 2 9 0 9 7 8
      Quantum Computing: Principles and Paradigms covers a broad range of topics, providing a state-of-the-art and comprehensive reference for the rapid progress in the field of quantum computing and related technologies from major international companies (such as IBM, Google, Intel, Rigetti, Q-Control) and academic researchers. This book appeals to a broad readership, as it covers comprehensive topics in the field of quantum computing, including hardware, software, algorithms, and applications, with chapters written by both academic researchers and industry developers.This book presents readers with the fundamental concepts of quantum computing research, along with the challenges involved in developing practical devices and applications.
    • Soft Computing in Smart Manufacturing and Materials

      • 1st Edition
      • January 20, 2025
      • Sudan Jha + 4 more
      • English
      • Paperback
        9 7 8 0 4 4 3 2 9 9 2 7 8
      • eBook
        9 7 8 0 4 4 3 2 9 9 2 8 5
      Soft Computing in Smart Manufacturing and Materials explains the role of soft computing in the manufacturing industries. It presents the techniques, concepts and design principles behind smart soft computing, and describes how they can be applied in the development and manufacture of smart materials. It provides perspectives for design and commissioning of intelligent applications, including in health care, agriculture, and production assembly, and reviews the latest intelligent technologies and algorithms related to the methodologies of monitoring and mitigation of sustainable engineering.
    • Quantum Process Algebra

      • 1st Edition
      • March 6, 2025
      • Yong Wang
      • English
      • Paperback
        9 7 8 0 4 4 3 2 7 5 1 3 5
      • eBook
        9 7 8 0 4 4 3 2 7 5 1 4 2
      Quantum Process Algebra introduces readers to the algebraic properties and laws for quantum computing. The book provides readers with all aspects of algebraic theory for quantum computing, including the basis of semantics and axiomatization for quantum computing. With the assumption of a quantum system, readers will learn to solve the modeling of the three main components in a quantum system: the unitary operator, quantum measurement, and quantum entanglement, with full support of quantum and classical computing in closed systems. Next, the book establishes the relationship between probabilistic quantum bisimilarity and classical probabilistic bisimilarity, including strong probabilistic bisimilarity and weak probabilistic bisimilarity, which makes an axiomatization of quantum processes possible. With this framework, quantum and classical computing mixed processes are unified with the same structured operational semantics. Finally, the book establishes a series of axiomatizations of quantum process algebras. These process algebras support nearly all the main computation properties. Quantum and classical computing in closed quantum systems are unified with the same equational logic and the same structured operational semantics under the framework of ACP-like probabilistic process algebra. This unification means that the mathematics in the book can be used widely for verification of quantum and classical computing mixed systems, for example, most quantum communication protocols. ACP-like axiomatization also inherits the advantages of ACP, for example, and modularity means that it can be extended in an elegant way.
    • Full-Stack Web Development from the Ground Up

      • 1st Edition
      • October 15, 2025
      • Christopher D Hundhausen
      • English
      • Paperback
        9 7 8 0 3 2 3 9 1 8 8 4 8
      • eBook
        9 7 8 0 3 2 3 9 1 9 5 4 8
      Full-Stack Development from the Ground Up: Principles, Practices, and Technologies addresses the growing need for a comprehensive upper-division computer science textbook that provides in-depth treatment of full-stack web development using the modern web development technologies that students are likely to encounter in industry. Professional full-stack web developers who are capable of developing both the front-end user interfaces and back-end databases and services for dynamic websites are in high demand. The book begins by laying a foundation in HTML, CSS and JavaScript—the building blocks of client-side web development.It then explores one particular web development stack in detail: MERN, which stands for MongoDB, Express.js, React.js and Node.js. Together, these four technologies provide powerful support for full-stack web development in a single programming language—JavaScript. The crucial final step in the web development process is deploying apps to a server, so users can interact with them. This book simplifies deployment by focusing on just one web deployment environment: Amazon Web Services (AWS), and only those AWS tools that are absolutely necessary to deploy MERN applications.
    • Python Fast Track

      • 1st Edition
      • June 14, 2025
      • Sanjiban Sekhar Roy + 2 more
      • English
      • Paperback
        9 7 8 0 4 4 3 3 3 8 2 3 6
      • eBook
        9 7 8 0 4 4 3 3 3 8 2 4 3
      Python Fast Track: A Complete Guide to Rapidly Mastering and Applying Python Programming adopts a simplified writing style and provides clear explanations to ensure ease of understanding, making it an ideal resource for those new to Python. Starting with the basics, the book covers fundamental concepts such as variables, data types, printing and prompting, lists, dictionaries, tuples, control structure, functions, and object-oriented concepts. The book includes everything you need to understand and apply more advanced programming techniques such as file handling, exception handling, and regex.This great resource is created especially for those who want to apply Python for their research and professional work in scientific computing, data analysis and machine learning, including chapters on NumPy and Pandas, two of the most popular Python application libraries. It demonstrates how to effectively master key applications of Python such as web development, software creation, task automation, and data analysis. The book covers data analysis and machine learning tasks that greatly benefit from Python, thanks to libraries such as TensorFlow and Keras that enable efficient coding.
    • Probability for Deep Learning Quantum

      • 1st Edition
      • January 21, 2025
      • Charles R. Giardina
      • English
      • Paperback
        9 7 8 0 4 4 3 2 4 8 3 4 4
      • eBook
        9 7 8 0 4 4 3 2 4 8 3 5 1
      Probability for Deep Learning Quantum provides readers with the first book to address probabilistic methods in the deep learning environment and the quantum technological area simultaneously, by using a common platform: the Many-Sorted Algebra (MSA) view. While machine learning is created with a foundation of probability, probability is at the heart of quantum physics as well. It is the cornerstone in quantum applications. These applications include quantum measuring, quantum information theory, quantum communication theory, quantum sensing, quantum signal processing, quantum computing, quantum cryptography, and quantum machine learning. Although some of the probabilistic methods differ in machine learning disciplines from those in the quantum technologies, many techniques are very similar.Probability is introduced in the text rigorously, in Komogorov’s vision. It is however, slightly modified by developing the theory in a Many-Sorted Algebra setting. This algebraic construct is also used in showing the shared structures underlying much of both machine learning and quantum theory. Both deep learning and quantum technologies have several probabilistic and stochastic methods in common. These methods are described and illustrated using numerous examples within the text. Concepts in entropy are provided from a Shannon as well as a von-Neumann view. Singular value decomposition is applied in machine learning as a basic tool and presented in the Schmidt decomposition. Besides the in-common methods, Born’s rule as well as positive operator valued measures are described and illustrated, along with quasi-probabilities. Author Charles R. Giardina provides clear and concise explanations, accompanied by insightful and thought-provoking visualizations, to deepen your understanding and enable you to apply the concepts to real-world scenarios.
    • Consensus

      • 1st Edition
      • December 1, 2025
      • Ali Ahmadian + 3 more
      • English
      • Paperback
        9 7 8 0 4 4 3 4 0 4 3 9 9
      • eBook
        9 7 8 0 4 4 3 4 0 4 4 0 5
      Consensus: Fueling Blockchain Innovation and DApp Expansion explores the complexities of consensus mechanisms in order to shed light on emerging trends, best practices, and real-world applications that can fuel blockchain innovation while encouraging the dissemination of DApps across various industries. Additionally, the book bridges a crucial gap in the literature by providing in-depth insights into the role of consensus mechanisms in shaping the future of blockchain technology and decentralized applications. This book delves into the fundamentals of blockchain technology along with the roles and significance of vital consensus mechanisms, their underlying principles, formal specifications, functional characteristics, architecture, frameworks, and potential across diverse blockchain applications. Moreover, the book meticulously explores classification, performance metrics, and design parameters. It offers a comprehensive comparative analysis of these mechanisms, shedding light on their computational and communication complexity, strengths, weaknesses, and suitability. Additionally, the book delves into future research directions, highlighting emerging trends and areas requiring further investigation. It also addresses the efforts underway to address existing challenges and open issues within the realm of consensus mechanisms, ensuring a comprehensive understanding of the state-of-the-art in this pivotal aspect of blockchain technology. Due to the wide range of availability and evolving new consensus mechanisms, selecting an optimal and suitable consensus for a specific blockchain application is one of the crucial challenges in the development and innovation of blockchain systems. This book has also a discussion on appropriate selection algorithms based on multi-attribute decision-making for specific blockchain systems and DApps development.