Saxo Access
Indkøbskurv

UMC

Vis søgefilter

Vis mig kun

Automatic Tuning of Compilers Using Machine Learning

Automatic Tuning of Compilers Using Machine Learning

Silvano, Cristina

436,85 DKK

Programming Language Concepts

Programming Language Concepts

Sestoft, Peter

403,64 DKK

Requirements Engineering: Foundation for Software Quality

Requirements Engineering: Foundation for Software Quality

Dalpiaz, Fabiano

436,85 DKK

On the Move to Meaningful Internet Systems. OTM 2017 Workshops

On the Move to Meaningful Internet Systems. OTM 2017 Workshops

Meersman, Robert

436,85 DKK

Programming Language Concepts

Programming Language Concepts

Sestoft, Peter

403,64 DKK

Foundational Java

Foundational Java

Parsons, David

473,39 DKK

Deductive Software Verification - The KeY Book

Deductive Software Verification - The KeY Book

Ulbrich, Mattias

948,41 DKK

Foundational Java

Foundational Java

Parsons, David

473,39 DKK

Foundations of Programming Languages

Foundations of Programming Languages

Lee, Kent D.

403,64 DKK

Formalizing Data-Centric Web Services

Formalizing Data-Centric Web Services

Saleh, Iman

436,85 DKK

Integrated Formal Methods

Integrated Formal Methods

Huisman, Marieke

656,09 DKK

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Mahony, Brendan

436,85 DKK

Programming with Scala

Programming with Scala

Upadhyaya, Bhim P.

403,64 DKK

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Gudemann, Matthias

403,64 DKK

AIxIA 2020 - Advances in Artificial Intelligence

AIxIA 2020 - Advances in Artificial Intelligence

Bandini, Stefania

802,25 DKK

Python Workbook

Python Workbook

Stephenson, Ben

403,64 DKK

Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Zhang, Zili

436,85 DKK

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Nickovic, Dejan

436,85 DKK

Programming Languages and Systems

Programming Languages and Systems

Shan, Chung-chien

436,85 DKK

String Analysis for Software Verification and Security

String Analysis for Software Verification and Security

Aydin, Abdulbaki

509,93 DKK

Application and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and Concurrency

Kindler, Ekkart

436,85 DKK

AI*IA 2017 Advances in Artificial Intelligence

AI*IA 2017 Advances in Artificial Intelligence

Lisi, Francesca A.

436,85 DKK

Static Analysis

Static Analysis

Seidl, Helmut

436,85 DKK

Unifying Theories of Programming

Unifying Theories of Programming

Zhu, Huibiao

436,85 DKK

AI*IA 2017 Advances in Artificial Intelligence

AI*IA 2017 Advances in Artificial Intelligence

Lisi, Francesca A.

436,85 DKK

Model Checking Software

Model Checking Software

Geldenhuys, Jaco

436,85 DKK

PRIMA 2017: Principles and Practice of Multi-Agent Systems

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Torre, Leendert van der

436,85 DKK

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

Olveczky, Peter Csaba

436,85 DKK

Application and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and Concurrency

Valmari, Antti

436,85 DKK

Unifying Theories of Programming

Unifying Theories of Programming

Zhu, Huibiao

436,85 DKK