Beginning IntelliJ IDEA: Integrated Development Environment for Java Programming / Ted Hagos
Shows you how to leverage IntelliJ’s tools to develop clean, efficient Java applications. The last portion of the book ...
Continue reading
Beginning Java 17 Fundamentals : Object-Oriented Programming in Java 17 / Kishori Sharan, Adam L. Davis
Learn the fundamentals of the Java 17 LTS or Java Standard Edition version 17 Long Term Support release, including basic ...
Continue reading
Beginning Java Data Structures and Algorithms: Sharpen your problem solving skills by learning core computer science concepts in a pain-free manner / James Cutajar
Teaches you tools that you can use to build efficient applications. It starts with an introduction to algorithms and big ...
Continue reading
Beginning PyQt : A Hands-on Approach to GUI Programming with PyQt6 / Joshua M Willman
Learn GUI application development from the ground up by building simple projects that teach the fundamentals of using PyQt6. ...
Continue reading
Beginning Scala 3: A Functional and Object-Oriented Java Language / Pollak, David, Layka, Vishal, Sacco, Andres
Introduces you to the Scala programming language, its object-oriented and functional programming characteristics, and then ...
Continue reading
Beginning jOOQ : Learn to Write Efficient and Effective Java-Based SQL Database Operations / Tayo Koleoso
Learn to use the jOOQ library to manage SQL database operations in Java and JVM applications. This book walks you through ...
Continue reading
C# 10 in a Nutshell: The Definitive Reference / Joseph Albahari
When you have questions about C# 10.0 or .NET 6, this guide has the answers you need. C# is a language of unusual flexibility ...
Continue reading
C++ for Engineers and Scientists / Gary J. Bronson
Introduce the power and practicality of C++ programming to entry-level engineers with Bronson's C++ FOR ENGINEERS AND SCIENTISTS, ...
Continue reading
Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
This volume presents texts from selected lectures given by leading researchers at the Second Central European Functional ...
Continue reading
Command-Line Rust: A Project-Based Primer for Writing Rust CLIs / Ken Youens-Clark
Rather than focusing on the language as a whole, this guide teaches Rust using a single small, complete, focused program ...
Continue reading
Competitive Programming in Python : 128 Algorithms to Develop your Coding Skills / Christoph Dürr, Jill-Jênn Vie, Greg Gibbons, Danièle Gibbons
Learn all the algorithmic techniques and programming skills you need from two experienced coaches, problem setters, and jurors ...
Continue reading
Compiler Construction : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
This book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis ...
Continue reading
Component-Based Software Engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
Continue reading
Computational Logic in Multi-Agent Systems : 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational ...
Continue reading
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue reading
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Continue reading
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Continue reading
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Continue reading
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Continue reading
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python / Therese Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
Continue reading
