Bibliothek Systemsoftware
Benutzer Paßwort

  7 Theoretische Informatik
Alle Bücher anzeigen
 
J. E. Hopcroft ,  R. Motwani ,  J.R. Ullmann :  Automata Theory, Languages, and Computation , 3rd Edition , [1878] , {21527} , <SSW>
P. Läuchli ,  E. Engeler :  Berechnungstheorie für Informatiker , [0914] , <CHE>
Ch.H. Papadimitriou :  Computational Complexity , [0916] , {16336} , <SSW>
D.S. Johnson ,  M. R. Garey :  Computers and Intractability , A Guide to the Theory of NP-Completeness , [0915] , {15664} , <SSW>
Edmund M. Clarke :  Model Checking , [1483] , <HP>
G. Winskel :  The Formal Semantics of Programming Languages , An Introduction , [0918] , {16335} , <SSW>
Gerard J. Holzmann :  The Spin Model Checker , Primer and Reference Manual , [1492] , <HP>
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 1 - 7 / 7