Search Results - "Programming languages (Electronic computers)."

Nominal Sets: Names and Symmetry in Computer Science by Pitts, Andrew M.

“…Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics…”
Get full text

Practical Foundations for Programming Languages by Harper, Robert

“…Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective…”
Get full text

Behavioural Types : From Theory to Tools

“…Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type…”
Get full text

Ultimate Statistical Analysis System (SAS) for Data Analytics: Enhance Your Data Analytics Skills, Optimize Workflows, and Drive Informed Decision-Making Across the Data Landscape with SAS (English Edition) by Dhingra, Vishesh

“…The "Ultimate Statistical Analysis System (SAS) for Data Analytics" is your go-to resource for mastering SAS, a powerful software suite for statistical…”
Get full text

Digital Transformation at Scale by Greenway, Andrew, Terrett, Ben, Bracken, Mike

Get full text

Ultimate Blazor WebAssembly for Web Development: Unlock the Full Potential of Blazor WebAssembly 8. 0 and C# to Build High-Performance Web Applications with Ease (English Edition) by Sah, Chandradev Prasad

“…Ultimate Blazor WebAssembly for Web Development is your comprehensive guide to mastering the latest advancements in Blazor technology. This book will equip you…”
Get full text

Beginning Scala 3: A Functional and Object-Oriented Java Language, 3rd Edition by Pollak, David, Layka, Vishal, Sacco, Andres

“…This book introduces you to the Scala programming language, its object-oriented and functional programming characteristics, and then guides you through Scala…”
Get full text

Modern Web Development with Go: Build Real-World, Fast, Efficient and Scalable Web Server Apps Using Go Programming Language by Stojanović, Dusan

“…In this book, we are going to learn how to design, develop and deploy Web Server Applications using the Go programming language. In recent years, Go has become…”
Get full text

Jetpack Compose 1.6 Essentials: Developing Android Apps with Jetpack Compose 1.6, Android Studio, and Kotlin by Smyth, Neil

“…This book teaches you how to build Android applications using Jetpack Compose 1.6, Android Studio Iguana (2023.2.1), Material Design 3, and the Kotlin…”
Get full text

Android Studio Iguana Essentials - Kotlin Edition by Smyth, Neil

“…Fully updated for Android Studio Iguana (2023.2.1) and the new UI, this book teaches you how to develop Android-based applications using the Kotlin programming…”
Get full text

Mathematical Aspects of Logic Programming Semantics by Hitzler, Pascal, Seda, Anthony

“…Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for…”
Get full text

Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

“…The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part…”
Get full text

GO Programming in easy steps by Mcgrath, Mike

“…GO Programming in easy steps has an easy-to-follow style that will appeal to anyone who wants to begin coding computer programs with Google's Go programming…”
Get full text

Behavioural Types : From Theory to Tools

“…Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type…”
Get full text

Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

“…The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part…”
Get full text

Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings by Wies, Thomas

“…This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris,…”
Get full text

Teaching and Learning Concurrent Programming in the Shared Memory Model by Strömbäck, Filip

Get full text

Dragon Machine Language for the Absolute Beginner by Reyden, John

“…First published in 1983, this easy-to-follow guide to using machine language on the Dragon 32 gave users an excellent insight into the acclaimed machine that…”
Get full text

From Ruby to Elixir: Unleash the Full Potential of Functional Programming by Bussey, Stephen

“…Elixir will change the way you think about programming. Use your Ruby experience to quickly get up to speed so you can see what all of the buzz is about. Go…”
Get full text

Pandas Cookbook - Practical Recipes for Scientific Computing, Time Series, and Exploratory Data Analysis Using Python (3rd Edition) by Ayd, William, Harrison, Matthew, McKinney, Wes

“…Unlock the full power of pandas 2.x with this hands-on cookbook, designed for Python developers, data analysts, and data scientists who need fast, efficient…”
Get full text