Electronic Books

Total Books: 341 - 360 /374

Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...

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 ...

Theoretical Introduction to Programming

Is there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...

Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...

Time-Resolved Spectroscopy in Complex Liquids

Time-Resolved Spectroscopy in Complex Liquids introduces current state-of-the-art techniques in the study of complex dynamical ...

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 ...

Towards Next Generation Grids

Towards Next Generation Grids is the fifth volume of the CoreGRID series. Organized jointly with the Euro-Par 2007 conference, ...

Transactions on Aspect-Oriented Software Development II

This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...

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 ...

Trust, Privacy, and Security in Digital Business

“Privacy Enhanced Technology, Methods – Markets – Misuse”. A paper covering his talk is also contained in this book. ...

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 ...

Total Books: 341 - 360 /374