Bibliothek GRK 334 | |||
Autor | Titel | ||
Abadi, M./Cardelli, L. | A Theory of Objects | ||
Abiteboul, S. | Data on the Web | ||
Abramsky/Gabbay/Maibaum | Handbook of Logic in Computer Science, | ||
Semantic Structures, Vol. 3 | |||
Abramsky/Gabbay/Maibaum | Handbook of Logic in Computer Science, | ||
Semantic Structures, Vol. 4 | |||
Abramsky/Gabbay/Maibaum | Handbook of Logic in Computer Science, | ||
Logic and Algebraic Methods, Vol. 5 | |||
Abrial/Börger/Langmaak (Eds.) | 2x | Formal Methods for Industrial Applications | |
Ackermann/Webelhuth | A Theory of Predicates | ||
Adamek, J. | Theory of Mathematical Structures | ||
Almeida, J. | Finite Semigroups and Universal Algebra | ||
Amadio, R./Curien, P.-L. | Domains and Lambda-Calculie | ||
Appel, A. W. | Modern Compiler Inplementation im MC | ||
Apt, K. R. | From Logic Programming to Prolog | ||
Apt, K. R./Olderog, E.-R. | Verification of Sequential and Concurrent Programs | ||
Asperti, A./Longo, G. | Categories, Types and Structures | ||
Astesiano/Kreowski/Krieg-Brückner | Algebraic Foundations of Systems Specification | ||
Aubert, G./Kornprobst, P. | Mathematical Problems in Image Processing | ||
Baader, F./Nipkow, T. | Term Rewriting and All That | ||
Barr, M./Wells, C. | Category Theory for Computing Science | ||
Barwise, J./Moss, L. | 2x | Vicious Circles | |
Barwise, J./Seligman, J. | Information Flow | ||
Bérard, B., Bidoit, M., .... | Systems and Software Verification | ||
Berger, U./Schwichtenberg, H. | Computational Logic | ||
Berstel, J. | Transductions and Context-Fee Languages | ||
Berstel, J./Reutenauer, C. | 3x | Rational Series and Their Languages | |
Bird, R./de Moor | 2x | Algebra of Programming | |
Borges/Elser/Schumacher | Office 2000 | ||
Bündgen, R. | Termersetzungssysteme | ||
Bundy, A. | Artifical Intelligence Techniques | ||
Castagna, G. | Object-oriented-Programming | ||
Crole, R. L. | Categories for Types | ||
Cutland, N. J. | Computability, An introduction to recursive function theory | ||
Dangel, D. | Star Office 5.1 | ||
Deransart, P./Maluszynski, J. | A Grammatical View of Logic Programming | ||
Diekert, V./Rozenberg, G. | 2x | The Book of Traces | |
Ebbinghaus, H.D./Flum, J. | Finite Model Theory | ||
Ehrig/Mahr/Cornelius/... | Mathematisch-strukturelle Grundlagen der Informatik | ||
Fitting, M. | First-Order Logic and Automated Theorem Proving | ||
Fülöp, Z./Vogler, H. | 2x | Syntax-Directed Semantics | |
Gabbay/Hogger/Robinson | Handbook of Logic in Artifical Intelligence and Logic Progr., | ||
Logical Foundations, Vol. 1 | |||
Gabbay/Hogger/Robinson | Handbook of Logic in Artifical Intelligence and Logic Progr., | ||
Logik Programming , Vol. 5 | |||
Ganter, B./Wille, R. | 2x | Formal Concept Analysis | |
Ganter, B./Wille, R. | Formale Begriffsanalyse | ||
Girard, J.-Y. | Proof Theory and Logical Complexity | ||
Godefroid, P. | 2x | Partial-Order Methods for the Verification of Current Systems | |
Golan, J. S. | 2x | Semirings and their Applications | |
Goldblatt, R. | Mathematics of Modality | ||
Goldblatt, R. | Logics of Time and Computation | ||
Goossens/Mittelbach/Samarin | The LATEX Companion | ||
Goossens/Mittelbach/Samarin | Der LATEX Begleiter | ||
Goossens/... | LaTex Graphics Companion | ||
Goossens/... | The latex web companion | ||
Grillet, P. A. | Semigroups, An Introduction to the Structure Theory | ||
Herrmann, J. | Maschinelles Lernen u. Wissensbasierte Systeme | ||
Hindley, R. | Basic Simple Type Theory | ||
Huth, M./Ryan M. | Logic in Computer Science: Modelling and reasoning about S. | ||
Ihringer, T. | Allgemeine Algebra | ||
Ito, Kiyosi (Ed.) | Encyclopedic Dictionary of Mathematics Vol. I | ||
Ito, Kiyosi (Ed.) | Encyclopedic Dictionary of Mathematics Vol. II | ||
Ito, Masami | Algebraic Theory of Automata and Languages | ||
Jacobs, B. | 2x | Categorical Logic and Type Theory | |
Jänich, K. | Lineare Algebra | ||
Jensen, K. | Coloured Petri Nets | ||
Khoussainov, B./Nerode, A. | 4x | Automata Theory and its Applications | |
Knuth, D. | Digital Typography | ||
Kopka, H. | 3x | Latex Band 1 | |
Kopka, H. | 2x | Latex Band 2 | |
Kopka, H. | Latex Band 3 | ||
Kozen, D. C. | 2x | Automata and Computability | |
Kung, J. (Ed.) | Gian-Carlo Rota on Combinatories | ||
Kuskilevitz, E./Nisan, N. | Communication Complexity | ||
Loeckx/Ehrich/Wolf | 2x | Specification of Abstract Data Types | |
Luca, A. de/Varricchio, S. | 2x | Finiteness and Regularity in Semigroups and Formal Lang. | |
Lynch, N. A. | Distributed Algorithms | ||
McCarthy, J. | Defending AI Research | ||
Meduna, A. | Automata and Languages | ||
Milner, R. | Communication and Concurrency | ||
Morvan/Meinel/Krob | STACS 98 | ||
Nielsen, M./Thomas, W. | Computer Science Logic | ||
Nipkow, T. | Rewriting Techniques and Applications | ||
Peled/Vaughan/Holzmann | Partial Order Methods in Verification | ||
Pepper, P. | Funktionale Programmierung | ||
Plasmeijer, R./van Eekelen, M. | Functional Programming and Parallel Graph Rewriting | ||
Pumplün, D. | Elemente der Kategorientheorie | ||
Reisig, W. | Elements of Distributed Algorithms | ||
Restall, G. | An Introduction to Substructural Logics | ||
Rozenberg, G. | Handbook of Graph Grammars and Computing by Graph | ||
Transformation | |||
Rozenberg, G./Salomaa, A. | Handbook of Formal Languages, Vol. 1 | ||
Rozenberg, G./Salomaa, A. | Handbook of Formal Languages, Vol. 2 | ||
Rozenberg, G./Salomaa, A. | 2x | Handbook of Formal Languages, Vol. 3 | |
Salomaa, A./Woods, D./Yu, S. | A half-century of automata theory | ||
Shields, M. W. | Semantics of Parallelism | ||
Simovici, R./Tenney, R. | Theory of formal languages with applications | ||
Skillicorn, D. | Foundation of Parallel Programming | ||
Slonneger, K./Kurtz, B. | Formal Syntax and Semantics of programming Languages | ||
Smith, E. | Elementare Berechenbarkeitstheorie | ||
Smolka, G. | Principles and Practice of Constraint Programming CP97 | ||
Spanier, E.-H. | Algebraic Topology | ||
Starke, P. | Analyse von Petri-Netz-Modellen | ||
Sterling, L./Shapiro, E. | The Art of Prolog | ||
Stirling, C. | 2x | Modal and Temporal Properties of Processes | |
Straubing, H. | Finite Automata, Formal Logic and Circuit Complexity | ||
Taylor, P. | 2x | Practical Foundations of Mathematics | |
Tel, G. | Distributed Algorithms | ||
Thomson, S. | Haskell | ||
Troelstra, A. S./Schwichtenberg, H. | 2x | Basic Proof Theory | |
Ungar, A. M. | Normalization, Cut-Elimination and the Theory of Proofs | ||
Wang, J. | Timed Petri Nets | ||
Wegener, I. | Branching Programs and Binary Decision Diagrams | ||