Ming Li and Paul Vitányi. An introduction to Kolmogorov complexity and its applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xx + 546 pp.

V. A. Uspensky; A. Shen

doi:10.2307/2275775

Ming Li and Paul Vitányi. An introduction to Kolmogorov complexity and its applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xx + 546 pp.

Journal of Symbolic Logic ◽

10.2307/2275775 ◽

1995 ◽

Vol 60 (3) ◽

pp. 1017-1020

Author(s):

V. A. Uspensky ◽

A. Shen

Keyword(s):

New York ◽

Computer Science ◽

Kolmogorov Complexity

Download Full-text

Noltemeier, H., (ed.), Graphtheoretic Concepts in Computer Science, Proceedings, Bad Honnef, 1980, Lecture Notes in Computer Science 100. Berlin-Heidelberg-New York, Springer-Verlag 1981. X, 403 S., DM 41,50. US $ 21.80. ISBN 3-540-10291-4

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19820620636 ◽

1982 ◽

Vol 62 (6) ◽

pp. 283-283

Author(s):

M. Hartwig

Keyword(s):

New York ◽

Computer Science ◽

Lecture Notes

Download Full-text

Flynn, M. J./Harris, N. R./McCarthy, D.P. (Eds.), Micro-computer System Design. An Advance Course, Dublin 1981. Berlin-Heidelberg-New York, Springer-Verlag 1982. VII, 397 S., DM 38,–. US $ 17.70. ISBN 3-540-11172-7 (Lecture Notes in Computer Science 126)

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19830630229 ◽

1983 ◽

Vol 63 (2) ◽

pp. 142-142

Author(s):

W. Issel

Keyword(s):

New York ◽

Computer Science ◽

System Design ◽

Computer System ◽

Lecture Notes ◽

Computer System Design

Download Full-text

David Harel. First-order dynamic logic. Lecture notes in computer science, vol. 68. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, X + 133 pp.

Journal of Symbolic Logic ◽

10.2307/2273169 ◽

1982 ◽

Vol 47 (2) ◽

pp. 453-454 ◽

Cited By ~ 3

Author(s):

Jerzy Tiuryn

Keyword(s):

New York ◽

Computer Science ◽

Dynamic Logic ◽

First Order ◽

Lecture Notes

Download Full-text

Loveland, D. W. (ed.), 6th Conference on Automated Deduction. New York, USA, 1982. Berlin-Heidelberg-New York, Springer-Verlag 1982. VII, 389 S., DM 39,50. US $ 17.60. ISBN 3-540-11558-7 (Lecture Notes in Computer Science 138)

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19830630827 ◽

1983 ◽

Vol 63 (8) ◽

pp. 398-398

Author(s):

H. Reichel

Keyword(s):

New York ◽

Computer Science ◽

Automated Deduction ◽

Lecture Notes

Download Full-text

The Programming Language Ada, Reference Manual. Proposed Standard Document, United States Department of Defense. Lecture Notes in Computer Science 106. Berlin-Heidelberg-New York, Springer-Verlag 1981. X, 243 S., DM 16,50, US $ 7.90. ISBN 3-540-10693-6

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19820620828 ◽

1982 ◽

Vol 62 (8) ◽

pp. 424-424

Author(s):

F. Grund

Keyword(s):

United States ◽

New York ◽

Computer Science ◽

Programming Language ◽

Department Of Defense ◽

United States Department ◽

Standard Document ◽

States Department ◽

Lecture Notes ◽

Reference Manual

Download Full-text

Michael Machtey and Paul Young. An introduction to the general theory of algorithms. The computer science library, Theory of computation series. North-Holland, New York, Oxford, and Shannon, 1978, vii + 264 pp.

Journal of Symbolic Logic ◽

10.2307/2273243 ◽

1981 ◽

Vol 46 (4) ◽

pp. 877-878

Author(s):

Nancy Lynch

Keyword(s):

New York ◽

General Theory ◽

Computer Science ◽

Theory Of Computation

Download Full-text

Siekmann, J. H. (Ed.): 8th International Conference on Automated Deduction. Oxford, England, July 27–August 1, 1986, Proceedings. Lecture Notes in Computer Science Vol. 230. Springer-Verlag, Berlin – Heidelberg – New York – Tokyo 1986, IX, 708 pp., DM 96,– ISBN 3-540-16780-3

Biometrical Journal ◽

10.1002/bimj.4710300223 ◽

1988 ◽

Vol 30 (2) ◽

pp. 251-252

Author(s):

D. Seese

Keyword(s):

New York ◽

Computer Science ◽

Automated Deduction ◽

International Conference ◽

Lecture Notes

Download Full-text

GI-NTG, Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22. 3. 1974, Hrsg. Leilich, H.-O., Berlin-Heidelberg-New York. Springer-Verlag. 1974. VI, 340 S., DM 26,-. US $ 11.30. (Lecture Notes in Computer Science Bd. 8) .

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19770571217 ◽

1977 ◽

Vol 57 (12) ◽

pp. 732-732

Author(s):

H. W. Meier

Keyword(s):

New York ◽

Computer Science ◽

Lecture Notes

Download Full-text

Introduction to computer science. Harry Katzan, Jr., New York: Petrocelli Books, 495 p. (1975)

Journal of the American Society for Information Science ◽

10.1002/asi.4630270212 ◽

1976 ◽

Vol 27 (2) ◽

pp. 125-125

Author(s):

Leny Struminger

Keyword(s):

New York ◽

Computer Science

Download Full-text

Uwe Schöning. Complexity and structure. Lecture notes in computer science, vol. 211. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1986, v + 99 pp.

Journal of Symbolic Logic ◽

10.2307/2274778 ◽

1989 ◽

Vol 54 (3) ◽

pp. 1106-1107

Author(s):

Stephen R. Mahaney

Keyword(s):

New York ◽

Computer Science ◽

Lecture Notes

Download Full-text