Hardware Software Co-Design of a Multimedia SOC Platform

Pattern Recognition using Neural and Functional Networks

Genetic Algorithms for Applied CAD Problems

Pro Android

Artificial Life Models in Software

Design and Use of Serious Games

The Fortran 2003 Handbook The Complete Syntax, Features and Procedures /

Enterprise Architecture Creating Value by Informed Governance /

Principles of Programming Languages

Software Verification and Analysis An Integrated, Hands-On Approach /

Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach /

SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings /

Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings /

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers /

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

Enterprise Interoperability Second IFIP WG 5.8 International Workshop, IWEI 2009, Valencia, Spain, October 13-14, 2009. Proceedings /

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

A Process Algebraic Approach to Software Architecture Design

Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings /

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings /