Filter

Programming Techniques

386 books found

Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis

by Dang Van Hung, Mizuhito Ogawa

2013 3 ed.
OpenMP in the Era of Low Power Devices and Accelerators
OpenMP in the Era of Low Power Devices and Accelerators

by Alistair P. Rendell, Barbara M. Chapman

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

by Fabiano Dalpiaz, Jürgen Dix

2014 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.
Evolutionary and Biologically Inspired Music, Sound, Art and Design
Evolutionary and Biologically Inspired Music, Sound, Art and...

by Penousal Machado

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

by Imed Hammouda

2012 3 ed.
Using Event-B for Critical Device Software Systems
Using Event-B for Critical Device Software Systems

by Neeraj Kumar Singh

2013 3 ed.
Requirements Engineering and Management for Software Development Projects
Requirements Engineering and Management for Software Develop...

by Murali Chemuturi

2012 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.
Numerical Computations with GPUs
Numerical Computations with GPUs

by Volodymyr Kindratenko

2014 3 ed.
Verification of Business Rules Programs
Verification of Business Rules Programs

by Bruno Berstel-Da Silva

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

by Themistocles M. Rassias, Christodoulos A. Floudas

2014 3 ed.
Genetic Programming Theory and Practice XI
Genetic Programming Theory and Practice XI

by Rick Riolo, Jason H. Moore

2014 3 ed.
Open Source Geospatial Tools
Open Source Geospatial Tools

by Daniel McInerney, Pieter Kempeneers

2014 3 ed.
Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages

by Matthew Flatt, Hai-Feng Guo

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

by Lindsay Groves, Jing Sun

2013 3 ed.