for at udvide
kategorilisten.
Matematisk datateori
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Numerical Methods and Optimization: A Consumer Guide (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Reliable Software Technologies – Ada-Europe 2014: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 19th Ada-Europe... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Intelligent Computing Theory: 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book – in conjunction with the volumes LNAI 8589 and LNBI 8590 – constitutes the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
The Life and Work of Leon Henkin: Essays on His Contributions (Bog, Paperback / softback, Engelsk)
This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods in Macro-Biology: First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the First International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer and Information Sciences: 31st International Symposium, ISCIS 2016, Krakow, Poland, October 27–28, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 31st International Symposium... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
All About Music: The Complete Ontology: Realities, Semiotics, Communication, and Embodiment (Bog, Hardback, Engelsk)
This book explains music’s comprehensive ontology, its way of existence and processing, as specified in its compact characterization: music embodies meaningful communication and mediates physically between its emotional and mental layers.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Advanced Finite Element Simulation with MSC Marc: Application of User Subroutines (Bog, Hardback, Engelsk)
This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 14th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Feferman on Foundations: Logic, Mathematics, Philosophy (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Similarity Search and Applications: 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 10th International Conference on Similarity Search and Applications, SISAP 2017, held in Munich, Germany, in October 2017. The 23 full papers presented were carefully reviewed and selected from 53 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage)
