Electronic Books

Total Books: 341 - 360 /1451

Computer Safety, Reliability, and Security

This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...

Computer Safety, Reliability, and Security : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and ...

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

Computer Science -- Theory and Applications

This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...

Computer Science Logic (vol. # 3634)

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...

Computer Science Logic (vol. # 4207)

Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...

Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...

Computer Science – Theory and Applications

This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...

Computer Science – Theory and Applications

This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...

Computer Supported Cooperative Work in Design IV : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Computer ...

Computer Viruses: from theory to applications

The purpose of this book is to propose a teaching approach to under- 1 stand what computer viruses really are and how they ...

Computer Vision -- ECCV 2006 (vol. # 3953)

Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of ...

Computer Vision Systems : 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Computer Vision Systems, ICVS 2008, ...

Computer and Information Science

The purpose of the 7th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2008) and the 2nd IEEE/ACIS ...

Computer-Aided Innovation (CAI) : IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Computing and Combinatorics (vol. # 4112)

The papers are organized in topical sections on computational economics, finance, and management, graph algorithms, computational ...

Computing and Combinatorics : 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings

The refereed proceedings of the 14th Annual International Computing and Combinatorics Conference, COCOON 2008, held in Dalian, ...

Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python / Therese Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge

Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java / Therese Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge

Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...

Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...

Total Books: 341 - 360 /1451