Liknande böcker

Datatype-Generic Programming : International Spring School, SSDGP 2006,...
Bok av Roland. Backhouse
Formal Methods and Software Engineering : 17th International Conference...
Bok av Michael Butler
Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Aus...
Bok av María J. Blesa
Computational Logic in Multi-Agent Systems : 9th International Workshop,...
Bok av Michael. Fisher
Formal Modeling and Analysis of Timed Systems : 9th International Confer...
Bok av Uli. Fahrenberg
Generic and Indexed Programming : International Spring School, SSGIP 201...
Bok av Jeremy. Gibbons
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria

Programming Languages and Systems : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, M

Bok av Peter. Sestoft