Filter

Programming Techniques

386 books found

Compiler Design
Compiler Design

by Helmut Seidl

2012 3 ed.
Transactions on Aspect-Oriented Software Development IX
Transactions on Aspect-Oriented Software Development IX

by Gary T. Leavens

2012 3 ed.
Transactions on Pattern Languages of Programming III
Transactions on Pattern Languages of Programming III

by James Noble

2013 3 ed.
Implementation and Application of Functional Languages
Implementation and Application of Functional Languages

by Andy Gill

2012 3 ed.
Inductive Logic Programming
Inductive Logic Programming

by Fabrizio Riguzzi

2013 3 ed.
Wireless Sensor Networks
Wireless Sensor Networks

by Gian Pietro Picco

2012 3 ed.
Open Source Systems: Long-Term Sustainability
Open Source Systems: Long-Term Sustainability

by Imed Hammouda

2012 3 ed.
Generative and Transformational Techniques in Software Engineering IV
Generative and Transformational Techniques in Software Engin...

by Ralf Lämmel

2013 3 ed.
Generic and Indexed Programming
Generic and Indexed Programming

by Jeremy Gibbons

2012 3 ed.
Genetic Programming Theory and Practice X
Genetic Programming Theory and Practice X

by Rick Riolo

2013 3 ed.
Tests and Proofs
Tests and Proofs

by Margus Veanes

2013 3 ed.
Programming Logics
Programming Logics

by Andrei Voronkov

2013 3 ed.
Guide to Cloud Computing
Guide to Cloud Computing

by Richard Hill

2012 3 ed.
Tools for High Performance Computing 2012
Tools for High Performance Computing 2012

by Alexey Cheptsov

2013 3 ed.
Abstraction, refinement and proof for probabilistic systems
Abstraction, refinement and proof for probabilistic systems

by Annabelle McIver, Charles C. Morgan

2004 3 ed.
Formal Methods and Software Engineering
Formal Methods and Software Engineering

by Toshiaki Aoki, Kenji Taguchi

2012 3 ed.
Optimization in Science and Engineering
Optimization in Science and Engineering

by Themistocles M. Rassias, Christodoulos A. Floudas

2014 3 ed.
Verified Software : Theorie, Tools, Experiments
Verified Software : Theorie, Tools, Experiments

by Ernie Cohen, Andrey Rybalchenko

2014 3 ed.
Engineering Multi-Agent Systems
Engineering Multi-Agent Systems

by Fabiano Dalpiaz, Jürgen Dix

2014 3 ed.
Algorithmic Decision Theory
Algorithmic Decision Theory

by Patrice Perny, Marc Pirlot

2013 3 ed.