Electronic Books

Total Books: 41 - 60 /152

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

Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...

Cours doptique : Simulations et exercices résolus avec Maple, Matlab, Mathematica, Mathcad = Optics course : Simulations and exercises solved with Maple, Matlab, Mathematica, Mathcad

Intended for students at the L and M levels of the university as well as for engineers wishing to study certain subjects ...

Decision Procedures : An Algorithmic Point of View

The book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...

Deduction, Computation, Experiment : Exploring the Effectiveness of Proof

What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...

Dependability Modelling under Uncertainty : An Imprecise Probabilistic Approach

Mechatronic design processes have become shorter and more parallelized, induced by growing time-to-market pressure. Methods ...

Dissemination of Information in Optical Networks : From Technology to Algorithms In Cooperation with Ralf Klasing

This book gives a broad overview of techniques used in the design of WDM networks for efficient dissemination of information ...

Do-All Computing in Distributed Systems :Cooperation in the Presence of Adversity

Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity is the first book that presents an in depth ...

Dynamic Brain - from Neural Spikes to Behaviors : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures

The volume presents 12 thoroughly revised tutorial papers based on lectures given by leading researchers at the 12th International ...

E-Commerce and Web Technologies : 9th International Conference, EC-Web 2008 Turin, Italy, September 3-4, 2008 Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Electronic Commerce and Web Technologies, ...

Embedded Computer Systems: Architectures, Modeling, and Simulation :8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 8th International Workshop on Systems, Architectures, Modeling, and ...

Euro-Par 2007 Workshops: Parallel Processing : HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers

Parallel and distributed processing , although within the focus of computer science research for along time ,is gainingmore ...

Euro-Par 2008 - Parallel Processing : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Parallel Computing, Euro-Par 2008, ...

Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...

Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...

Foundations of Information and Knowledge Systems : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...

Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...

Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...

From Animals to Animats 10 : 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB ...

Total Books: 41 - 60 /152