Programming Languages, Compilers, Interpreters

System Level Design of Reconfigurable Systems-on-Chip / by: (Electronic resources)

Engineering Theories of Software Intensive Systems :Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3��5 August 2004 / by: (Electronic resources)

Logic Programming with Prolog / by: (Electronic resources)

Mastering Oracle SQL and SQL*Plus / by: (Electronic resources)

Advanced .NET Remoting / by: (Electronic resources)

Practical Common Lisp / by: (Electronic resources)

Beginning J2ME :From Novice to Professional / by: (Electronic resources)

Pro ASP.NET 1.1 in VB .NET :From Professional to Expert / by: (Electronic resources)

Expert Oracle JDBC Programming / by: (Electronic resources)

Pro Java Programming / by: (Electronic resources)

Pro Apache Log4j / by: (Electronic resources)

Squeak :Learn Programming with Robots / by: (Electronic resources)

Pro Hibernate 3 / by: (Electronic resources)

Pro J2ME Polish :Open Source Wireless Java Tools Suite / by: (Electronic resources)

Pro Perl Parsing / by: (Electronic resources)

Pro Apache Beehive / by: (Electronic resources)

Beginning MapServer :Open Source GIS Development / by: (Electronic resources)

JDBC Recipes :A Problem-Solution Approach / by: (Electronic resources)

Foundations of AOP for J2EE Development / by: (Electronic resources)

Pro ASP.NET 2.0 in C# 2005 / by: (Electronic resources)

Expert Oracle Database 10g Administration / by: (Electronic resources)

Expert Oracle Database Architecture :9i and 10g Programming Techniques and Solutions / by: (Electronic resources)

The Definitive Guide to MySQL5 / by: (Electronic resources)

Beginning Python :From Novice to Professional / by: (Electronic resources)

Pro JSP 2 / by: (Electronic resources)

Prozessubergreifendes Projektmanagement :Grundlagen erfolgreicher Projekte / by: (Electronic resources)

Categories for Software Engineering / by: (Electronic resources)

Abstract Computing Machines :A Lambda Calculus Perspective / by: (Electronic resources)

Implementing Distributed Systems with Java and CORBA / by: (Electronic resources)

Software Agent-Based Applications, Platforms and Development Kits / by: (Electronic resources)

Introduction to Programming with Fortran / by: (Electronic resources)

Fundamental Networking in Java / by: (Electronic resources)

Theoretical Introduction to Programming / by: (Electronic resources)

Fundamentals of Algebraic Graph Transformation / by: (Electronic resources)

Software Engineering 3 :Domains, Requirements, and Software Design / by: (Electronic resources)

An Introduction to Language Processing with Perl and Prolog :An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German / by: (Electronic resources)

An Introduction to Network Programming with Java / by: (Electronic resources)

Verification of Object-Oriented Software. The KeY Approach :Foreword by K. Rustan M. Leino / by: (Electronic resources)

Interfacing with C++ :Programming Real-World Applications / by: (Electronic resources)

Hardware Verification with C++ :A Practitioner's Handbook / by: (Electronic resources)

M-Solid Varieties of Algebras / by: (Electronic resources)

SQL Server 2000 Fast Answers :for DBAs and Developers / by: (Electronic resources)

AutoCAD 2006 VBA :A Programmer's Reference / by: (Electronic resources)

Cost-Based Oracle Fundamentals / by: (Electronic resources)

The Definitive Guide to Building Java Robots / by: (Electronic resources)

Pro SQL Server 2005 Reporting Services / by: (Electronic resources)

Pro Apache Ant / by: (Electronic resources)

Pro SQL Server 2005 / by: (Electronic resources)

Practical Mono / by: (Electronic resources)

SQL Server 2005 T-SQL RecipesA Problem-Solution Approach / by: (Electronic resources)

SCJD Exam with J2SE 5 / by: (Electronic resources)

Beginning SQL Server 2005 Express Database Applications :with Visual Basic Express and Visual Web Developer Express From Novice to Professional / by: (Electronic resources)

Pro SQL Server 2005 Assemblies / by: (Electronic resources)

Beginning PHP and MySQL 5 :From Novice to Professional / by: (Electronic resources)

Pro ASP.NET 2.0 in VB 2005 / by: (Electronic resources)

Beginning ASP.NET 2.0 in C# 2005 :From Novice to Professional / by: (Electronic resources)

Beginning SQL Server 2005 for Developers :From Novice to Professional / by: (Electronic resources)

Beginning Apache Struts :From Novice to Professional / by: (Electronic resources)

Expert Spring MVC and Web Flow / by: (Electronic resources)

Beginning PHP and PostgreSQL 8 :From Novice to Professional / by: (Electronic resources)

Pro PHP XML and Web Services / by: (Electronic resources)

Foundations of Java for ABAP Programmers / by: (Electronic resources)

Beginning POJOs :From Novice to Professional / by: (Electronic resources)

Practical .NET for Financial Markets / by: (Electronic resources)

Pro PHP-GTK / by: (Electronic resources)

Beginning ASP.NET 2.0 in VB 2005 :From Novice to Professional / by: (Electronic resources)

Pro SQL Server 2005 Database Design and Optimization / by: (Electronic resources)

Deploying .NET Applications :Learning MSBuild and ClickOnce / by: (Electronic resources)

Pro EJB 3 :Java Persistence API / by: (Electronic resources)

Pro Java EE 5 Performance Management and Optimization / by: (Electronic resources)

SCJP Exam for J2SE 5 :A Concise and Comprehensive Study Guide for The Sun Certified Java Programmer Exam / by: (Electronic resources)

.NET 2.0 for Delphi Programmers / by: (Electronic resources)

Pro .NET 2.0 Extreme Programming / by: (Electronic resources)

Java 6 Platform Revealed / by: (Electronic resources)

Ada 2005 Reference Manual. Language and Standard LibrariesInternational Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 / by: (Electronic resources)

Formal Modeling and Analysis of Timed Systems (vol. # 4202)4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings / by: (Electronic resources)

Integrated Formal Methods :5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings by: (Electronic resources)

Central European Functional Programming Schoolsecond summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 ; revised selected / by: (Language materials, printed)

Beginning pythonfrom novice to professional / by: (Language materials, printed)

Middleware 2008ACM-IFIP-USENIX 9th International Middleware Conference, Leuven Belgium, December 1-5 2008, proceedings / by: (Language materials, printed)

Engineering Theories of Software Intensive SystemsProceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / by: (Electronic resources)