National Science Library of Georgia

Refine your search

Your search returned 350 results.

Sort
Results
A relational theory of computing / John G. Sanderson. by Series: Lecture notes in computer science ; 82
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1980
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Using sophisticated models in resolution theorem proving / David M. Sandford. by Series: Lecture notes in computer science ; 90
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1980
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Reliability evaluation of some fault-tolerant computer architectures / [by] Shunji Osaki, Toshihiko Nishio. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Berlin ; New York : Springer-Verlag, 1980
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Programming language standardisation / editors : I. D. Hill and B. L. Meek.
Material type: Text Text; Format: print ; Literary form: Not fiction
New York [etc.] : Wiley, [1980]
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Теоретические основы информационной техники : [Для втузов] / Ф. Е. Темников, В. А. Афонин, В. И. Дмитриев. by
Edition: 2-е изд., испр. и доп.
Material type: Text Text; Format: print
Language: Russian
Publication details: Москва : Энергия, 1979
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 004+007](075.8).
An introduction to programming : a structured approach using PL/I and PL/C / Richard Conway, David Gries ; contributions by John E. Dennis and Jorge Moré. by Series: Winthrop computer systems series
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge, Mass. : Winthrop Publishers, c1979
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 004.4.
Assemblers, compilers, and program translation / Peter Calingaert. by Series: Computer software engineering series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Potomac, Md. : Computer Science Press, c1979
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
MC-2 - a man/computer dialogue support system for the MIR-2 computer / Lauri Saloriutta ; Helsinki University of Technology, Computing centre. by Series: Research report ; no. 13
Edition: [1st ed.]
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English [Espoo : Teknillinen korkeakoulu], 1979]
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. by Series: Lecture notes in computer science ; 78
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1979
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Automata, languages and programming : sixth colloquium, Graz, Austria, July 16 - 20, 1979 / ed. by Hermann A. Maurer.
Material type: Text Text; Format: print ; Literary form: Not fiction
Berlin [etc.] : Springer-Verlag, 1979
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Methodology in systems modelling and simulation : proceedings of the Symposium on Modelling and Simulation Methodology, held at the Weizmann Institute of Science, Rehovot, Israel, August 13-18, 1978 / edited by Bernard P. Zeigler ... [et al.].
Material type: Text Text; Format: print ; Literary form: Not fiction
Amsterdam ; New York : North-Holland Pub. Co. : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Program construction : international summer school / [by] F. L. Bauer ... [et al.] ; edited by F. L. Bauer and M. Broy.
Material type: Text Text; Format: print ; Literary form: Not fiction
Berlin ; New York : Springer-Verlag, 1979
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Programming language standardisation : Pt. 1 : Concepts / J. Lewi ... [et al.].
Material type: Text Text; Format: print ; Literary form: Not fiction
Amsterdam ; New York : North-Holland Pub. Co., 1979
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Упражнения по программированию на Фортране IV / Ж.-П. Ламуатье; пер. с фр. В. А. Баяковской; под ред. Ю. М. Баяковского. by
Material type: Text Text; Format: print ; Literary form:
Language: Russian Original language: French
Publication details: Москва : Мир, 1978
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 004.43.
Programmation et langages symboliques / N. Krinitski, G. Mironov, G. Frolov ... ; [traduit du russe par V. Kharine]. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: French Original language: Russian Moscou : Éditions Mir, 1978
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Automata-theoretic aspects of formal power series / Arto Salomaa, Matti Soittola. by Series: Texts and monographs in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York [etc.] : Springer-Verlag, 1978
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Datenschutz bei "Riskanten Systemen" : eine Konzeption entwickelt am Beispiel eines medizinischen Informatsionssystems / Wilhelm Steinmüller, Leonhard Ermer, Wolfgang Schimmel. by Series: Informatik-Fachberichte ; 13
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: German
Publication details: Berlin ; New York : Springer, 1978
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Gesellschaft für Mathematik und Datenverarbeitung MBH Bonn : Jahresbericht : 1978 : Kurzfassung / Gesellschaft für Mathematik und Datenverarbeitung MBH, Bonn. by
Material type: Text Text
Language: German Bonn, [1978?]
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Gesellschaft für Mathematik und Datenverarbeitung MBH Bonn : Schriften, Vorträge, Lehrtätigkeiten / Gesellschaft für Mathematik und Datenverarbeitung MBH, Bonn. by
Material type: Text Text
Language: German Bonn, [1978?]
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
System simulation / Geoffrey Gordon. by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Englewood Cliffs, New Jersey : Prentice-Hall, c1978
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.