C# 10 Quick Syntax Reference : A Pocket Guide to the Language, APIs, and Library / Mikael Olsson
Reviews the essential C# 10 and earlier syntax, not previously covered, in a well-organized format that can be used as a ...
Lee mas
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 ...
Lee mas
C++ /CLI : The Visual C++ Language for .NET
C++/CLI: The Visual C++ Language for .NET introduces Microsoft's extensions to the C++ syntax that allow you to target the ...
Lee mas
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, ...
Lee mas
Central European Functional Programming School
This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Communicating Sequential Processes. The First 25 Years
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. ...
Lee mas
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 ...
Lee mas
Compiler Construction (vol. # 3443)
"This book constitutes the refereed proceedings of 14th International Conference, CC 2005, Held as Part of the Joint European ...
Lee mas
Compiler Construction (vol. # 3923)
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lee mas
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 ...
Lee mas
Compiling ESTEREL
Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Computational Science - ICCS 2006 (vol. # 3994)
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
Lee mas
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 ...
Lee mas
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lee mas
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lee mas
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 ...
Lee mas
