Bibliothek GRK 334
Autor Titel
Abadi, M./Cardelli, L.
A Theory of Objects
Abiteboul, S.
Data on the Web
Handbook of Logic in Computer Science,

Semantic Structures, Vol. 3
Handbook of Logic in Computer Science,

Semantic Structures, Vol. 4
Handbook of Logic in Computer Science,

Logic and Algebraic Methods, Vol. 5
Abrial/Börger/Langmaak (Eds.) 2x Formal Methods for Industrial Applications
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
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
Office 2000
Bündgen, R.
Bundy, A.
Artifical Intelligence Techniques
Castagna, G.
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
Mathematisch-strukturelle Grundlagen der Informatik
Fitting, M.
First-Order Logic and Automated Theorem Proving
Fülöp, Z./Vogler, H. 2x Syntax-Directed Semantics
Handbook of Logic in Artifical Intelligence and Logic Progr.,

Logical Foundations, Vol. 1
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
The LATEX Companion
Der LATEX Begleiter
LaTex Graphics Companion
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
Nielsen, M./Thomas, W.
Computer Science Logic
Nipkow, T.
Rewriting Techniques and Applications
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

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