| 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 | ||