UMC

Vis mig kun

Foundations of Logic Programming

Foundations of Logic Programming

Lloyd, J. W.

692,63 DKK

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Steffen, Bernhard

436,85 DKK

Informatik

Informatik

Goos, G.

322,59 DKK

Model Checking Software

Model Checking Software

Dwyer, Matthew

436,85 DKK

UNIX-Werkzeuge zur Textmusterverarbeitung

UNIX-Werkzeuge zur Textmusterverarbeitung

Staubach, Gottfried

295,53 DKK

Abstract State Machines, B and Z

Abstract State Machines, B and Z

Boca, Paul

436,85 DKK

Software Language Engineering

Software Language Engineering

Amann, Uwe

436,85 DKK

Programmieren mit JAVA

Programmieren mit JAVA

Schmiedecke, Ilse

322,59 DKK

LISP

LISP

Gorz, Gunter

337,32 DKK

Modeling and Using Context

Modeling and Using Context

Young, Roger A.

436,85 DKK

Computational Processing of the Portuguese Language

Computational Processing of the Portuguese Language

Lima, Vera Lucia Strube de

436,85 DKK

Functional and Constraint Logic Programming

Functional and Constraint Logic Programming

Kuchen, Herbert

436,85 DKK

OpenMP

OpenMP

Lienhart, Rainer

96,50 DKK

SPIN Model Checking and Software Verification

SPIN Model Checking and Software Verification

Visser, Willem

436,85 DKK

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Merino, Pedro

436,85 DKK

Logic, Language, and Computation

Logic, Language, and Computation

Lang, Jerome

436,85 DKK

Programmieren mit JAVA

Programmieren mit JAVA

Schmiedecke, Ilse

322,59 DKK

Term Rewriting and Applications

Term Rewriting and Applications

Baader, Franz

436,85 DKK

Interacting Code Motion Transformations: Their Impact and Their Complexity

Interacting Code Motion Transformations: Their Impact and Their Complexity

Ruthing, Oliver

436,85 DKK

Software and Data Technologies

Software and Data Technologies

Shishkov, Boris

436,85 DKK

Programmiersprachen und Programmentwicklung

Programmiersprachen und Programmentwicklung

Hoffmann, H.-J.

343,95 DKK

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Pretschner, Alexander

436,85 DKK

Formal Methods at the Crossroads. From Panacea to Foundational Support

Formal Methods at the Crossroads. From Panacea to Foundational Support

Maibaum, Tom

436,85 DKK

Programmieren in Smalltalk mit VisualWorks®

Programmieren in Smalltalk mit VisualWorks®

Lachmann, Matthias F.

337,32 DKK

Basic

Basic

Arndt, B.

337,32 DKK

Grundkurs Algorithmen und Datenstrukturen

Grundkurs Algorithmen und Datenstrukturen

Grude, Ulrich

322,59 DKK

Grammatical Inference: Algorithms and Applications

Grammatical Inference: Algorithms and Applications

Sakakibara, Yasubumi

436,85 DKK

Perspectives of System Informatics

Perspectives of System Informatics

Virbitskaite, Irina

436,85 DKK

Formal Methods: Applications and Technology

Formal Methods: Applications and Technology

Pol, Jaco van de

436,85 DKK

Grundkurs C++ in Beispielen

Grundkurs C++ in Beispielen

Herrmann, Dietmar

265,81 DKK