---

LOETELU AUTORITE järgi/ CATALOGUE by AUTHORs

---

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

---

A

---

ABD-EL-HAFIZ,BASILI

A Knowledge-Based Approach to Program Understanding, © 1995, Kluwer Ac. Publ.

ABITEBOUL, HULL, VIANU

Foundations of Databases (Database Theory), © 1995, Addison-Wesley.

ADELI

Knowledge Engineering: Fundamentals, I, © 1990, McGrawHill.

ADELI

Knowledge Engineering: Applications, II, © 1990, McGrawHill.

ADOBE SYSTEMS, INC.

Postscript Language Reference Manual, 2nd ed, © 1990, Addison-Wesley.

AHO, SETHI, ULLMAN

Compilers. Principles, Techniques and Tools, © 1986, Addison-Wesley.

ALBLAS, NYMEYER

Practice and Principles of Compiler Building with C, © 1996 , Prentice Hall.

ALLEN

Natural language Understanding, 2nd ed, © 1994, Addison-Wesley.

ANDERSON

Navigating C++ with OO Design, © 1997, Prentice Hall.

ANDREWS

Concurrent Programming, © 1991, Addison-Wesley.

APPLEBY

Progr. Languages: Paradigm and Practice, © 1991 , McGrawHill, accompanied with Instructor's Manual and:

• ADA Mini Manual by George Benjamin
• C Mini Manual, C++ by Maryam Hastings
• Turbo Pascal Mini-Manual by Steven Andrianoff
• PC Scheme Mini Manual by Richard G. Hull
• Prolog Mini Manual by Tom Hankins and Thom Luce
• Solutions Manual Set, IBM 3½".

APT

From Logic Programming to PROLOG, © 1996 , Prentice Hall.

ARNOLD, GUESSARIAN

Mathematics for Computer Science, © 1996, Prentice Hall.

ARONSON

HTML Manual of Style, © 1995, Ziff-Davis Press.

AUTHORWARE Academic 3.5 (for Macintosh), © 1995, Prentice Hall.

• AUTHORWARE Models for Instructional Design for Macintosh, (book,disk), © 1995, Prentice Hall.

AUTHORWARE Academic 3.5 (for Windows), © 1995, Prentice Hall.

• AUTHORWARE Models for Instructional Design for Windows, (book/disk), © 1995, Prentice Hall.

AWAD, KUUSELA, ZIEGLER

Object-oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion, © 1996 , Prentice Hall.

---

B

---

BACON

Concurrent Systems, © 1993, Addison-Wesley.

BAL, GRUNE

Programming Language Essentials, © 1994 , Addison-Wesley.

BALCÁZAR, DÍAZ, GABARRÓ

Structural Complexity I, 2nd. rev. ed, © 1995, Springer.

BALCÁZAR, DÍAZ, GABARRÓ

EATCS Monographs: Structural Complexity II (vol.22), © 1990, Springer.

BARRETT

Bandits on the Information Superhighway, © 1996, O'Reilly & Associates.

BEN-ARI

Mathematical Logic for Computer Science, © 1992, Prentice Hall.

BEST

Semantics of Sequential and Parallel Programs, © 1996, Prentice Hall.

BEYDA

Data Communications: From Basics to Broadband, 2 ed, © 1996, Prentice Hall.

BICARREGUI, FITZGERALD LINDSAY, MOORE, RITCHIE

Proof in VDM: A Practitioner's Guide, © 1994, Springer.

BOOCH

Object-Oriented Analysis and Design with Applications, © 1994, Addison-Wesley.

BRATKO

Prolog Programming for Artificial Intelligence, 2nd ed, © 1990, Addison-Wesley.

BROOKSHEAR

Computer Science: An overview, 5th ed, © 1997, Addison-Wesley.

BÖSSER

Learning in Man-Computer Interaction, © 1994, Springer.

BROWN, EARL, McDERMID

Software Engineering Environments: Automated Support for Software Engineering, © 1992, McGrawHill.

BUDGEN

Software Design, © 1994, Addison-Wesley.

BUFORD

Multimedia Systems, © 1994, Addison-Wesley.

BURGER,GILLIES

Interactive Computer Graphics, © 1989, Addison-Wesley.

BURNS,WELLINGS

Real-Time Systems and Programming Languages, 2nd ed, © 1997, Addison-Wesley.

