for at udvide
kategorilisten.
Softwareudvikling
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
-
Introduction to Geometric Computing (Bog, Paperback / softback, Engelsk)
What may not be clear to individual programmers is that these design decisions have already been contemplated by others who have gone down some system design path only to discover (usually much later) that the design decisions that were made were lacking in some respect.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 16th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Progress in Artificial Intelligence: 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Advances in Cryptology – EUROCRYPT 2018: 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Distributed Applications and Interoperable Systems: 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proc (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 18th IFIP International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
Areas of interest include mathematical and philosophical logic, computer science logic, foundations... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Securing Systems: Applied Security Architecture and Threat Models (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
