Saxo Access
Indkøbskurv

UMC

Vis søgefilter

Vis mig kun

Modern X86 Assembly Language Programming

Modern X86 Assembly Language Programming

Kusswurm, Daniel

436,85 DKK

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Nielson, Flemming

260,50 DKK

Models of Computation

Models of Computation

Fernandez, Maribel

260,50 DKK

Scientific Data Analysis using Jython Scripting and Java

Scientific Data Analysis using Jython Scripting and Java

Chekanov, Sergei V.

436,85 DKK

Introduction to Software Design with Java

Introduction to Software Design with Java

Robillard, Martin P.

436,85 DKK

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Wang, Chao

436,85 DKK

Symposium on Real-Time and Hybrid Systems

Symposium on Real-Time and Hybrid Systems

Zhan, Naijun

436,85 DKK

Python Workbook

Python Workbook

Stephenson, Ben

403,64 DKK

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Willemse, Tim

436,85 DKK

Answer Set Programming

Answer Set Programming

Lifschitz, Vladimir

473,39 DKK

Requirements Engineering: Foundation for Software Quality

Requirements Engineering: Foundation for Software Quality

Goedicke, Michael

583,01 DKK

Tests and Proofs

Tests and Proofs

Wehrheim, Heike

436,85 DKK

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Willemse, Tim

436,85 DKK

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Wang, Chao

436,85 DKK

Theoretical Aspects of Computing - ICTAC 2018

Theoretical Aspects of Computing - ICTAC 2018

Uustalu, Tarmo

656,09 DKK

Symposium on Real-Time and Hybrid Systems

Symposium on Real-Time and Hybrid Systems

Zhan, Naijun

436,85 DKK

Beginners Guide to Python 3 Programming

Beginners Guide to Python 3 Programming

Hunt, John

329,95 DKK

PRICAI 2019: Trends in Artificial Intelligence

PRICAI 2019: Trends in Artificial Intelligence

Sharma, Alok

436,85 DKK

Tests and Proofs

Tests and Proofs

Keller, Chantal

436,85 DKK

On the Move to Meaningful Internet Systems: OTM 2019 Conferences

On the Move to Meaningful Internet Systems: OTM 2019 Conferences

Meersman, Robert

802,25 DKK

Advanced Guide to Python 3 Programming

Advanced Guide to Python 3 Programming

Hunt, John

509,93 DKK

Advanced Guide to Python 3 Programming

Advanced Guide to Python 3 Programming

Hunt, John

509,93 DKK

Tests and Proofs

Tests and Proofs

Keller, Chantal

436,85 DKK

Automatic Tuning of Compilers Using Machine Learning

Automatic Tuning of Compilers Using Machine Learning

Silvano, Cristina

436,85 DKK

Intelligent Computer Mathematics

Intelligent Computer Mathematics

Tompa, Frank

359,43 DKK

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Salaun, Gwen

436,85 DKK

Computational Logic in Multi-Agent Systems

Computational Logic in Multi-Agent Systems

Vasconcelos, Wamberto

403,64 DKK

Introduction to Software Design with Java

Introduction to Software Design with Java

Robillard, Martin P.

403,64 DKK

Perspectives of System Informatics

Perspectives of System Informatics

Voronkov, Andrei

436,85 DKK

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

Olveczky, Peter Csaba

436,85 DKK