Abstract Computing Machines
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
اقرأ المزيد
Comprehensive Mathematics for Computer Scientists 2
This second volume of a comprehensive tour through mathematical core subjects for computer scientists completes the ?rst ...
اقرأ المزيد
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
اقرأ المزيد
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
اقرأ المزيد
Computer Science Logic (vol. # 3634)
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
اقرأ المزيد
Foundations of Software Science and Computational Structures (vol. # 3921)
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
اقرأ المزيد
Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 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 fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
اقرأ المزيد
Implementation and Application of Functional Languages (vol. # 4015)
The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...
اقرأ المزيد
Java 17 Recipes : A Problem-Solution Approach / Josh Juneau, Luciano Manelli
Quickly find solutions to dozens of common programming problems encountered while building Java applications, with recipes ...
اقرأ المزيد
Optimal Pain Management for the Dental Team / Tara Renton
A concise guide to the correct diagnosis and management of dental pain and anxiety. It covers psychology theories about pain, ...
اقرأ المزيد
Processes, Terms and Cycles: Steps on the Road to Infinity
Dedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...
اقرأ المزيد
Software Composition (vol. # 3628)
Component-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.These ...
اقرأ المزيد
Software Engineering 1
Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides ...
اقرأ المزيد
Sustainable Dentistry: Making a Difference / Brett Duane
Provides the why, what and how on delivering a sustainable dental practice. Dentists have a professional duty to support ...
اقرأ المزيد
Term Rewriting and Applications
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
اقرأ المزيد
Term Rewriting and Applications (vol. # 3467)
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
اقرأ المزيد
Term Rewriting and Applications (vol. # 4098)
PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
اقرأ المزيد
Tooth Wear : An Authoritative Reference for Dental Professionals and Students / Andrew Eder, Maurice Faigenblum
Aids identification of causative factors Offers guidance on diagnosis and prevention Describes the full range of current ...
اقرأ المزيد
Typed Lambda Calculi and Applications
This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
اقرأ المزيد
Typed Lambda Calculi and Applications
The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...
اقرأ المزيد
