Results of search for 'ccl=pb:Springer-Verlag' › Goa University Library catalog

Results
	1.	Combinatorial Pattern Matching by Crochmore, Maxime Gusfied, Dan Series: Lecture Notes in Computer Science Material type: Text Publication details: Berlin Springer-Verlag 1994 Availability: Items available for loan: Goa University Library (1)Call number: 006.4 CRO-GUS. Add to cart (remove)
	2.	Foundations of Object-Oriented Languages by Bakker, I Rover, W Rozewberg, G Series: Lecture Notes in Computer Science Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for loan: Goa University Library (1)Call number: 005.133 BAK/Fou. Add to cart (remove)
	3.	Graph Theoretic Concepts in Computer Science by Mohring, R Series: Lecture Notes in Computer Science Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for loan: Goa University Library (1)Call number: 006.6 MOH/Gra. Add to cart (remove)
	4.	Fundamentals of Artificial Intelligence by Bible, W Jorrand, Ph Series: Lecture Notes In Computer Science Material type: Text Publication details: Berlin Springer-Verlag 1986 Availability: Items available for loan: Goa University Library (1)Call number: 001.535 LEC/232. Add to cart (remove)
	5.	Types Proofs and Programs by Barendregt, Henk Nipkow, Tobias Series: Lecture Notes in Computer Science Material type: Text Publication details: Berlin Springer-Verlag 1994 Availability: Items available for loan: Goa University Library (1)Call number: 005.3 BAR-NIP. Add to cart (remove)
	6.	Parallel and Distributed Computing:Theory and practice by Cosnard, Michel Ferreira, Afons Peters, Joseph Series: Lecture Notes in Computer Science 805 Material type: Text Publication details: Berlin Springer-Verlag 1994 Availability: Items available for loan: Goa University Library (1)Call number: 004.35 COS/Par. Add to cart (remove)
	7.	Third International Conference on Logic Programming by Shapiro, Ehud Series: Lecture Notes in Computer Science Material type: Text Publication details: Berlin Springer-Verlag 1985 Availability: Items available for loan: Goa University Library (1)Call number: 001.642 LEC/225. Add to cart (remove)
	8.	Fast Software Encryption by Anderson, Ross Series: Lecture Notes in Computer Science 809 Material type: Text Publication details: Berlin Springer-Verlag 1994 Availability: Items available for loan: Goa University Library (1)Call number: 005.82 AND/Fas. Add to cart (remove)
	9.	Categorical Methods in Computer Science With Aspects From Topology by Ehrig, H Herrlich, H Kreowski, H Series: Lecture Notes in Computer Science - 393 Material type: Text Publication details: Berlin Springer Verlag 1989 Availability: Items available for loan: Goa University Library (1)Call number: 512.55 LEC/393. Add to cart (remove)
	10.	Workflow management systems for process organisations by Schael, Thomas Series: Lecture notes in computer science Edition: 2nd ed. Material type: Text Publication details: Berlin Springer Verlag 1998 Availability: Items available for loan: Goa University Library (1)Call number: 658.54 SCH/Wor. Add to cart (remove)
	11.	Mathematics sof program construction by Jeuring, Johan Series: Lecture notes in computer science Material type: Text Publication details: Germany Springer-Verlag 1998 Availability: Items available for loan: Goa University Library (1)Call number: 005.12 JEU/MAt. Add to cart (remove)
	12.	Fundamental approaches to software engineering by Finance, Jean-Pierre Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer-verlag 1999 Availability: Items available for loan: Goa University Library (1)Call number: 005.1 FIN/Fun. Add to cart (remove)
	13.	Operating systems of the 90s and beyond by Karshmer, A Nehmer, J Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer Verlag 1991 Availability: Items available for loan: Goa University Library (1)Call number: 005.43 KAR-NEH. Add to cart (remove)
	14.	Distributed algorithms by Bermond, J Raynal, M Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer Verlag 1989 Availability: Items available for loan: Goa University Library (1)Call number: 004.36 BER-RAY. Add to cart (remove)
	15.	Software process technology by Derniame, J Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer Verlag 1991 Availability: Items available for loan: Goa University Library (1)Call number: 005.1 DER/Sof. Add to cart (remove)
	16.	Computer-aided verification by Clarke, E Kurshan, R Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer Verlag 1991 Availability: Items available for loan: Goa University Library (1)Call number: 005.14 CLA-KUR. Add to cart (remove)
	17.	VDM 91 formal software development methods by Prehn, S Toetenel, W Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer Verlag 1991 Availability: Items available for loan: Goa University Library (1)Call number: 005.1 PRE-TOE. Add to cart (remove)
	18.	Algorithms by Asano, T Ibaraki, T Imai, H & tohers Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer Verlag 1990 Availability: Items available for loan: Goa University Library (1)Call number: 005.1 ASA/Alg. Add to cart (remove)
	19.	Secure internet programming : Security issues for mobile and distributed objects by Vitek, Jan Jensen, Christian Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer Verlag 1999 Availability: Items available for loan: Goa University Library (1)Call number: 004.678 VIT-JEn. Add to cart (remove)
	20.	Mathematical foundations of programming semantics by Brookes, S Main, M Melton, A & others Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer Verlag 1991 Availability: Items available for loan: Goa University Library (1)Call number: 005.1 BRO/Mat. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 43 results.