16.10.2006

Autor

Titel

Signatur

 

 

 

 

 

 

A

 

 

Abdelhamid R.

Das Vieweg Latex-Buch

QAA 821.L2/1992 A

Abouelhoda, M. M. M. Ibrahim

Dissertation: Algorithms and a Software System for Comparative….

 

Abramsky, S.

Handbook of Logic in Computer Science, Vol. 4

QAA 205/1992 Ab  4  Ex. 2

Abramsky, S.

Handbook of Logic in Computer Science, Vol 1

QAA 205/1992 Ab1

Abramsky, S.

Handbook of Logic in Computer Science, Vol. 3

QAA 205/1992 Ab  3  Ex. 2

Abramsky, S.

Handbook of Logic in Computer Science, Vol.2

QAA 205/1992 Ab 2

ACM Press

First Internat Confer. on Computat. Molecular Biology

QAA 158/1997 I

ACM Press

Second. Internat Confer. on Computat. Molecular Biology

QAA 1581998 I

Adams, Mark D. et al (eds.)

Automated DNA Sequencing and Analysis

QAA 920/1994 A

Adobe Systems Inc.

PostScript Language, Tutorial and Cookbook

QAA 821.P7/1985 A

Adobe Systems Inc.

PostScript Language, Program Design

QAA 821.P7/1988 A

Adobe Systems Inc.

PostScript Language, Reference Manual

QAA 821.P7/1985 A

Aho, A.V.

Foundations of Computer Science

QAA 205/1992 A

Aho, A.V.

The design and analysis of computer algorithms

QAA 500/1974 A Ex. 4

Aigner, M.

Combinatorial Search

QA 164/1988 A Ex. 2

Aigner, M.

Diskrete Mathematik

QAA 51/1993 A Ex. 2

Aigner, M., Ziegler, G.

Das Buch der Beweise

QA 37/2002 A

Akl, S.G.

The design and analysis of parallel algorithms

QAA 220/1989 Ab

Albert, J.

Automaten, Sprachen und Maschinen für Anwender

QAA 215/1990 Ab Ex. 2

Alberts, B. et al.

Lehrbuch der Molekularen Zellbiologie

QAA 460/1999 A

Alberts, B. et al.

Molekularbiologie der Zelle

QAA 702/

Alon, N.

The Probabilistic Methods

QA 164/1992 A Ex. 2

Alsuwaiyel, M. H.

Algorithms: Design Techniques and Analysis

QAA 630/2000 A

Amble, T.

Logic programming and knowledge engineering

QAA 560/1987 A Ex. 2

Anderson,  Johannesson

Understanding Information Transmission

TK 5102.5/2005 A

Angel, Edward

Interactive Computer Graphics

QAA 702/2000 A

Anthony, M.

Computational learning theory

QAA 705/1992 A Ex. 3

Anthony, M., Biggs, N.

Computational learning theory

QAA 705/1997 A

Anthony, M.

Discrete Mathematics of Neural Networks

QAA 710/2001 A

Apostolico, A. et all

10th Annual Intern. Conference RECOMB 2006

 

Ash, R. B.

Information Theory

QAA 170/1990 A

ASK

Softwareführer ‘93/’94

QAA 500/1993 A

Asmussen, S.

Ruin Probabilities

QA 276.4/2000 A

Asser, J.

Einführung in die mathematische Logik I

QA 9/1976 Ab   1  , Ex. 2

Asser, J.

Einführung in die mathematische Logik II

QA 9/1976 Ab   2  , Ex. 2

Asser, J.

Einführung in die mathematische Logik III

QA 9/1976 Ab   3  , Ex. 2

Asteroth, A.

Theoretische Informatik

QAA 205/2002 A Ex.2

Atallah, M.J. (Ed.)

Algorithms and Theory of Computation Handbook

QA 76.9/1998 A

Ausiello, G.  et al.

Complexity and Approximation

QAA 220/1999 A

 

 

 

 

 

 

B

 

 

Baase, S.

Computer algorithms

QAA 220/1989 B

Baase, S., van Gelder, A.

Computer algorithms

QAA 220/2000 B

Bach, E. und Shallit, F.

Algorithmic Number Theory, Volume 1

QAA 51/1996 B 1

Bäck, T.

Evolutionary Algorithms in Theory and Practice

QAA 710/1996 Bc

