Zohar Manna and Richard Waldinger. The logical basis for computer programming. Volume I. Deductive reasoning. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1985, xii + 618 pp. - Zohar Manna and Richard Waldinger. The logical basis for computer programming. Volume II. Deductive systems. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xiii + 642 pp von Büning, Hans Kleine

Volltext

PRIMALITY AND CRYPTOGRAPHY (Wiley‐Teubner Series in Computer Science) von Mitchell, C. J.

Volltext

An introduction to logic programming through prolog: Michael Spivey, Prentice Hall International Series in Computer Science, Englewood cliffs, NJ, 1996. ISBN 0-13-536047-1 von Etalle, Sandro

Volltext

Algorithms for clustering data : Anil K. Jain and Richard C. Dubes Prentice Hall Advanced Reference Series in Computer Science Prentice Hall, Englewood Cliffs, NJ, 1988 von Flury, Bernhard

Volltext

Real-time systems: specification, verification and analysis: edited by M. JOSEPH. Prentice Hall International Series in Computer Science; Prentice Hall; London, UK; 1996; xiv + 278 pp.; $60; ISBN: 0-13-455297-0 von Zalewski, Janusz

Volltext

Principles of concurrent and distributed programming : M. Ben-Ari, Series Editor C.A.R. Hoare, Prentice Hall International Series in Computer Science (Prentice Hall, Hemel Hempstead, United Kingdom, 1990), Price £17.95 (paperback), ISBN 0-13-711821-X von Pandya, Paritosh

Volltext

OCCAM manual gives programming guidance to users at various levels: Inmos Ltd ‘OCCAM programming manual’ Prentice-Hall International Series in Computer Science, Prentice-Hall, Englewood Cliffs, NJ, USA (January 1984) £9.95 pp 92 von Fay, DQM

Volltext

Primality and cryptography: by Evangelos Kranakis, Fakultaire Vakgroep Informatica Amsterdam, Universiteit van Amsterdam, The Netherlands and Department of Computer Science, Yale University, New Haven, U.S.A., In: Wiley-Teubner Series in Computer Science. Publishers: B.G. Teubner, Stuttgart, and John Wiley & Sons, Inc., Chichester, West Sussex, United Kingdom PO19 1UD, 1986, xv+235 pp., ISBN 3-519-02104-8 (Teubner), ISBN 0-471-90934-3 (Wiley), indicative price: $41.95 von Smid, Michiel H.M

Volltext

Kulisch, U.(ed.), PASCAL-SC. A PASCAL Extension for Scientific Computation. Information Manual and Floppy Disks. Stuttgart, B. G. Teubner, Chichester etc., John Wiley & Sons 1987. 204 pp. and 2 Floppy disks for IBM-PC, DM 88,-. ISBN 3-519-02106-4, 0-471-91514-9 (Wiley-Teubner Series in Computer Science) von Grund, F.

Volltext

Manifest domains: analysis and description von Bjoerner, Dines

Volltext

Exploratory Multivariate Analysis by Example Using R von Husson, Francois, Le, Sebastien, Pagès, Jérôme

Volltext

Bayesian Regression Modeling with Inla von Wang, Xiaofeng, Yue, Yuryan, Faraway, Julian J.

Volltext

The art of computer programming von Knuth, Donald E

Volltext

Data Science Foundations: Geometry and Topology of Complex Hierarchic Systems and Big Data Analytics von Murtagh, Fionn

Volltext

Time Series Clustering and Classification von Pierpaolo D'Urso, Elizabeth Ann Maharaj, Jorge Caiado

Volltext

The Foundations of Program Verification von Loeckx, Jacques, Sieber, Kurt

Volltext

Simulation Algorithms and Simulation Studies von Latour, Alain, León, José R, Berzin, Corinne

Volltext

Introduction to Data Technologies von Murrell, Paul

Volltext

Primality and Cryptography von Kranakis, Evangelos

Volltext

Fundamentals of the Average Case Analysis of Particular Algorithms von Kemp, Rainer

Volltext