Electronic Books

Total Books: 101 - 120 /883

Automata, Languages and Programming

This volume presented three major tracks covering algorithms, automata, complexity, and games

Automata, Languages and Programming (vol. # 3580)

This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP ...

Automata, Languages and Programming (vol. # 4051)

ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein1972 ...

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

Bacterial Physiology

The application of new molecular methodologies in the study of bacterial behaviour and cell architecture has enabled new ...

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

Basic Fracture Mechanics and its Applications / Ashok Saxena

Presents specific aspects of how fracture mechanics is used to address fatigue crack growth, environment assisted cracking, ...

Basics Masonry Construction - Basics / Nils Kummer

Masonry construction is usually the top priority in the constructive exercises during the course. The basic principles of ...

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 DB2 : From Novice to Professional

IBM’s DB2 Express Edition is one of the most capable of the free database platforms available in today’s marketplace. ...

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

Best of Detail: Beton / Concrete - best of DETAIL / Christian Schittich

Presents highlights from the magazine published in recent years about concrete, a powerful medium for architectural expression. ...

Beyond Bending : Reimagining Compression Shells / Block Research Group

The examination of old construction principles in combination with the development of new digital graphic construction methods ...

Bio-based Building Skin

This book provides a compendium of material properties, demonstrates several successful examples of bio-based materials’ ...

Total Books: 101 - 120 /883