Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
-
Transactions on Computational Science XXIV: Special Issue on Reversible Computing (Bog, Paperback / softback, Engelsk)
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Algorithms for Sensor Systems: 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
The papers cover a wide range of topics including program verification,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
The Message of Quantum Science: Attempts Towards a Synthesis (Bog, Paperback / softback, Engelsk)
The Message of Quantum Science
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Grundkurs Theoretische Informatik: Mit Aufgaben und Anwendungen (Bog, Paperback / softback, Tysk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Transactions on Rough Sets XIX (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Mathematik der Quanteninformatik: Eine Einfuhrung (Bog, Paperback / softback, Tysk)
Dieses Buch stellt die elementaren mathematischen Aspekte in der Quanteninformatik im strikten Formalismus der Mathematik dar. Mit diesem Instrumentarium werden dann die Grundsätzen der Quantenmechanik formuliert und die für die Quanteninformatik relevanten Aspekte erläutert.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
LATIN 2016: Theoretical Informatics: 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceeding (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Mathematik fur Informatiker: Grundlagen und Anwendungen (Bog, Paperback / softback, Tysk)
Die Begriffe und wichtigsten Aussagen der linearen Algebra werden prägnant zusammengestellt und auf verschiedene Fragestellungen aus der Informatik... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Natural Computing Algorithms (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
