Automata, Languages and Programming (vol. # 4052)
a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein ...
اقرأ المزيد
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, ...
اقرأ المزيد
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, ...
اقرأ المزيد
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Bioinformatics : Problem Solving Paradigms
This book highlights basic paradigms of problem analysis and algorithm design in the context of core bioinformatics problems. ...
اقرأ المزيد
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 ...
اقرأ المزيد
Boundary Representation Modelling Techniques
Boundary representation is the principle solid modelling method used in modern CAD/CAM systems. There have been a long series ...
اقرأ المزيد
Combinatorial Pattern Matching (vol. # 4009)
The book presents 33 revised full papers together with 3 invited talks, organized in topical sections on data structures, ...
اقرأ المزيد
Comparative Genomics
This book provides an evolutionary conceptual framework for comparative genomics, with the ultimate objective of understanding ...
اقرأ المزيد
Comparative Genomics
This book provides an evolutionary conceptual framework for comparative genomics, with the ultimate objective of understanding ...
اقرأ المزيد
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 ...
اقرأ المزيد
Computational Geometry : Algorithms and Applications
This introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيد
