Dansk
UMC
Vis søgefilter Nulstil
PASCAL for Programmers
Sadler, C.436,85 DKK
Formal Engineering for Industrial Software Development
Liu, Shaoying436,85 DKK
Assembler I
Umhauer, Gerd F.322,59 DKK
Assembler II
Umhauer, Gerd F.322,59 DKK
Types for Proofs and Programs
McBride, Conor436,85 DKK
Hardware and Software: Verification and Testing
Vos, Tanja403,64 DKK
Java-Intensivkurs
Block, Marco192,41 DKK
Assembler II
Umhauer, Gerd F.295,53 DKK
Visual Basic für technische Anwendungen
Radel, Jurgen322,59 DKK
Programmierumgebungen: Entwicklungswerkzeuge und Programmiersprachen
Remmele, W.343,95 DKK
Formal Methods and Software Engineering
Woodcock, Jim875,33 DKK
Compiler Construction
Odersky, Martin436,85 DKK
Theorem Proving in Higher Order Logics
Harrison, John436,85 DKK
Grundkurs Algorithmen und Datenstrukturen
Solymosi, Andreas322,59 DKK
Verification of Object-Oriented Software. The KeY Approach
Schmitt, Peter H.875,33 DKK
Fundamental Approaches to Software Engineering
Finance, Jean-Pierre436,85 DKK
Modeling and Using Context
Castellani, Francesca436,85 DKK
Fundamental Approaches to Software Engineering
Weber, Herbert436,85 DKK
Types for Proofs and Programs
Damiani, Ferruccio436,85 DKK
Formal Methods for Software Architectures
Inverardi, Paola436,85 DKK
Abstract State Machines 2003: Advances in Theory and Practice
Riccobene, Elvinia436,85 DKK
Assembler III
Umhauer, Gerd F.322,59 DKK
FM'99 - Formal Methods
Davies, Jim875,33 DKK
Interactive Theorem Proving
Mahboubi, Assia802,25 DKK
Computational Intelligence. Theory and Applications
Reusch, Bernd875,33 DKK
CASL User Manual
Mosses, Peter D.436,85 DKK
New Frontiers in Artificial Intelligence
McCready, Elin436,85 DKK
Python 3 - Intensivkurs
Pilgrim, Mark317,82 DKK
Automated Deduction - CADE-18
Voronkov, Andrei436,85 DKK
Temporal Logic and State Systems
Merz, Stephan509,93 DKK
Mathematics of Program Construction
Uustalu, Tarmo436,85 DKK
Java für IT-Berufe
Matthaus, Wolf-Gert223,05 DKK
Integrated Formal Methods
Winter, Kirsten436,85 DKK
Foundations of Software Science and Computation Structures
Miculan, Marino436,85 DKK
Profikurs Eclipse 3
Wolmeringer, Gottfried322,59 DKK
Automated Deduction - CADE-19
Baader, Franz436,85 DKK