Electronic Books

Total Books: 41 - 60 /208

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, ...

Total Books: 41 - 60 /208