Lenore Blum, Felipe Cucker, Michael Shub, Steve Smale
Titel
Complexity and Real Computation
Beschreibung
Computational complexity theory provides a framework for understanding the cost of solving computational problems, as measured by the requirement for resources such as time and space. The objects of s ...mehr
The implementation of object-oriented languages has been an active topic of research since the 1960s when the first Simula compiler was written. The topic received renewed interest in the early 1980s ...mehr
Verlag
Springer US
Erscheinungsdatum
06.12.2012
ISBN/EAN
978-1-4615-1681-1
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
149,79 €
Das ist ein E-Book
Autor
Herausgegeben von Jordi Cabot, Herausgegeben von Eelco Visser
Titel
Theory and Practice of Model Transformations
Untertitel
4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings
Beschreibung
This book constitutes the refereed proceedings of the 4th International Conference, ICMT 2011, held in Zurich, Switzerland in June 2011.
The 14 revised full papers were carefully revised and selected ...mehr
Verlag
Springer-Verlag GmbH
Erscheinungsdatum
28.06.2011
ISBN/EAN
978-3-642-21732-6
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Autor
Herausgegeben von Bertrand Meyer, Herausgegeben von J.R. Nawrocki, Herausgegeben von Bartosz Walter
Titel
Balancing Agility and Formalism in Software Engineering
Untertitel
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
Herausgegeben von Abdelkader Hameurlain, Herausgegeben von Josef Küng, Herausgegeben von Roland Wagner
Titel
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
Beschreibung
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer s ...mehr
Verlag
Springer-Verlag GmbH
Erscheinungsdatum
07.11.2015
ISBN/EAN
978-3-662-48567-5
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Das ist ein E-Book
Autor
Herausgegeben von Felix Redmill, Herausgegeben von Tom Anderson
Titel
Directions in Safety-Critical Systems
Untertitel
Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9–11 February 1993
Beschreibung
0 e This is the proceedings of the first annual symposium of the Safety-critical Systems Club (The Watershed Media Centre, Bristol, 9-11 February 1993), which provided a forum for exploring and discus ...mehr
Verlag
Springer London
Erscheinungsdatum
06.12.2012
ISBN/EAN
978-1-4471-2037-7
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Das ist ein E-Book
Autor
Herausgegeben von Jan van Leeuwen
Titel
Algorithms - ESA '94
Untertitel
Second Annual European Symposium, Utrecht, The Netherlands, September 26 - 28, 1994. Proceedings
Beschreibung
This volume presents the proceedings of the Second Annual European Symposium on Algorithms (ESA '94), held near Utrecht, The Netherlands in September 1994. ESA is the premier European conference on al ...mehr
»In der Regel sind Probleme, mit denen man in seiner Gegenwart konfrontiert ist, gar nicht so neu, wie man fürchtet, und oft fürchtet man sie nur, weil man sie für neu hält.«
Atlas der Sternenhimmel und Schöpfungsmythen der Menschheit
Untertitel
Beschreibung
Ein einzigartiges Buchprojekt: Raoul Schrotts großer Atlas der Sternenhimmel ermöglicht einen vollkommen neuen Blick auf die Menschheit und ihre weit zurückreichende Geschichte.
„Höchst anregend … jedes Kapitel fragt nach den Bedingungen, die ein freies Leben erst möglich machen, und ist als Ermutigung gedacht: Es liegt in unserer Hand.“
Philosophie Magazin, Elisa Primavera-Levy