Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
اقرأ المزيد
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
اقرأ المزيد
Automatic Program Development : A Tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
اقرأ المزيد
Bad Programming Practices 101 : Become a Better Coder by Learning How (Not) to Program
Takes a humorous slant on the programming practice manual by reversing the usual approach: under the pretence of teaching ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيد
CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
اقرأ المزيد
Cellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings
This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular ...
اقرأ المزيد
Central European Functional Programming School
This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
اقرأ المزيد
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 ...
اقرأ المزيد
Chinese Computational Linguistics : 19th China National Conference, CCL 2020, Hainan, China, October 30 – November 1, 2020, Proceedings
This book constitutes the proceedings of the 19th China National Conference on Computational Linguistics, CCL 2020, held ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
