This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Lire la suiteThis work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
Lire la suiteTakes a humorous slant on the programming practice manual by reversing the usual approach: under the pretence of teaching ...
Lire la suiteShows you how to leverage IntelliJ’s tools to develop clean, efficient Java applications. The last portion of the book ...
Lire la suiteLearn the fundamentals of the Java 17 LTS or Java Standard Edition version 17 Long Term Support release, including basic ...
Lire la suiteTeaches you tools that you can use to build efficient applications. It starts with an introduction to algorithms and big ...
Lire la suiteLearn GUI application development from the ground up by building simple projects that teach the fundamentals of using PyQt6. ...
Lire la suiteIntroduces you to the Scala programming language, its object-oriented and functional programming characteristics, and then ...
Lire la suiteLearn to use the jOOQ library to manage SQL database operations in Java and JVM applications. This book walks you through ...
Lire la suiteWhen you have questions about C# 10.0 or .NET 6, this guide has the answers you need. C# is a language of unusual flexibility ...
Lire la suiteIntroduce the power and practicality of C++ programming to entry-level engineers with Bronson's C++ FOR ENGINEERS AND SCIENTISTS, ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
Lire la suiteThis volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular ...
Lire la suiteThis volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
Lire la suiteThis volume presents texts from selected lectures given by leading researchers at the Second Central European Functional ...
Lire la suiteThis book constitutes the proceedings of the 19th China National Conference on Computational Linguistics, CCL 2020, held ...
Lire la suiteRather than focusing on the language as a whole, this guide teaches Rust using a single small, complete, focused program ...
Lire la suiteLearn all the algorithmic techniques and programming skills you need from two experienced coaches, problem setters, and jurors ...
Lire la suiteThis book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis ...
Lire la suite