Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Lee mas
Formal Methods for Open Object-Based Distributed Systems
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lee mas
Formal Methods for Open Object-Based Distributed Systems (vol. # 3535)
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
Lee mas
Foundation Flash Applications for Mobile Devices
Foundation Flash Applications for Mobile Devices is the book you need to learn how to take advantage of new audience of ...
Lee mas
Foundation Web Design with Dreamweaver 8
Dreamweaver is Macromedia's bestselling web design/development environment. Dreamweaver has the capability to generate dynamic ...
Lee mas
Foundation Website Creation with CSS, XHTML, and JavaScript
Foundation Website Creation with CSS, XHTML, and JavaScript covers the entire process of building a website. This process ...
Lee mas
Foundations of 3D Graphics Programming
Foundations of 3D Graphics Programming is an innovative shortcut to graphics theory and programming using JOGL, a new vehicle ...
Lee mas
Foundations of 3D Graphics Programming : Using JOGL and Java3D
This thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...
Lee mas
Foundations of AOP for J2EE Development
Foundations of AOP for J2EE Development covers a relatively new programming paradigm: aspect-oriented programming, or AOP. ...
Lee mas
Foundations of ASP.NET AJAX
Foundations of ASP.NET AJAX gives you a detailed grounding in how ASP.NET AJAX works. It takes you swiftly through the basic ...
Lee mas
Foundations of Ajax
Ajax burst onto the Web development scene by offering highly interactive, desktop-like Web applications that can be deployed ...
Lee mas
Foundations of Atlas
This book introduces a fast-track path to understanding Atlas, and how this technology can increase the power and functionality ...
Lee mas
Foundations of Java for ABAP Programmers
The only beginning book of its kind, this book will teach you SAP/ABAP developers the skills you need for Java 5 programming. ...
Lee mas
Foundations of Security Analysis and Design IV
This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International ...
Lee mas
Fundamental Approaches to Software Engineering
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...
Lee mas
Fundamental Networking in Java
This book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. ...
Lee mas
Fuzzy-Neuro Approach to Agent Applications
The book provides a full explanation of the concepts and theories of intelligent agents and agent-based systems. Providing ...
Lee mas
Generative and Transformational Techniques in Software Engineering
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
Lee mas
Google Guice: Agile Lightweight Dependency Injection Framework
Guice (pronounced “Juice”) is the Jolt Award-winning, 100% Java icing on the cake of Java dependency injection. Unlike ...
Lee mas
Grid Computing: Software Environments and Tools
The book provides: • Discussion of software engineering and modelling tools for the Grid • Analysis of issues inherent ...
Lee mas
