CIDEC LOETELU AUTORITE järgi/ CATALOGUE by AUTHORs book
Back | 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
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
Algorithmics
CORMEN
Introduction to Algorithms, © 1989, MIT Press.

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

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

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

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

BÖSSER
Learning in Man-Computer Interaction, © 1994, Springer.

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

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

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

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

Computability, Complexity
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.

LEEUWEN
Handbook of Theoretical Computer Science. vol.B: Formal Models and Semantics (see vol A), © 1992, Elsevier.

LI, VITÁNYI
An Introduction to Kolmogorov Complexity and Its Applications, © 1993, Springer.

PAPADIMITRIOU
Computational Complexity, © 1994, Addison Wesley.

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

Computer Graphics, Digital Image Processing
FOLEY, DAN, FEINER, HUGHES, PHILLIPS
Introduction to Computer Graphics, © 1994, Addison-Wesley.

PREPARATA, SHAMOS
Computational Geometry, © 1985, Springer.

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

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

Computer Science Basics (Logics, Discrete Mathematics)
AHO, SETHI, ULLMAN
Compilers. Principles, Techniques and Tools, © 1986, Addison-Wesley.

ARNOLD, GUESSARIAN
Mathematics for Computer Science, © 1996, Prentice Hall.

BEN-ARI
Mathematical Logic for Computer Science, © 1992, Prentice Hall.

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

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

van DALEN
Logic and Structure, © 1994, Springer.

EBBINGHAUS, FLUM
Finite Model Theory, © 1995, Springer.

EBBINGHAUS, FLUM,THOMAS
Mathematical Logic, © 1994, Springer.

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

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

FULTON
Algebraic Topology, © 1995, Springer.

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

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

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

HEHNER
A Practical Theory of Programming, © 1993, Springer.

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

LEUWEN
Handbook of Theoretical Computer Science. vol.A: Algorithms and Complexity (+ vol B), © 1990, Elsevier.

MACLANE,MOERDIJK
Sheaves in Geometry and Logic, © 1992, Springer.

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

NERODE, SHORE
Logic for Applications, © 1993, Springer.

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

SALOMAA
Public-Key Cryptography, © 1990, Springer.

SCHMIDT, STRÖHLEIN
Relations and Graphs, © 1993, Springer.

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

SHOENFIELD
Recursion Theory, © 1993, Springer.

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

SMORYNSKI
Logical Number Theory I, © 1991, Springer.

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

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.

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

Computer System Architecture, Computer Networks
CAPRON, PERRON
Computers and Information Systems. Tools for Information Age, 4th ed, © 1993, Addison-Wesley.

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

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

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

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

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

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

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

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

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

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

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

Van de GOOR
Computer Architecture and Design, © 1989, Addison-Wesley.

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

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.

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

Distributed Systems, Parallel Computing
ANDREWS
Concurrent Programming, © 1991, Addison-Wesley.

BACON
Concurrent Systems, © 1993, Addison-Wesley.

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

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

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

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

Formal Methods
BICARREGUI, FITZGERALD LINDSAY, MOORE, RITCHIE
Proof in VDM: A Practitioner's Guide, © 1994, Springer.

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

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

HINCHEY, BOWEN
Applications of Formal Methods, © 1996, Prentice Hall.

HOARE
Communicating Sequantial Processes, © 1985, Prentice Hall.

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

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

Functional Programming
PAULSON, Larry C.
ML for the Working Programmer, © 1996, Cambridge Uni. Press.

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

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

Fuzzy Systems and Reasoning with Incomplete Information
KRUSE
Foundations of Fuzzy Systems, © 1994 , Wiley.

NAIT, ARESKI
The Logic of Partial Information, © 1993 , Springer.

General
SZYMANSKI, SZYMANSKI, PULSCHEN
Introduction to Computers and Software, © 1996, Prentice Hall.

Knowledge Engineering and Databases
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.

CANNAN, OTTEN
SQL: The Standard Handbook, © 1992, McGrawHill.

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

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

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

MIS, CIM, and other Integrated Systems
LUCAS
Information Systems Concepts for Management, 5th ed, © 1994 , McGrawHill accompanied by Instructor's Manual.

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

Multimedia, World Wide Web
DT>ARONSON
HTML Manual of Style, © 1995, Ziff-Davis Press.

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

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

