Saxo Access
Indkøbskurv

UMC

Vis søgefilter

Vis mig kun

Radical Innovations of Software and Systems Engineering in the Future

Radical Innovations of Software and Systems Engineering in the Future

Balsamo, Simonetta

436,85 DKK

Abstract State Machines - Theory and Applications

Abstract State Machines - Theory and Applications

Thiele, Lothar

436,85 DKK

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Levi, Giorgio

436,85 DKK

Intelligent Computer Mathematics

Intelligent Computer Mathematics

Teschke, Olaf

436,85 DKK

Machine Learning and Data Mining in Pattern Recognition

Machine Learning and Data Mining in Pattern Recognition

Perner, Petra

875,33 DKK

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Pezze, Mauro

436,85 DKK

Grundkurs Socketprogrammierung mit C unter Linux

Grundkurs Socketprogrammierung mit C unter Linux

Pollakowski, Martin

322,59 DKK

Java ist eine Sprache

Java ist eine Sprache

Grude, Ulrich

223,05 DKK

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Inverardi, Paola

436,85 DKK

Programmierung mit PASCAL

Programmierung mit PASCAL

Widmayer, Peter

322,59 DKK

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Ziv, Avi

436,85 DKK

In Search of Elegance in the Theory and Practice of Computation

In Search of Elegance in the Theory and Practice of Computation

Fourman, Michael

436,85 DKK

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Mukhopadhyay, Supratik

436,85 DKK

Software-Entwurf mit UML 2

Software-Entwurf mit UML 2

Gudenberg, Jurgen Wolff von

509,93 DKK

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Varro, Daniel

436,85 DKK

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Cortesi, Agostino

436,85 DKK

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Namjoshi, Kedar S.

436,85 DKK

Reliable Software Technologies -- Ada-Europe 2013

Reliable Software Technologies -- Ada-Europe 2013

Klenk, Herbert

403,64 DKK

Middleware in Java

Middleware in Java

Mathes, Markus

238,03 DKK

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Zuck, Leonore D.

436,85 DKK

Formal Approaches to Software Testing

Formal Approaches to Software Testing

Ulrich, Andreas

436,85 DKK

Grammatical Inference: Algorithms and Applications

Grammatical Inference: Algorithms and Applications

Zaanen, Menno van

436,85 DKK

Compiling Natural Semantics

Compiling Natural Semantics

Pettersson, Mikael

436,85 DKK

Grundkurs MySQL und PHP

Grundkurs MySQL und PHP

Pollakowski, Martin

322,59 DKK

Rewriting Techniques and Applications

Rewriting Techniques and Applications

Rusinowitch, Michael

436,85 DKK

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Jackson, Paul B.

436,85 DKK

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Walukiewicz, Igor

436,85 DKK

Compiler Construction

Compiler Construction

Bodik, Rastislav

436,85 DKK

Rough Sets and Current Trends in Computing

Rough Sets and Current Trends in Computing

Ziarko, Wojciech P.

436,85 DKK

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Maibaum, Tom

436,85 DKK