Automata, Languages and Programming (vol. # 4052)
a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein ...
Lee mas
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lee mas
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lee mas
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Lee mas
B 2007: Formal Specification and Development in B
These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
Lee mas
Balancing Agility and Formalism in Software Engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference ...
Lee mas
Beginning C# 2008
This book is for anyone who wants to write good C# 2008 code—even if you have never programmed before. Beginning C# 2008 ...
Lee mas
Beginning C# 2008 : From Novice to Professional
This book is for anyone who wants to write good C# code—even if you have never programmed before. Writing good code can ...
Lee mas
Beginning Java Data Structures and Algorithms: Sharpen your problem solving skills by learning core computer science concepts in a pain-free manner / James Cutajar
Teaches you tools that you can use to build efficient applications. It starts with an introduction to algorithms and big ...
Lee mas
Beginning VB 2008 : From Novice to Professional
This book is for anyone who wants to write good Visual Basic 2008 code, even if you have never programmed before. Writing ...
Lee mas
Bioinformatics : Problem Solving Paradigms
This book highlights basic paradigms of problem analysis and algorithm design in the context of core bioinformatics problems. ...
Lee mas
Botnet Detection : Countering the Largest Security Threat
Botnet Detection: Countering the Largest Security Threat, a contributed volume by world-class leaders in this field, is based ...
Lee mas
Boundary Representation Modelling Techniques
Boundary representation is the principle solid modelling method used in modern CAD/CAM systems. There have been a long series ...
Lee mas
Combinatorial Pattern Matching (vol. # 4009)
The book presents 33 revised full papers together with 3 invited talks, organized in topical sections on data structures, ...
Lee mas
Comparative Genomics
This book provides an evolutionary conceptual framework for comparative genomics, with the ultimate objective of understanding ...
Lee mas
Comparative Genomics
This book provides an evolutionary conceptual framework for comparative genomics, with the ultimate objective of understanding ...
Lee mas
Complexity of Constraints : An Overview of Current Research Themes
This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International ...
Lee mas
Computational Geometry : Algorithms and Applications
This introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to ...
Lee mas
Computational Geometry and Graph Theory : International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Kyoto Conference on Computational Geometry ...
Lee mas
Computer Science - Theory and Applications : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
Lee mas