---

C

---

CANNAN, OTTEN

SQL: The Standard Handbook, © 1992, McGrawHill.

CAPRON, PERRON

Computers and Information Systems. Tools for Information Age, 4th ed, © 1993, Addison-Wesley.

COLEMAN, ARNOLD, BODOFF etc.

Object-oriented Development: the Fusion Method, © 1993, Prentice Hall.

COLLINS

Desinging Object-Oriented User Interfaces, © 1995, Addison-Wesley.

COPLIEN, SCHMIDT

Pattern Languages of Programming, © 1995, Addison-Wesley.

CORMEN

Introduction to Algorithms, © 1989, MIT Press.

COULORIS, DOLLIMORE, KINDBERG

Distributed Systems Concepts and Design, © 1994, Addison-Wesley.

CUTLER, GILLY, O'REILLY

X Window System in a Nutshell, 2nd ed, © 1992, O'Reilly & Ass.

---

D

---

van DALEN

Logic and Structure, © 1994, Springer.

DATE

An Introduction to Database Systems, 6th ed, © 1995, Addison-Wesley.

DAWE, DAWE

PROLOG: Principles and Practice, © 1994, Springer.

DERN

The Internet Guide for New Users, © 1993, McGrawHill.

DERR

Applying OMT, © 1996, Prentice Hall.

DIRECTOR Academic 4.0 (for Macintosh), © 1996, Prentice Hall.

DIRECTOR Academic 4.0 (for Windows), © 1996, Prentice Hall.

DUPRÉ

Bugs in Writing, © 1995, Addison-Wesley.

---

E

---

EBBINGHAUS, FLUM

Finite Model Theory, © 1995, Springer.

EBBINGHAUS, FLUM,THOMAS

Mathematical Logic, © 1994, Springer.

ELMASRI, NAVATHE

Fundamentals of Database Systems 2nd ed, © 1995, Addison-Wesley.

---

F

---

FENTON, HILL

Systems Construction and Analysis: A Mathematical and Logical Framework, © 1993, McGrawHill.

FIRESMITH, EYKHOLT

Dictionary of Object Technology: the definitive desk reference, © 1995, Prentice Hall.

FITTING

First-Order Logic and Automated Theorem Proving (2nd ed.), © 1996, Springer.

FLEISCHMANN, BELL, TISCHER

Distributed Systems - Software Design and Implementation, © 1994, Springer.

FLENER

Logic Program Synthesis from Incomplete Information, © 1995, Kluwer Ac. Publ.

FLYNN, DIAZ

Information Modelling: an international perspective, © 1996, Prentice Hall.

FOLEY, DAN, FEINER, HUGHES, PHILLIPS

Introduction to Computer Graphics, © 1994, Addison-Wesley.

FORTUNA, NUNNARI, GALLO

Model Order Reduction Techniques with Applications in Electrical Engineering, © 1992, Springer-Verlag.

FRANCEZ, FORMAN

Interacting Processes: a multiparty approach to coordinated distributed programming, © 1996, Addison-Wesley.

FRANCEZ

Program Verification, © 1992, Addison-Wesley.

FRISCH

Essential System Administration, 2nd ed., © 1995, O'Reilly & Ass.

FU

Neural Networks in Computer Intelligence, © 1994, McGrawHill.

FULTON

Algebraic Topology, © 1995, Springer.

---

G

---

GABBAY,HOGGER, ROBINSON

Handbook of Logic in Artificial Intelligence and Logic Programming, Vol.1-4, © 1993-94, Oxford University Press.

GABBAY, HODKINSON, REYNOLDS

Temporal Logic: Mathematical Foundations and Computational Aspects, Vol. 1, © 1994, Oxford University Press.

GAMMA, HELM, JOHNSON, VLISSIDES

Design Patterns Elements of Reusable Object-Oriented Software, © 1995, Addison-Wesley.

GARFINKEL, SPAFFORD

Practical Unix Security, © 1991, O'Reilly & Ass.

GARFINKEL

PGP: Pretty Good Privacy, © 1995, O'Reilly & Associates.

GHEZZI, JAZAYRI, MANDRIOLI

Fundamentals of Software Engineering, © 1991, Prentice Hall.

GILLY

UNIX in a Nutshell: System V Edition, © 1992, O'Reilly & Ass.

GOLDBERG

