Formal Methods and Software Engineering (vol. # 4260)
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, ...
اقرأ المزيد
Formal Methods for Components and Objects
The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest ...
اقرأ المزيد
Formal Methods for Components and Objects (vol. # 3657)
This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Formal Methods for Open Object-Based Distributed Systems (vol. # 4037)
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...
اقرأ المزيد
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
اقرأ المزيد
Formal Modelling in Electronic Commerce
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, ...
اقرأ المزيد
Foundation ActionScript 3 Animation
The material inside this book covers everything you need to know to harness the power of ActionScript 3.0. The book goes ...
اقرأ المزيد
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 ...
اقرأ المزيد
Foundations of AOP for J2EE Development
Foundations of AOP for J2EE Development covers a relatively new programming paradigm: aspect-oriented programming, or AOP. ...
اقرأ المزيد
Foundations of C++/CLI : The Visual C++ Language for .NET 3.5
Foundations of C++/CLI: The Visual C++ Language for .NET 3.5 introduces C++/CLI, Microsoft's extensions to the C++ syntax ...
اقرأ المزيد
Foundations of F#
F# is much more than just an FP language. Every professional .NET programmer needs to learn about FP, and there's no better ...
اقرأ المزيد
Foundations of Genetic Algorithms
The8thWorkshopontheFoundationsofGeneticAlgorithms,FOGA-8,washeld at the University of Aizu in Aizu-Wakamatsu City, Japan, ...
اقرأ المزيد
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. ...
اقرأ المزيد
Foundations of Object-Oriented Programming Using .NET 2.0 Patterns
Foundations of Object-Oriented Programming Using .NET 2.0 Patterns solves the object-oriented and pattern-programming problem ...
اقرأ المزيد
From Dust To Stars
Studies of stellar formation in galaxies have a profound impact on our understanding of the present and the early universe. ...
اقرأ المزيد
From P2P to Web Services and Grids
Provides an overview of peer-to-peer (P2P) technologies that have revolutionized the way we think about distributed computing ...
اقرأ المزيد
From the Act of Judging to the Sentence
This book offers a detailed study of the truth-bearers problem, that is, the question of which category of items the predicates ...
اقرأ المزيد
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيد
