1-24 of 423 Books

Evaluation of Novel Approaches to Software Engineering
By Leszek A. Maciaszek

Reachability Problems
By Parosh Aziz Abdulla,Igor Potapov

Software Technologies
By Andreas Holzinger,Jorge Cardoso,José Cordeiro,Therese Libourel,Leszek A. Maciaszek,Marten van Sinderen

Logical Foundations of Computer Science
By Sergei Artemov

Trends in Functional Programming
By Jurriaan Hage,Jay McCarthy

Introduction to programming with Fortran
By Ian Chivers,Jane Sleightholme

Formal methods for components and objects
By Frank S. de Boer,Marcello M. Bonsangue,Susanne Graf,Willem-Paul de Roever

Fundamentals of Software Engineering
By Farhad Arbab

Logic for Programming, Artificial Intelligence, and Reasoning
By Ken McMillan,Aart Middeldorp,Andrei Voronkov

Solving problems in scientific computing using Maple and MATLAB
By Walter Gander

Using Microsoft Dynamics AX 2012
By Andreas Luszczak

Formal Aspects of Component Software
By Farhad Arbab

NASA Formal Methods
By Julia M. Badger,Kristin Yvonne Rozier

Introduction to Modern Fortran for the Earth System Sciences
By Dragos B. Chirila,Gerrit Lohmann

Software Architecture
By Bedir Tekinerdogan,Uwe Zdun,Ali Babar

Trends in Functional Programming
By Ricardo Peña

Central European Functional Programming School
By Viktória Zsók