Baeza-Yates, R., Ribeiro-Neto

Modern Information Retrieval

QAA 785/2006 B

Baignéres, T. Junod, P., Lu, Y…

A Classical Introduction to Cryptography Exercise Book

QAA 177/2006 B

Balcázar, J.

Structural Complexity I

QAA 220/1995 B1

Balcázar, J.

Structural complexity II

QAA 220/1988 Bb 2

Baldi, Pierre and S. Brunak

Bioinformatics: The machine learning approach

QAA 710/1998 B

Bamberg, G. and Baur, F.

Statistik

QA 276/2001 Bb

Banerji, R.B.

Formal Techniques in Artificial Intelligence

QAA 705/1990 B

Bang-Jensen,

Digraphs Theory, Algorithm and Application

QA 166.15/2002 B

Banzhaf et al

Genetic Programming

QAA 710/1998 B

Barnes, M.R., Gray, I.C.

Bioinformatics for Geneticists

 

Barthélemy, J.

Complexité algorithmique

QAA 220/1992 B

Barwise, J.

Mathematical Logic

QA 9/1993 B

Bastian, M.

Datenbanksysteme

QAA 640/1982 B

Bauer, F.L.

Entzifferte Geheimnisse: Methoden und Maximen...

QAA 177/1995 B Ex.2

Bauer, F.L.

Kryptologie

QAA 177/1994 B

Beame, Paul W. et al. (Eds.)

Proof Complexity and Feasible Arithmetics

QA 9.54/1997 B

Beckstein, C.

Zur Logik der Logik-Programmierung

QAA 206/1988 B Ex. 2

Behrends, E.

Introduction to Markov chains

QA 274.7/2000 B

Bemmel, J.H.

Medical Informatics

 

Bergadano, F.

Inductive Logic Programming

QAA 562/1996 B Ex. 2

Bergeron, B.

Bioinformatics Computing

QH 324.2/2003 Bc

Berlekamp, E

Gewinnen, Band 1-4

QA 95/1985 B

Berman, G. et al.

Introduction to Quantum Computers

QAA 460/1998 B

Bernardi, G., Salzberg, S.L.

Computational Methods in Molecular Biology

QH 506/1999 S

Beth, T.

Kryptographie

QAA 177/1983 B Ex. 2

Beutelspacher et al.

Moderne Verfahren der Kryptographie

QAA 177/1995 B

Beutelspacher, A.

Kryptologie

QAA 177/1996B

Beutelspacher et al.

Kryptografie in Theorie und Praxis

QAA 177/2005 B

Bird, R., Wadler

Introduction to Functional Programming using Haskell

QAA 561/1998 B Ex 2

Birkhäuser, Blurb

Progress Computer Science Vol. 19

second Ed.

Bishop, M.

Computer Security Art and Science

QAA 680/2004 B

Bishop, M.

Introduction to Computer security

QAA 680/2004 Bb

Blascheck, G. et al.

Einführung in die Programmierung mit Modula 2

QAA 592.M6/1987 B

Bläsius, K.

Deduktionssysteme

QAA 206/1992 B Ex. 3

Blöchl, B., Meyberg, C.

Repetitorium der Informatik

QAA 22/2003 B

Blum, L. et al.

Complexity and real computation

QAA 220/1997 B

Blum, Norbert

Algorithmen und Datenstrukturen

QAA 630/2004 B

Blum, Norbert

Theoretische Informatik

QAA 205/1998 B

Böckenhauer, H.-J.

Algorithmische Grundlagen der Bioinformatik

QH 324.2/2003 B

Book, R.V.

Studies in complexity theory

QAA 220/1986 B Ex. 2

Boppana, R. et al. (Eds).

Logic and Random Structures

QA 76.9/1997 B

Börger, Grädel, Gurevich

The Classical Decision Problem

QAA 206/1997 B

Bosi, M., Goldberg, R. E.

Introduction to Digital Audio Coding and standards

QAA 720/2003 B

Bossert, M., Breitbach, M.

Digitale Netze

TK 5103.7/1999 B Ex. 13

Bossert, M.

Kanalcodierung

QAA 177/1998 B

Bourne, P. E.

Structural Bioinformatics

QH 324.2/2003 Bb

Bovet, D.P.; P. Crescenzi

Introduction to complexity theory

QAA 220/1994 B

Brainerd, W.

