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 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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
