UMC

Vis mig kun

Computational Intelligence. Theory and Applications

Computational Intelligence. Theory and Applications

Reusch, Bernd

875,33 DKK

CASL User Manual

CASL User Manual

Mosses, Peter D.

436,85 DKK

New Frontiers in Artificial Intelligence

New Frontiers in Artificial Intelligence

McCready, Elin

436,85 DKK

Python 3 - Intensivkurs

Python 3 - Intensivkurs

Pilgrim, Mark

317,82 DKK

Automated Deduction - CADE-18

Automated Deduction - CADE-18

Voronkov, Andrei

436,85 DKK

Temporal Logic and State Systems

Temporal Logic and State Systems

Merz, Stephan

509,93 DKK

Mathematics of Program Construction

Mathematics of Program Construction

Uustalu, Tarmo

436,85 DKK

Java für IT-Berufe

Java für IT-Berufe

Matthaus, Wolf-Gert

223,05 DKK

Integrated Formal Methods

Integrated Formal Methods

Winter, Kirsten

436,85 DKK

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Miculan, Marino

436,85 DKK

Profikurs Eclipse 3

Profikurs Eclipse 3

Wolmeringer, Gottfried

322,59 DKK

Automated Deduction - CADE-19

Automated Deduction - CADE-19

Baader, Franz

436,85 DKK

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Bouyer, Patricia

436,85 DKK

Haskell-Intensivkurs

Haskell-Intensivkurs

Neumann, Adrian

223,05 DKK

Unifying Theories of Programming

Unifying Theories of Programming

Feliachi, Abderrahmane

403,64 DKK

Conceptual Structures: From Information to Intelligence

Conceptual Structures: From Information to Intelligence

Lukose, Dickson

436,85 DKK

Visual Basic für technische Anwendungen

Visual Basic für technische Anwendungen

Radel, Jurgen

322,59 DKK

Objektorientierte Software-Entwicklung am Beispiel von ET++

Objektorientierte Software-Entwicklung am Beispiel von ET++

Gamma, Erich

295,53 DKK

Computational Logic

Computational Logic

Schwichtenberg, Helmut

1240,73 DKK

Programmiersprachen und Programmentwicklung

Programmiersprachen und Programmentwicklung

Ammann, U.

343,95 DKK

Using Microsoft Dynamics AX 2012

Using Microsoft Dynamics AX 2012

Luszczak, Andreas

322,59 DKK

Assembler I

Assembler I

Umhauer, G.

322,59 DKK

Interactive Theorem Proving

Interactive Theorem Proving

Mahboubi, Assia

802,25 DKK

Grafikprogrammierung mit Turbo Pascal 6.0

Grafikprogrammierung mit Turbo Pascal 6.0

Bartel, Andreas

265,81 DKK

Logic Programming and Databases

Logic Programming and Databases

Tanca, Letizia

619,55 DKK

Monotonicity in Logic and Language

Monotonicity in Logic and Language

Westerstahl, Dag

583,01 DKK

Scalable Uncertainty Management

Scalable Uncertainty Management

Greco, Sergio

436,85 DKK

Formal Methods for Components and Objects

Formal Methods for Components and Objects

Roever, Willem-Paul de

436,85 DKK

Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

Ingolfsdottir, Anna

436,85 DKK

Algebraic Foundations in Computer Science

Algebraic Foundations in Computer Science

Rahonis, George

436,85 DKK