Theory of computation

QAA 215/1974 Bb

Brassard, G.

Algorithmics theory and practice

QAA 220/1988 Bc Ex. 3

Brinkmann, A.

Sicherheitsanalyse von Public-Key Kryptosystemen

Dissertation/1991

Brown, T.A.

Genomes

QH 447/2002 B

Brown, T.A.

Gentechnologie für Einsteiger

QH 430/1996 B

Brown, T.A.

Moderne Genetik

QH 430/1999 B

Brualdi et al.

Combinatorial Matrix Theory

QA 188/ 1991

Brylinski, R.K, Chen, G.

Mathematics of Quantum Computation

QAA 460/2002 C

Buchmann,  Johannes

Einführung in die Kryptographie

QAA 177/2001 B

Bürgisser, P.

Algebraic Complexity Theory

QAA 220/1997 B Ex. 2

Buss, Sam

Bounded Arithmetic

QAA 206/1986 B

Buss, Samuel R.

3-D Computer Graphics

QAA 702/2003 B

 

 

 

 

 

 

C

 

 

Cai, J.-Y.

Advances in computational complexity theory

QAA 220/1993 Cb

Calude, Christian S.

Information and Randomness

QAA 215/2002 C

Calude, Christian S.

People & Ideas in Theoretical Computer Science

QAA 205/1998 C

Cámara, E.M.

Contributions to the Study of Resource-Bounded Measure

Dissertation!1994

Capilano Computing Systems

Logic Works

QAA 935/1994 C

Casella, G., Berger R.L.

Statistical Inference

QA 276/2002 C

Cerami, E.

XML for Bioinformatics

 

Chakrabarti, Soumen

Mining the web

QAA 640/2006 Cb

Chang Ch.L.

Symbolic logic and mechanical theorem proving

QAA 705/1990 Cc

Chaplain, M.A.J. et al.

Mathematical and Comp. Biology . On Growth and Form

QAA 920/1999 C

Chaplain, Singh, McLachlan

On Growth and Form: Spatio-temporal Patterning

QAA 920/1999 C

Chazelle, B.

The Discrepancy Method: Randomness and Complexity

QAA 220/ 2000 C

Christianini, N.

An Introduction to Support Vector Machines

QAA 705/2003 C

Christiansen, T.

Perl Cookbook

QAA 592.P3/2003 C

Chun, H.

Medical Informatics

QAA 855/2005 C

Chung, F. R. K.

Spectral Graph Theory

QA 166/1997 C

Clark, D. E.

Evolutionary Algorithmus in Molecular Design

QV 744/2000 C

Claussen, Ute

Programmieren mit Open GL

QAA 685/1997 C

Clocksin, W.F.

Programming in prolog

QAA 592.P7/1994 C Ex. 3

Clote P. und Backofen, R.

Computational Molecular Biology – An Introduction

QAA 920/2000 C

Clote, P.

Arithmetic, proof theory and computational complexity

QA 9.54/1993 C Ex. 2

Clote, P., Kranakis, E.

Boolean Functions and Computation Models

QAA 220/2002 C

Cohen, G. et al

Covering Codes

QAA 177/1997 C

Conover, W.J.

Practical Nonparametric Statistics

QA 278.8/1999 C

Cook, W. (et al)

Combinational Optimization

QAA 147/1998 C

Cormen, T. H.

Introduction to Algorithms

QAA 220/1990 C

Cormen, T. H.

Introduction to Algorithms

QAA 500/2001 C

Cornuéjols, Gérard

Combinatorial Optimization

QAA 147/2001 C

Cover, T.M.

Elements of Information Theory

QAA 170/1991 C Ex. 3

Coy, N.

Aufbau und Arbeitsweise von Rechenanlagen

QAA 340/1992 C

Crandall, Richard

Prime Numbers

QA 246/2001 C Ex. 2

Cvetkovic, D.M.

Spectra of Graphs

QA 166/1995 C

 

 

 

 

 

 

D

 

 

Davis, M.

Computability and unsolvability

QAA 215/1982 D Ex. 2

Davis, M.

Computability, complexity and languages

QAA 205/1994 D

Delfs

Introduction to Cryptography

QAA 177/2002 D

Denert, E. ; R. Franck

Datenstrukturen

QAA 630/1977 D

Deonier, R.C., Tavaré S.,

