Saxo Access
Indkøbskurv

Computing and Information Technology > Computer programming / software engineering

Vis søgefilter

Vis mig kun

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Wirsing, Martin

436,85 DKK

Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation

Hill, Patricia M.

436,85 DKK

Conceptual Modeling - ER 2009

Conceptual Modeling - ER 2009

Oliverira, Jose Palazzo M. de

875,33 DKK

Makroprogrammierung mit QUATTRO PRO 3.0

Makroprogrammierung mit QUATTRO PRO 3.0

Sielhorst, Gerhard

337,32 DKK

Functional and Logic Programming

Functional and Logic Programming

Sato, Taisuke

436,85 DKK

Language and Automata Theory and Applications

Language and Automata Theory and Applications

Fernau, Henning

436,85 DKK

Generic and Indexed Programming

Generic and Indexed Programming

Gibbons, Jeremy

403,64 DKK

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Rybalchenko, Andrey

436,85 DKK

Advances in the Design of Symbolic Computation Systems

Advances in the Design of Symbolic Computation Systems

Temperini, Marco

875,33 DKK

Integrated Formal Methods

Integrated Formal Methods

Treharne, Helen

436,85 DKK

From Object-Orientation to Formal Methods

From Object-Orientation to Formal Methods

Lyche, Tom

436,85 DKK

Model-Based Engineering of Embedded Real-Time Systems

Model-Based Engineering of Embedded Real-Time Systems

Schatz, Bernhard

436,85 DKK

Logic Programming

Logic Programming

Niemela, Ilkka

436,85 DKK

Perspectives of Systems Informatics

Perspectives of Systems Informatics

Voronkov, Andrei

436,85 DKK

Static Analysis

Static Analysis

Vidal-Oriola, German

436,85 DKK

Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues

Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues

Jo, Kang-Hyun

1459,97 DKK

Progress in Artificial Intelligence

Progress in Artificial Intelligence

Machado, Jose Manuel

875,33 DKK

Conceptual Modeling - ER 2011

Conceptual Modeling - ER 2011

Ling, Tok Wang

436,85 DKK

Coordination Models and Languages

Coordination Models and Languages

Vitek, Jan

436,85 DKK

Programmieren lernen mit Python und JavaScript

Programmieren lernen mit Python und JavaScript

Zuckarelli, Joachim L.

295,53 DKK

Functional and Logic Programming

Functional and Logic Programming

Rodriquez-Artalejo, Mario

436,85 DKK

Consolidated Ada Reference Manual

Consolidated Ada Reference Manual

Ploedereder, Erhard

436,85 DKK

Integrated Formal Methods

Integrated Formal Methods

Stoddart, Bill

436,85 DKK

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Tripakis, Stavros

436,85 DKK

High Performance Computing

High Performance Computing

Shimasaki, Masaaki

875,33 DKK

Adaptive and Natural Computing Algorithms

Adaptive and Natural Computing Algorithms

Ster, Branko

436,85 DKK

Modular Specification and Verification of Object-Oriented Programs

Modular Specification and Verification of Object-Oriented Programs

Muller, Peter

436,85 DKK

SQL-Datenbanken

SQL-Datenbanken

Daues, Gerhard

343,95 DKK

Logic Programming

Logic Programming

Warren, David S.

436,85 DKK

Parallel Problem Solving from Nature - PPSN IX

Parallel Problem Solving from Nature - PPSN IX

Yao, Xin

875,33 DKK