Genetic Algorithms in Search, Optimisation and Machine Learning, © 1989, Addison-Wesley.

GOOSSENS, MITTELBACH

The LATEX companion, © 1994, Addison-Wesley.

GRAHAM et. al., Handbook of Combinatorics, Vol.1-2, © 1995, Elsevier.

GRAHAM, KNUTH, PATASHNIK

Concrete mathematics: A Foundation for Computer Science (second edition), © 1994, Addison-Wesley.

GRIES, SCHNEIDER

A Logical Approach to Discrete Math, © 1994, Springer.

---

H

---

HAREL

Algorithmics: The Spirit of Computing, 2nd ed, © 1992, Addison-Wesley.

HEGERING

Integrated Network and System Management, © 1994, Addison-Wesley.

HEHNER

A Practical Theory of Programming, © 1993, Springer.

HINCHEY, BOWEN

Applications of Formal Methods, © 1996, Prentice Hall.

HOARE

Communicating Sequential Processes, © 1985, Prentice Hall.

HOFSTETTER

Multimedia Literacy, © 1995, McGraw Hill.

HUNT

TCP/IP Network Administration (corr. May 94), © 1992, O'Reilly & Ass.

---

I

---

ICOVE, SEGER, Von STORCH

Computer Crime: A Crimefighter's Handbook, © 1995, O'Reilly & Associates.

INCE, SHARP, WOODMAN

Introduction to Software Project Management and Quality Assurance, © 1993, McGrawHill.

---

J

---

JACOBSON, CHRISTERSON, JONSSON, ÖVERGAARD

Object-Oriented Software Engineering: A Use Case Driven Approach, © 1993, Addison-Wesley.

JA' JA'

An Introduction to Parallel Algorithms, © 1992, Addison-Wesley.

JALOTE

Integrated Approach to Software Engineering, © 1991, Springer.

JOHNSON, David

Programming by Design: a practical approach to structured programming, © 1996, Prentice Hall.

JONES

Software Engineering, © 1990, John Wiley & Sons.

JOSEPH

Real -Time Systems (Specification, Verification and Analysis), © 1996, Prentice Hall.

---

K

---

KALLMAN

Ethical Decision making and IT: an Introduction, © 1996, McGraw Hill.

KENNEDY, DAVIS

Electronic Communication Systems, 4th ed, © 1992, McGrawHill.

KLEIMAN, SHAH, SMAALDERS

Programming with Threads, © 1996, Prentice Hall.

KRUSE

Foundations of Fuzzy Systems, © 1994, Wiley.

---

L

---

LALEMENT

Reduction And Resolution: Computation And Logic, © 1993, Prentice Hall.

LAMPORT

LATEX: a document preparation system. 2nd ed, © 1994 (1985), Addison-Wesley.

LEDGARD, Henry

The Little Book of Object-Oriented Programming, © 1996, Prentice Hall.

LEEUWEN

Handbook of Theoretical Computer Science. vol.A: Algorithms and Complexity, © 1990, Elsevier.

LEEUWEN

Handbook of Theoretical Computer Science. vol.B: Formal Models and Semantics, © 1992, Elsevier.

LEMAY

Teach Yourself JAVA 21 Days, © 1995, MacMillan Comp.

LI, VITÁNYI

An Introduction to Kolmogorov Complexity and Its Applications, © 1993, Springer.

LOUCOPOULOS, ZICARI

Conceptual Modeling, Databases and CASE: An Integrated View of Information Systems Development, © 1992, Wiley.

LUCAS

Information Systems Concepts for Management, 5th ed, © 1994, McGrawHill accompanied by Instructor's Manual.

---

M

---

MACLANE,MOERDIJK

Sheaves in Geometry and Logic, © 1992, Springer.

MADSEN,MØLLER-PEDERSEN, NYGAAD

Object-Oriented Programming in the BETA Programming Language, © 1993, Addison-Wesley.

MAIN

Data Structures and Other Objects, © 1995, Addison-Wesley.

MALAN, LETSINGER, COLEMAN

Object-oriented Development at Work: Fusion in the Real World, © 1996, Prentice Hall.

MANNA, WALDINGER

The Deductive Foundations of Computer Programming, © 1993, Addison-Wesley.

MARCINIAK

Encyclopedia of Software Engineering, © 1994, Wiley.

