Results of search for 'ccl=se,phr:"Lecture notes in computer science."'

Results
	21.	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)
	22.	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)
	23.	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)
	24.	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)
	25.	Computer aided verification by Larsen, K Skou, A 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 LAR-SKO. Add to cart (remove)
	26.	Static analysis by Cousot, Patrick Falaschi, Moreno File, Gilberto & others Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer Verlag 1993 Availability: Items available for loan: Goa University Library (1)Call number: 531.12 COU/Sta. Add to cart (remove)
	27.	The nested universal relation database model / M. Levene. by Levene, M. (Mark), 1967- Series: Lecture notes in computer science ; 595 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, 1992 Availability: Items available for loan: Goa University Library (1)Call number: 005.74 LEV/Nes. Add to cart (remove)
	28.	Networking 2002 by Gregori, Enrico Conti, Marco Campbell, Andrew Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer 2002 Availability: Items available for loan: Goa University Library (1)Call number: 004.62 GRE/Net. Add to cart (remove)
	29.	Foundations of information and knowledge systems by Eiter, Thomas Schewe, Klaus-Dieter Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer 2002 Availability: Items available for loan: Goa University Library (1)Call number: 006.33 EIT-SCH. Add to cart (remove)
	30.	Advances in Artificial Intelligence by Cohen, Robin Spencer, Bruce Series: Lecture Notes in Artificial Intelligence \| Lecture Notes in Computer Science Material type: Text Publication details: New York Springer 2002 Availability: Items available for loan: Goa University Library (1)Call number: 006.3 COH-SPE. Add to cart (remove)
	31.	Attribute Grammars,Applications and Systems by Melichar, Alblas 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: 001.4 ACB-MEL. Add to cart (remove)
	32.	Machine Learning:From Theory to Applications by Hanson, S Remmele, W Rivest, R Series: Lecture Notes in Computer Science Material type: Text Publication details: Berlin Springer-Verlag 1993 Availability: Items available for loan: Goa University Library (1)Call number: 006.31 HAN/Mac. Add to cart (remove)
	33.	Field-Programmable Gate Arrays:Architecture and Tools for Rapid Prototyping by Grubacher, Herbert Hartenstein, W Series: Lecture Notes in Computer Science Material type: Text Publication details: Berlin Springer-Verlag 1993 Availability: Items available for loan: Goa University Library (1)Call number: 004.35 GRU-HAR. Add to cart (remove)
	34.	A Formal Model of Visualization in Computer Graphics Systems by Goos, G Hartmanis, J 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: 006.6 ONO-KAW. Add to cart (remove)
	35.	Axioms and Hulls by Knuth, E Series: Lecture Notes in Computer Science Material type: Text Publication details: Berlin Springer-Verlag 1992 Availability: Items available for loan: Goa University Library (1)Call number: 511.3 KUN/Axi. Add to cart (remove)
	36.	The design of an extendible graph editor / Frances Newbery Paulisch. by Paulisch, Frances Newbery [Author] Series: Lecture notes in computer science ; 704 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, 1993 Availability: Items available for loan: Goa University Library (1)Call number: 006.6 PAU/Des. Add to cart (remove)
	37.	A generative theory of shape / Michael Leyton. by Leyton, Michael [Author] Series: Lecture notes in computer science ; 2145 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, 2001 Availability: Items available for loan: Goa University Library (1)Call number: 516 LEY/Gen. Add to cart (remove)
	38.	Least squares orthogonal distance fitting of curves and surfaces in space / Sung Joon Ahn. by Ahn, Sung Joon [Author] Series: Lecture notes in computer science ; 3151 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, 2004 Online resources: Click here to access online Click here to access online Availability: Items available for loan: Goa University Library (1)Call number: 511.42 AHN/Lea. Add to cart (remove)
	39.	Graph-based representations in pattern recognition : Luc Brun, Mario Vento [eds.]. 5th IAPR international workshop, GbRPR 2005, Poitiers, France, April 11-13, 2005 : proceedings / by GbRPR 2005 Poitiers, France) (2005 Brun, Luc Vento, Mario, 1960- Series: Lecture notes in computer science ; 3434 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, 2005 Availability: Items available for loan: Goa University Library (1)Call number: 006.42 BRU-VEN. Add to cart (remove)
	40.	3D structures from images - SMILE 2000 : Marc Pollefeys ... [et al.]. Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments, Dublin, Ireland, July 1-2, 2000 : revised papers / by European Workshop on 3D Structure from Multiple Images of Large-Scale Environments Dublin, Ireland) 2000 : (2nd Pollefeys, Marc Series: Lecture notes in computer science ; 2018 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, 2001 Availability: Items available for loan: Goa University Library (1)Call number: 621.367 POL/Str. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 66 results.