Algebra and Coalgebra in Computer Science
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lee mas
Algebra and Coalgebra in Computer Science
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lee mas
Ambisonics : A Practical 3D Audio Theory for Recording, Studio Production, Sound Reinforcement, and Virtual Reality
Provides a concise explanation of the fundamentals and background of the surround sound recording and playback technology ...
Lee mas
An Introduction to Bioanalysis of Biopharmaceuticals / Seema Kumar
Provides a comprehensive review of the fundamental and practical aspects of bioanalytical support and the integral role it ...
Lee mas
Automated Technology for Vertification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
Lee mas
Bisphosphonates in Medical Practice
Clinical osteology is now an independent specialty which nevertheless encompasses all branches of medicine and effects each ...
Lee mas
CONCUR 2006 - Concurrency Theory
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
Lee mas
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lee mas
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lee mas
CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
Lee mas
Challenges at the Bank for International Settlements
This book reveals, next to monetary policy and financial crisis, less well known topics such as insolvency, collective action ...
Lee mas
Critical Issues in Mathematics Education : Major Contributions of Alan Bishop
Critical Issues in Mathematics Education presents the significant contributions of Professor Alan Bishop within the mathematics ...
Lee mas
Drug-Induced Oral Complications / Sarah Cousty
Provides detailed information on the prevalence and manifestations of the most important oral complications associated with ...
Lee mas
Formal Techniques for Networked and Distributed Systems - FORTE 2005
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
Lee mas
Formal Techniques for Networked and Distributed Systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lee mas
Foundations of Software Science and Computational Structures (vol. # 3441)
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lee mas
Handbook of Pediatric Strabismus and Amblyopia
Distilling the essentials of ocular manifestations of pediatric neuroophthalmologic disorders and diseases into a portable, ...
Lee mas
Implementation and Application of Automata
The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical ...
Lee mas
Java Methods for Financial Engineering
This book is structured around the main theories and models used by practitioners to engineer finance and investment tools. ...
Lee mas
Logic, Language, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
Lee mas
