Electronic Books

Total Books: 81 - 100 /813

Approximation and Online Algorithms :5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers

The Fifth Workshop on Approximation and Online Algorithms (WAOA 2007) focused on the design and analysis of algorithms for ...

Architecting Dependable Systems V

As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...

Architectural Structures : Visualizing Load Flow Geometrically / Edmond Saliklis

Presents an alternative approach to understanding structural engineering load flow using a visually engaging and three-dimensional ...

Architecture in Context: Designing in the Middle East / Hassan Radoine

Provides a foundation for understanding the critical context of architecture and design in this region. It does this by: presenting ...

Arctic Alpine Ecosystems and People in a Changing Environment

This book addresses the significant environmental changes experienced by high latitude and high altitude ecosystems at the ...

Astrophysical Disks

The book deals with collective and stochastic processes in astrophysical discs involving theory, observations, and the results ...

Atlas of Confocal Laser Scanning In-vivo Microscopy in Ophthalmology

Confocal microscopy with laser scanning technology yields in-vivo images of ocular and ocular adnexal surfaces that are so ...

Attitudes, Beliefs, Motivation and Identity in Mathematics Education : An Overview of the Field and Future Directions

This book records the state of the art in research on mathematics-related affect. It discusses the concepts and theories ...

Automata, Languages and Programming

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

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

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

Total Books: 81 - 100 /813