Electronic Books

Total Books: 21 - 40 /176
978-1-4842-3411-2
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 ...

Continue reading
978-1-4302-0243-1
Beginning C

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

Continue reading
978-1-4842-7446-0
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
978-1-4842-7999-1
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
978-1-4302-0072-7
Beginning Python

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

Continue reading
978-1-4842-7981-6
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 ...

Continue reading
978-3-540-88059-2
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
978-3-540-71229-9
Compiler Construction

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

Continue reading
978-3-540-71229-9
Compiler Construction

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

Continue reading
978-3-540-31985-6
Compiler Construction (vol. # 3443)

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

Continue reading
978-3-540-33051-6
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 ...

Continue reading
978-3-540-78791-4
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
9781292024349
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 ...

Continue reading
9780321486813
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 ...

Continue reading
978-3-540-87891-9
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
978-3-540-88833-8
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
978-3-319-96145-3
Computer Aided Verification

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

Continue reading
978-3-319-96142-2
Computer Aided Verification

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

Continue reading
978-3-540-31686-2
Computer Aided Verification (vol. # 3576)

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

Continue reading
978-3-030-25540-4
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
Total Books: 21 - 40 /176