The Essential Guide to Flex 3
Flex 3 is the next generation of a technology that revolutionized web applications. It is the next evolutionary step of Flash, ...
اقرأ المزيد
The Essential Guide to Open Source Flash Development
Explore the world of open source Flash and discover which tools are available. Learn how to identify which tool you need ...
اقرأ المزيد
The Interior Design Reference & Specification Book updated & revised : Everything Interior Designers Need to Know Every Day - Reference & Specification Book / Chris Grimley, Mimi Love
Gives you the information essential to planning and executing interior projects of all shapes and sizes in a format that ...
اقرأ المزيد
The Once-Only Principle The TOOP Project
This Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
اقرأ المزيدThe Privacy Engineer’s Manifesto : Getting from Policy to Code to QA to Value
The authors, a uniquely skilled team of longtime industry experts, detail how you can build privacy into products, processes, ...
اقرأ المزيد
The Scholarship of Teaching and Learning in Higher Education: An Evidence-Based Perspective
This book brings together pre-eminent scholars from Australia, Canada, Europe, the Middle East, and the USA to critically ...
اقرأ المزيد
The Universal Generating Function in Reliability Analysis and Optimization
The Universal Generating Function in Reliability Analysis and Optimization is the first book that gives a comprehensive description ...
اقرأ المزيد
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, ...
اقرأ المزيد
