Title: Software Engineering 1: Abstraction and Modelling, Author: Dines Bjørner
Title: Studying Programming, Author: Sally Fincher
Explore Series
Title: Towards a New Evolutionary Computation: Advances on Estimation of Distribution Algorithms, Author: Jose A. Lozano
Title: Data Structures and Algorithm Analysis in Java, Author: Mark A. Weiss
Title: Representations for Genetic and Evolutionary Algorithms, Author: Franz Rothlauf
Title: Refactoring Databases: Evolutionary Database Design, Author: Scott Ambler
Title: Logical Foundations for Rule-Based Systems, Author: Antoni Ligeza
Title: Refactoring Databases: Evolutionary Database Design / Edition 1, Author: Scott Ambler
Title: Prediction, Learning, and Games, Author: Nicolo Cesa-Bianchi
Title: Efficient Approximation and Online Algorithms: Recent Progress on Classical Combinatorial Optimization Problems and New Applications, Author: Evripidis Bampis
Title: Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers, Author: Jean-Christophe Filliatre
Title: Effective Software Project Management, Author: Robert K. Wysocki
Title: Practical .NET for Financial Markets, Author: Vivek Shetty
Title: Software Engineering 3: Domains, Requirements, and Software Design, Author: Dines Bjørner
Title: Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European, Author: Peter Sestoft
Title: Programming Multi-Agent Systems: Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers, Author: Rafael H. Bordini
Title: Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings, Author: Alan Mycroft
Title: Evolutionary Computation in Combinatorial Optimization: 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings, Author: Jens Gottlieb
Title: Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers, Author: Patricia M. Hill
Title: Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, Author: Matteo Baldoni

Pagination Links