Your search returned 6 results.

Not what you expected? Check for suggestions

Results
	1.	Distributed systems--architecture and implementation : an advanced course / D.W. Davies ... [et al.] ; edited by B.W. Lampson, M. Paul, and H.J. Siegert. by Davies, Donald Watts Lampson, Butler W Paul, Manfred, 1932- Siegert, H. J Technische Universit�at M�unchen. Institut f�ur Informatik Advanced Course on Distributed Systems--Architecture and Implementation (1980 : Technische Universit�at M�unchen) Series: Lecture notes in computer science ; 105 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, c1981 Availability: Items available for loan: Central Library, SUST (3)Call number: 001.64 DIS, ... Place hold Add to cart (remove)
	2.	Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi. by Emerson, E. Allen Namjoshi, Kedar S Series: Lecture notes in computer science ; 3855 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, c2006 Availability: Items available for loan: Central Library, SUST (3)Call number: 005.14 EMV, ... Place hold Add to cart (remove)
	3.	Algorithmic number theory : first international symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994 : proceedings / Leonard M. Adleman, Ming-Deh Huang, eds. by Adleman, Leonard M Huang, Ming-Deh A Algorithmic Number Theory Symposium (1st : 1994 : Ithaca, N.Y.) Series: Lecture notes in computer science ; 877 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, c1994 Availability: Items available for loan: Central Library, SUST (5)Call number: 512.7 ALG, ... Place hold Add to cart (remove)
	4.	PASCAL, user manual and report / Kathleen Jensen, Niklaus Wirth. by Jensen, Kathleen, 1949- Wirth, Niklaus [joint author.] Series: Lecture notes in computer science ; 18 Edition: 2d ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, c1975 Availability: Items available for loan: Central Library, SUST (3)Call number: 001.6424 JEP, ... Place hold Add to cart (remove)
	5.	Advances in cryptology--CRYPTO '88 : proceedings / S. Goldwasser (Ed.) by Goldwasser, S Series: Lecture notes in computer science, 403 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1990 Availability: Items available for loan: Central Library, SUST (3)Call number: 005.82 ADV, ... Place hold Add to cart (remove)
	6.	Algorithmic number theory : first international symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994 : proceedings / Leonard M. Adleman, Ming-Deh Huang, eds. by Adleman, Leonard M Huang, Ming-Deh A Algorithmic Number Theory Symposium (1st : 1994 : Ithaca, N.Y.) Series: Lecture notes in computer science ; 877 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, c1994 Availability: Items available for loan: Central Library, SUST (1)Call number: 512.7 ALG. Place hold Add to cart (remove)