Waterman, M.

Computational Genome Analysis

QH 447/2005 D

Diekert, V., Habib, M.

STACS 2004 21th Annual Symposium

QAA 7/A 1.2996

Diestel. R.

Graphentheorie

QA 166/2000 D

Dietze,  Heuser,  Schilling,

Open Solaris

QAA 661.U5/2006 Db

Dietzfelbinger, M.

Primality Testing in Polynomial Time

QAA7/A1.3000

Diller, A.

Latex Line by Line

QAA 821.L2/1993 D

Ding, C. et al.

Chinese Remainder Theorem,applications in computing...

QAA 177 /1996 D

Ditchen, P.

Shell-Skript Programmierung

QAA 661.U5/2003 D

Dittmann

Digitale Wasserzeichen

QAA 177/2000 D

Domschke und Drexl

Einführung in Operations Research

QAA 145/1998 D

Döpp, Klemens

Berechenbarkeit und Unlösbarkeit

QAA 215/2000 D

Downey, R.

Aspects of Complexity

QAA 220/200Db

Downey, R.G., Fellows, M.R.

Parameterized Complexity

QAA220/1999D

Dowsing, R.

A first course in formal logic and ist application in CS

QAA 206/1994 D

Draghici, S.

Data Analysis Tools for DNA Microarrays

QP 624.5.D 726/2003 D

Du, D.; K.-I. Ko

Theory of Computational Complexity

QAA 220/2000 D

Du, Dingzhu et al. (Eds.)

Satisfiability Problem: Theory and Applications

QA 9.3/1997 D

Dugas, M., Schmidt, K.

Medizinische Informatik und Bioinformatik

WA 26.5/2003 D

Dunne, P.E.

Computability theory, concepts and applications

QAA 215/1991 D Ex. 2

Dunne, P.E.

The complexity of Boolean networks

QAA 220/1988 D Ex. 2

Durbin, R. et al.

Biological Sequence Analysis. Probab. Models of Proteins ...

QAA 130/1999 D

 

 

 

 

 

 

E

 

 

Ebbinghaus, H.-D.

Einführung in die mathematische Logik

QA 9/1992 E Ex. 3

Ebbinghaus, H.-D.

Finite Model Theory

QAA 97/1995 E

ECCC Anniversary

Electronic Colloquium On Computational Complexity

1993 - 2003

Eirund,  Müller u. Schreiber

Formale Beschreibungsverfahren der Informatik

QAA 168 /2000 E

Engeler, E.

Berechnungstheorie für Informatiker

QAA 215/1992 E Ex. 2

Engelmann, L. (Hrsg.)

Informatik bis zum Abitur

QAA 19/2002 E

Engesser, H. (Hrsg.)

Duden-Informatik

QAA 22/1989 E

Erk, K. ; L. Priese

Theoretische Informatik

QAA 205/2000 E

Ernst, Hartmut

Grundlagen und Konzepte der Informatik

QAA 19/2000 E

Ertel, Wolfgang

Angewandte Kryptographie

QAA 177/2001 E

Ewens, W. J., Grant, G. R.

Statistical Methods in Bioinformatics

QH 324.2/2001 E

Ewens, W. J., Grant, G. R.

Statistical Methods in Bioinformatics

QH 324.2/2001 E

 

 

 

 

 

 

F

 

 

Farach-Colton, M. (Ed.)

Mathematical support for molecular biology

1999

Fassbender, Heinrich

E-Unifikation für Primitiv-Rekursive Baumfunktionen

Dissertation 1995

Feller, W.

Introduction to probability theory  Volume I

QAA 273/1968 Fc  1  Ex. 2

Feller, W.

Introduction to probability theory  Volume II

QAA 273/1968 Fc  2  Ex. 2

Felscher, W.

Berechenbarkeit

QAA 215/1993 F Ex. 2

Feynman, R. P.

Lectures on Computation

QAA 340/2000 F

Fink,

Mustererkennung mit Markov-Modellen

QA 402.3/2003 F

Fischer, P.

Algorithmisches Lernen

QAA 705/1999 Fb

Fitting, M.

First-order logic

QAA 206/1996 F

Floyd, R.W.

The language of machines

QAA 215/1994 F Ex. 2

Forster, O.

Algorithmische Zahlentheorie

QA 241/1996 F 1 Ex. 2

Fowler, H. W.