Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
-
Deep Learning with Python: A Hands-on Introduction (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Deductive Software Verification – The KeY Book: From Theory to Practice (Bog, Paperback / softback, Engelsk)
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-proceedings of the 10th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Database and Expert Systems Applications: 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
This two volume set LNCS 10438 and LNCS 10439 constitutes the refereed... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Database and Expert Systems Applications: 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
This two volume set LNCS 10438 and LNCS 10439 constitutes the refereed... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Datalog in Academia and Industry: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the Second International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Cryptography and Coding: 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 15th IMA International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Correct System Design: Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Conversations with a Mathematician: Math, Art, Science and the Limits of Reason (Bog, Paperback / softback, Engelsk)
A collection of his most wide-ranging and non-technical lectures and interviews
Levering: Skaffevare (forvent 14 - 30 hverdage)
