Electronic Books

Total Books: 21 - 40 /176

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 C

With Beginning C: From Novice to Professional, Fourth Edition, you'll come to understand the fundamentals of the C language ...

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 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 Python

Ten different projects illustrate the concepts introduced in the book. You will learn how to create a P2P file-sharing application ...

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 ...

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 ...

Compiler Construction

This book covered Theory and Practice of Software. The sections includes architecture, garbage collection and program analysis, ...

Compiler Construction

This book covered Theory and Practice of Software. The sections includes architecture, garbage collection and program analysis, ...

Compiler Construction (vol. # 3443)

"This book constitutes the refereed proceedings of 14th International Conference, CC 2005, Held as Part of the Joint European ...

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 ...

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 ...

Compilers : principles, techniques, and tools / Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman

This introduction to compilers is the direct descendant of the well-known book by Aho and Ullman, Principles of Compiler ...

Compilers Principles Techniques & Tools / Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman

This introduction to compilers is the direct descendant of the well-known book by Aho and Ullman, Principles of Compiler ...

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 ...

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 ...

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification (vol. # 3576)

This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...

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 ...

Total Books: 21 - 40 /176