Search results
Title Program specification and transformation Author info edited by L.G.L.T. Meertens Another authors Meertens L.G.L.T. (Editor)
Issue data Amsterdam : North-Holland , 1987. - 535 s. Issue 1st ed. ISBN 0-444-70223-7 Keywords elektronické digitálne počítače - electronic digital computers programovanie - programming medzinárodné konferencie Language English Country Netherlands systematics 681.3.06=20:061.3=20 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 218138 Univerzita Mateja Bela Department of computer science In-Library Use Only Title Formal models in programming Subtitle Vienna, Austria, 30 January - 1 February 1985 Author info E.J. Neuhold, G. Chroust Another authors Neuhold E.J (Editor)
Chroust Gerhard (Editor)
Issue data Amsterdam : North-Holland , 1985. - 425 s. Issue 1st ed. ISBN 0-444-87888-2 Keywords počítače - computers programovanie - programming medzinárodné konferencie Language English Country Netherlands systematics 681.3.06=20:061.3=20 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 218142 Univerzita Mateja Bela Department of computer science In-Library Use Only Title Ring technology local area networks Author info Ian Neil Dallas, Edward Brian Spratt Another authors Dallas Ian Neil (Editor)
Spratt Edward Brian (Editor)
Issue data Amsterdam : North-Holland , 1984. - 269 s. Issue 1st ed. ISBN 0-444-86852-6 Keywords počítače - computers počítačové siete - computer networks medzinárodné konferencie Language English Country Netherlands systematics 681.3.06=20:061.3=20 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 218162 Univerzita Mateja Bela Department of computer science In-Library Use Only Title Fifth generation computer systems 1984 Par.title proceedings of the International Conference on Fifth Generation Systems 1984 Tokyo,Japan,November 6-9,1984 Issue data Amsterdam : North-Holland , 1984. - 703 s. Issue 1st ed. ISBN 0-444-87673-1 Keywords počítače - computers počítačové systémy - computer systems medzinárodné konferencie Language English Country United States of America systematics 681.3.06=20:061.3=20 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 218165 Univerzita Mateja Bela Department of computer science In-Library Use Only Title Parallel computing 83 Subtitle proceedings of the International Conference on Parallel Computing, held at the Freie Universität Berlin, 26-28 September 1983 Author info edited by Manfred Feilmeier, Gerhard Joubert, Udo Schendel Author Feilmeier Manfred
Co-authors Joubert Gerhard
Schendel Udo
Issue data Amsterdam : North-Holland , 1983. - 566 s. : ill. Issue 1st ed. ISBN 0-444-87528-X Keywords počítače - computers počítačové spracovanie paralelné systémy medzinárodné konferencie Language English Country Netherlands systematics 681.3.06=20:061.3=20 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 1 Call number Location Sublocation Umiestnenie Info 218221 Univerzita Mateja Bela Department of absent lending Title Operating systems Subtitle theory and practice proceedings of the Second International Symposium on Operating Systems Theory and Practice, organized by IRIA and Carnegie-Mellon University, Rocquencourt, France, October 2-4, 1978 Author info edited by D. Lanciaux Author Lanciaux D
Issue data Amsterdam : North-Holland , 1979. - 398 s. Issue 1st ed. ISBN 0-444-85300-6 Keywords počítače - computers operačné systémy - operating systems medzinárodné konferencie Language English Country Netherlands systematics 681.3.06=20:061.3=20 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 1 Call number Location Sublocation Umiestnenie Info 218211 Univerzita Mateja Bela Department of absent lending