Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
اقرأ المزيد
Tools for High Performance Computing : Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart
To support application developers in the various tasks involved in this process, several different tools need to be at his ...
اقرأ المزيد
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges
This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
اقرأ المزيد
Transactions on Computational Science I
This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...
اقرأ المزيد
Transactions on Computational Science II
Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...
اقرأ المزيد
Troubleshooting Oracle Performance
What do you do when your database application isn't running fast enough? You troubleshoot, of course. Finding the slow part ...
اقرأ المزيد
Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...
اقرأ المزيد
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
اقرأ المزيد
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
اقرأ المزيد
Unfoldings : A Partial-Order Approach to Model Checking
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
اقرأ المزيدVirtual, Distributed and Flexible Organisations
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. ...
اقرأ المزيد
Visual Basic 2008 Recipes : A Problem-Solution Approach
Sometimes you just need to solve a problem and get on with your work. To that end, Visual Basic 2008 Recipes is a compendium ...
اقرأ المزيد
WALCOM: Algorithms and Computation : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings
This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...
اقرأ المزيد
Web Component Development with Zope 3
This book focuses on Zope 3, though it also addresses the needs of Zope 2 developers who want to use Zope 3 features as they ...
اقرأ المزيد
Web Reasoning and Rule Systems : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
This book address all current topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge ...
اقرأ المزيد