MAZZA, FAIRCLOUGH, MELTON etc.

Software Engineering Guides, © 1996, Prentice Hall.

MEDSKER

Hybrid Intelligent Systems, © 1995, Kluwer Ac. Publ.

MEINCKE

Many Sorted Logic and its Applications, © 1993, Wiley.

MURPHY

C/C++ Software Quality Tools, © 1996, Prentice Hall.

---

N

---

NAIT, ARESKI

The Logic of Partial Information, © 1993, Springer.

NAVABI

VHDL Analysis and Modeling of Digital Systems, © 1992, McGrawHill.

NERODE, SHORE

Logic for Applications, © 1993, Springer.

NEWMARCH

The X Window System and Motif, © 1992, Addison-Wesley.

NIEDERST, FREEDMAN

Desinging for the Web: Getting Started in a New Medium, © 1996, O'Reilly & Associates.

NIEMEYER, PECK

Exploring Jawa, © 1996, O'Reilly & Associates.

NORMAN

Object Oriented Systems Analysis and Design, © 1996, Prentice Hall.

---

O

---

O'KEEFE

The Craft of PROLOG, © 1990, MIT Press.

OLLE ... [et al.]

Information Systems Methodologies, 2nd ed, © 1991, Addison-Wesley.

OSKARSSON

An ISO 9000 Approach to Building Quality Software, © 1996, Prentice Hall.

---

P

---

PAPADIMITRIOU

Computational Complexity, © 1994, Addison Wesley.

PAULSON, Larry C.

ML for the Working Programmer, © 1996, Cambridge Uni. Press.

POTTER, SINCLAIR, TILL

An Introduction to Formal Specification and Z, 2ed, © 1996, Prentice Hall.

PREE

Design Patterns for Object-Oriented Software Development, © 1995, Addison-Wesley.

PREECE

Human-Computer Interaction, © 1995, Addison-Wesley.

PREPARATA, SHAMOS

Computational Geometry, © 1985, Springer.

PRESSMAN

Software Engineering: A Practitioner's Approach, © 1992, McGrawHill.

---

R

---

READE

Elements of Functional Programming, © 1989, Addison-Wesley.

REEVES, CLARKE

Logic for Computer Science, © 1990, Addison-Wesley.

REMBOLD, NNAJI, STOR

Computer Integrated Manufacturing and Engineering, © 1993, Addison-Wesley.

RICH, KNIGHT

Artificial Intelligence, 2nd ed, © 1991, McGrawHill, accompanied by Instructor's Manual with Transparency Masters.

RUMBAUGH, BLAHA, PREMERIANI, EDDY, LORENSEN

Object-Oriented Modeling and Design, © 1991, Prentice Hall.

RUSSELL, GANGEMI Sr.

Computer Security Basics, © 1991, O'Reilly & Ass.

---

S

---

SALOMAA

Public-Key Cryptography, © 1990, Springer.

SCHALKOFF

Digital Image Processing and Computer Vision, © 1989, Wiley.

SCHEFSTROM, BROEK

Tool Integration: Environments and Frameworks, © 1992, Wiley.

SCHMIDT, STRÖHLEIN

Relations and Graphs, © 1993, Springer.

SCHMIDT

The Structure of Typed Programming Languages, © 1994, MIT Press.

SCHROEDER, MARTIN, LORENSEN

The Visualization Toolkit: An Object-Oriented Approach to 3-D Graphics, © 1996, Prentice Hall.

SEDGEWICK

Algorithms, 2nd ed, © 1988, Addison-Wesley.

SETHI

Programming Languages: Concepts and Constructs, 2nd ed., © 1996, Addison-Wesley.

SHAPIRO

Encyclopedia of Artificial Intelligence, 2nd ed, 2 vol, © 1992, Wiley.

SHAW, GARLAN

Software Architecture: perspectives on an emerging discipline, © 1996, Prentice Hall.

SHEPPERD

Foundations of Software Measurement, © 1996, Prentice Hall.

SHNEIDERMAN

Designing the User Interface, 2nd ed, © 1992, Addison-Wesley.

SHOENFIELD

Recursion Theory, © 1993, Springer.

SILBERSCHATZ, GALVIN

Operating Systems Concepts, 4 ed, © 1994, Addison-Wesley.

SINGHAL, SHIVARATRI

