Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
-
DNA Computing and Molecular Programming: 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 23th International Conference on DNA Computing and Molecular Programming, DNA 23, held Austin, TX, USA, in September 2017.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Discrete Optimization and Operations Research: 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 9th International Conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Discrete Geometry for Computer Imagery: 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings (Bog, Paperback / softback, Engelsk)
Thisbook constitutes the refereed proceedings of the 19th IAPR... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Discrete Geometry for Computer Imagery: 18th IAPR International Conference, DGCI 2014, Siena, Italy, September 10-12, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
The papers are organized in topical sections on Models for Discrete... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Diagrammatic Representation and Inference: 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 8th International Conference on the Theory and Application of Diagrams, Diagrams 2014, held in Melbourne, VIC, Australia in July/August 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Developments in Language Theory: 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 20th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 17th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Bog, Paperback / softback, Engelsk)
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Design, User Experience, and Usability: Web, Mobile, and Product Design: Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Designing the Digital Transformation: 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 12th International Conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Descriptional Complexity of Formal Systems: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 19th International Conference on Descriptional Complexity of Formal Systems, DCFS 2017, held in Milano, Italy, in July 2017.
Levering: Skaffevare (forvent 14 - 30 hverdage)
