Your search returned 12 results.

Results
	1.	Handbook of logic and proof techniques for computer science Steven G. Krantz by Krantz, Steven G Publication details: Boston New York Birkhauser Springer 2002 Availability: Items available for loan: IMAR (1)Call number: II 34258. Place hold Add to cart (remove)
	2.	Trends, techniques, and problems in theoretical computer science selected contributions 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986 ; Alica Kelemenová, Jozef Kelemen, eds by Kelemenová, Alica, 1949- Kelemen, Jozef, 1951- Series: Lecture notes in computer science ; 281 Publication details: Berlin New York Springer-Verlag c1987 Availability: Items available for loan: IMAR (1)Call number: II 34467. Place hold Add to cart (remove)
	3.	Computers today Donald H. Sanders by Sanders, Donald H Edition: 2nd ed Publication details: New York McGraw-Hill c1985 Availability: Items available for loan: IMAR (1)Call number: II 34644. Place hold Add to cart (remove)
	4.	Distributed computing and cryptography proceedings of a DIMACS Workshop, October 4-6, 1989 Joan Feigenbaum, Michael Merritt, editors by Feigenbaum, Joan, 1958- Merritt, Michael, 1957- Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 2 Publication details: Providence, R.I Baltimore, Md American Mathematical Society Association for Computing Machinery c1991 Availability: Items available for loan: IMAR (1)Call number: 005.8/2-XXX-1. Place hold Add to cart (remove)
	5.	[Russko-anglo-nemetsko-frantsuzskij slovar' po vychislitel'noj tekhnike osnovnye terminy : 54,000 terminov E.K. Maslovskij, B.I. Zajchik, N.S. Skorokhod ; pod obshchim rukovodstvom E.K. Maslovskogo] by Maslovskij, E. K Zajchik, B. I Skorokhod, N. S Publication details: Moscow Russky Yazyk Publishers 1990 Availability: Items available for loan: IMAR (1)Call number: II 33283. Place hold Add to cart (remove)
	6.	Software for data bases in teleprocessing systems proceedings of international symposium, Yachranka, October 16-21, 1978 by Mazurkiewicz, Antoni Polska Akademia Nauk Instytut Podstaw Informatyki Publication details: Warszawa Paânstwowe wydawnictwo naukowe 1981 Availability: Items available for loan: IMAR (1)Call number: II 23279. Place hold Add to cart (remove)
	7.	Mathematische Logik mik Informatik-Anwendungen Eberhard Bergmann, Helga Noll by Bergmann, Eberhard Noll, Helga, 1936- Series: Heidelberger TaschenbuÃŒÂ(cher ; Bd. 187 : Sammlung Informati Publication details: Berlin New York Springer-Verlag 1977 Availability: Items available for loan: IMAR (1)Call number: I 21270. Place hold Add to cart (remove)
	8.	Security engineering: A guide to building dependable distributed systems Ross J. Anderson by Anderson, Ross Edition: 2nd ed. Publication details: Indianapolis, IN Wiley Pub. c2008 Online resources: Publisher description Table of contents only Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	9.	Distributed computing through combinatorial topology Maurice Herlihy, Dmitry Kozlov, Sergio Rajsbaum by Herlihy, Mauric Kozlov, Dmitry Rajsbaum, Sergio Availability: Items available for loan: IMAR (1)Call number: 004.36-HER. Place hold Add to cart (remove)
	10.	Multiagent systems : Algorithmic, game-theoretic, and logical foundations Yoav Shoham, Kevin Leyton-Brown by Shoham, Yoav Leyton-Brown, Kevin Publication details: Cambridge ; New York : Cambridge University Press, 2009 Online resources: Contributor biographical information Publisher description Table of contents Availability: Items available for loan: IMAR (1)Call number: 006.3-SHO. Place hold Add to cart (remove)
	11.	Information, randomness & incompleteness : Papers on algorithmic information theory G.J. Chaitin by Chaitin, Gregory J Series: Series in computer science ; vol. 8 Edition: 2nd ed. Publication details: Singapore ; New Jersey : World Scientific, 1990 Other title: Information, randomness and incompleteness Availability: Items available for loan: IMAR (1)Call number: 511.3-CHA-3. Place hold Add to cart (remove)
	12.	No cover image available Bar Codes of Persistent Cohomology and Arrhenius Law for p-Forms / D. Le Peutrec, F. Nier, F.& C. Viterbo by Peutrec, D. Le Nier, F Viterbo, C Series: Asterisque ; 450 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Paris: Societe Mathematique de France, 2024 Availability: Items available for loan: IMAR (1)Call number: CF1-450. Place hold Add to cart (remove)

Powered by Koha