Advanced Concepts in Operating Systems: Distributed, Database and Multiprocessor Operating Systems, © 1994, McGrawHill
accompanied by Solutions Manual.

SLONNEGER

Formal Syntax and Semantics of Programming Languages, © 1995, Addison-Wesley.

SMITH, Carl

A Recursive Introduction to the Theory of Computation, © 1994, Springer.

SMITH, Connie U.

Performance Engineering of Software Systems, © 1990, Addison-Wesley.

SMORYNSKI

Logical Number Theory I, © 1991, Springer.

SONKA, HLAVAC, BOYLE

Image Processing, Analysis and Machine Vision, © 1994, Chapman & Hall.

SOWA

TeX/LaTeX und Graphik, © 1994, Springer.

STALLINGS

Computer Organization and Architecture: Designing for Performance, 4 ed, © 1996, Prentice Hall.

STEINMETZ, NAHRSTEDT

Multimedia: Computing, Communications, and Applications, © 1996, Prentice Hall.

STERLING,SHAPIRO

The Art of Prolog, © 1994, MIT Press.

STEVENS, WRIGHT

TCP/IP Illustrated, © 1994-1996, Addison-Wesley.

Vol. 1. The protocols
Vol. 2. The implementation
Vol. 3. TCP for transactions, HTTP, NNTP, and the UNIX domain protocols.

STINSON

Cryptography: Theory and Practice, © 1995, CRC Press.

SZYMANSKI, SZYMANSKI, PULSCHEN

Introduction to Computers and Software, © 1996, Prentice Hall.

---

T

---

TANENBAUM

Modern Operating Systems, © 1992, Prentice Hall.

TANENBAUM

Structured Computer Organization, 3rd ed, © 1990, Prentice Hall.

TAYLOR

Computer Aided Design, © 1992, Addison-Wesley.

THOMPSON

Type Theory and Functional Programming, © 1991, Addison-Wesley.

TODINO, STRANG, PEEK

Learning the UNIX Operating System, 3 ed., © 1993, O'Reilly & Ass.

TOTH

Visual C++ 4 Unleashed, © 1996, MacMillan Comp.

TUCKER, BERNAT, BRADLEY, CUPPER, SCRAGG

Fundamentals of Computing I: Logic, Problem Solving, Programs and Computers: C++ edition, © 1995, McGraw-Hill
accompanied by Instructor's Manual and Laboratory Manual.

TUCKER, CUPPER, BRADLEY, EPSTEIN, KELEMEN

Fundamentals of Computing II: Abstraction, Data Structures and Large Software Systems, C++ Edition, © 1995, McGrawHill
accompanied by C++ Laboratory Manual.

---

V

---

Van de GOOR

Computer Architecture and Design, © 1989, Addison-Wesley.

Van VLIET

Software Engineering, © 1993, Wiley.

VINCE

Virtual Reality Systems, © 1995, Addison-Wesley.

---

W

---

WALL, CHRISTIANSEN, SCHWARTZ

Programming Perl, © 1996, O'Reilly & Associates.

WALSH

Making TEX Work, © 1994, O'Reilly & Ass.

WARD, MELLOR

Structured Development for Real-Time Systems, Prentice Hall.

• Vol. I: Introduction & Tools, © 1985 .
• Vol. II: Essential Modeling Techniques, © 1985, Prentice Hall.
• Vol. III: Implementation Modeling Techniques, © 1986, Prentice Hall.

WATT,WATT

Advanced Animation and Rendering Techniques, © 1992, Addison-Wesley.

WILHELM, MAURER

Compiler Design, © 1995, Addison-Wesley.

WILLIAMS

Essential Visual C++ 4, © 1995, MacMillan Comp.

WINSKEL

The Formal Semantics of Programming Languages, © 1993, MIT Press.

WINSKEL, HALSEN

Models of Concurrency, BRICS & DAIMI (a gift from AU).

WOLFE

High-Performance Compilers for Parallel Computing, © 1996, Addison-Wesley.

WOODCOCK, DAVIES

Using Z: Specification, Refinement, and Proof, © 1996, Prentice Hall.

---

Y

---

YOURDON

Object-Oriented Systems Development: An Integrated Approach, © 1993, Prentice Hall.

YOURDON INC

Yourdon Systems Method, © 1993, Prentice Hall.

---

Changed 20/01/1997. Comments: monika@cs.ioc.ee

---