Programming Techniques

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

Pro Excel 2007 VBA by: (Electronic resources)

Facelets Essentials: Guide to JavaServer Faces View Definition Framework by: (Language materials, printed)

Spring Recipes = A Problem-Solution Approach / by: (Language materials, printed)

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

Automated Reasoning with Analytic Tableaux and Related Methods : = International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings by: (Language materials, printed)

Pro drupal development by: (Language materials, printed)

More joel on software = further thoughts on diverse and occasionally related matters what will prove of interest to software developers, designers, and managers, and to those who, whether by good fortune or III luck, work with them in some capacity / by: (Language materials, printed)

PHP (Computer program language)

Formal methods (Computer science)

Mathematical Logic and Formal Languages

Automatic theorem proving

Software engineering.

Models and Principles

Software Engineering

Open source software.

Web site development.

Computer Science.

Drupal (Computer program language)

Web sites

Computer science

Computer software

Computer Science

Theory of Computation

Artificial Intelligence (incl. Robotics)

Business

Programming Languages, Compilers, Interpreters

Electronic spreadsheets.

Functional programming (Computer science)

Programming Techniques

Logics and Meanings of Programs

Application software

Java (Computer program language)

Computer science.