BUFORD
Multimedia Systems, © 1994, Addison-Wesley.

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

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

HOFSTETTER
Multimedia Literacy, © 1995, McGraw Hill.

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

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

VINCE
Virtual Reality Systems, © 1995, Addison-Wesley.

Neural Nets, Genetic Algorithms
FU
Neural Networks in Computer Intelligence, © 1994 , McGrawHill.

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

Object-Oriented Programming (OOP), Object-Oriented Modeling (OOM), Object-Oriented Design (OOD)
BOOCH
Object-Oriented Analysis and Design with Applications, © 1994, Addison-Wesley.

COLEMAN, ARNOLD, BODOFF etc.
Object-oriented Development: the Fusion Method, © 1993, Prentice Hall.

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

DERR
Applying OMT, © 1996, Prentice Hall.

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

GAMMA, HELM, JOHNSON, VLISSIDES
Design Patterns Elements of Reusable Object-Oriented Software, © 1995, Addison-Wesley.

JACOBSON, CHRISTERSON, JONSSON, ÖVERGAARD
Object-Oriented Software Engineering: A Use Case Driven Approach, © 1993, Addison-Wesley.

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

MADSEN,MØLLER-PEDERSEN, NYGAAD
Object-Oriented Programming in the BETA Programming Language, © 1993, Addison-Wesley.

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

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

RUMBAUGH, BLAHA, PREMERIANI, EDDY, LORENSEN
Object-Oriented Modeling and Design, © 1991, Prentice Hall.

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

TANENBAUM
Modern Operating Systems, © 1992, Prentice Hall.

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

Other
ADOBE SYSTEMS, INC.
Postscript Language Reference Manual, 2nd ed, © 1990, Addison-Wesley.

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

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

DUPRÉ
Bugs in Writing, © 1995, Addison-Wesley.

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

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

GOOSSENS, MITTELBACH
The LATEX companion, © 1994, Addison-Wesley.

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

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

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

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

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

SOWA
TeX/LaTeX und Graphik, © 1994, Springer.

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

Performance Analysis
SMITH, Connie U.
Performance Engineering of Software Systems, © 1990, Addison-Wesley.

Programming Languages and Paradigms
ALBLAS, NYMEYER
Practice and Principles of Compiler Building with C, © 1996 , Prentice Hall.

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

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

BAL, GRUNE
Programming Language Essentials, © 1994 , Addison-Wesley.

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

DAWE, DAWE
PROLOG: Principles and Practice, © 1994 , Springer.

KLEIMAN, SHAH, SMAALDERS
Programming with Threads, © 1996 , Prentice Hall.

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

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

O'KEEFE
The Craft of PROLOG, © 1990 , MIT Press.

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

STERLING,SHAPIRO
The Art of Prolog, © 1994 , MIT Press.

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

WALL, CHRISTIANSEN, SCHWARTZ
Programming Perl, © 1996 , O'Reilly & Associates.

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

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

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

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

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

WARD, MELLOR
Structured Development for Real-Time Systems, Prentice Hall.

Software Engineering (general), CASE
BROWN, EARL, McDERMID
Software Engineering Environments: Automated Support for Software Engineering, © 1992, McGrawHill.

BUDGEN
Software Design, © 1994, Addison-Wesley.

GHEZZI, JAZAYRI, MANDRIOLI
Fundamentals of Software Engineering, © 1991, Prentice Hall.

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.

MAZZA, FAIRCLOUGH, MELTON etc.
Software Engineering Guides, © 1996, Prentice Hall.

MARCINIAK
Encyclopedia of Software Engineering, © 1994, Wiley.

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

OLLE ... [et al.]
Information Systems Methodologies, 2nd ed, © 1991, Addison-Wesley.

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

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

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

TAYLOR
Computer Aided Design, © 1992, Addison-Wesley.

VAN VLIET
Software Engineering, © 1993, Wiley.

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

YOURDON INC
Yourdon Systems Method, © 1993, Prentice Hall.

Software Project Management
FLYNN, DIAZ
Information Modelling: an international perspective, © 1996, Prentice Hall.

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

SHEPPERD
Foundations of Software Measurement, © 1996, Prentice Hall.

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

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

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

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

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

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