Programming Techniques

Integrated Formal Methods : = 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings by: (書目-語言資料,印刷品)

Pro Excel 2007 VBA by: (書目-電子資源)

Facelets Essentials: Guide to JavaServer Faces View Definition Framework by: (書目-語言資料,印刷品)

Spring Recipes = A Problem-Solution Approach / by: (書目-語言資料,印刷品)

Central European Functional Programming School = second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 ; revised selected / by: (書目-語言資料,印刷品)

Automated Reasoning with Analytic Tableaux and Related Methods : = International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings by: (書目-語言資料,印刷品)

Pro drupal development by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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.