This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
Lire la suiteYou’ll learn how to write effective, modern Python 3 code by leveraging its best ideas. Don’t waste time bending Python ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, ...
Lire la suiteThe book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest ...
Lire la suiteThis book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lire la suiteThis volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lire la suiteAdvances in automation for electronic commerce require improved understanding and formalization of the objects, processes, ...
Lire la suiteThe material inside this book covers everything you need to know to harness the power of ActionScript 3.0. The book goes ...
Lire la suiteThis thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...
Lire la suiteFoundations of AOP for J2EE Development covers a relatively new programming paradigm: aspect-oriented programming, or AOP. ...
Lire la suiteFoundations of C++/CLI: The Visual C++ Language for .NET 3.5 introduces C++/CLI, Microsoft's extensions to the C++ syntax ...
Lire la suiteF# is much more than just an FP language. Every professional .NET programmer needs to learn about FP, and there's no better ...
Lire la suiteThe8thWorkshopontheFoundationsofGeneticAlgorithms,FOGA-8,washeld at the University of Aizu in Aizu-Wakamatsu City, Japan, ...
Lire la suiteThe only beginning book of its kind, this book will teach you SAP/ABAP developers the skills you need for Java 5 programming. ...
Lire la suiteFoundations of Object-Oriented Programming Using .NET 2.0 Patterns solves the object-oriented and pattern-programming problem ...
Lire la suiteStudies of stellar formation in galaxies have a profound impact on our understanding of the present and the early universe. ...
Lire la suiteProvides an overview of peer-to-peer (P2P) technologies that have revolutionized the way we think about distributed computing ...
Lire la suite