Results of search for 'pl:"Berlin,"'

Results
	1.	Software reliability modeling and identification. Vol 341 by Bittanti, Sergio Ed Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer 1988 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005 BIT/S. Place hold Add to cart (remove)
	2.	Agent oriented software engineering by Ciancarin, Paolo Wooldridge, Michael J Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer 2001 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.1 CIA/A. Place hold Add to cart (remove)
	3.	Software reliability modeling and identification by Bittanti, Sergio Series: Lecture Notes in Computer Science:341 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer 1988 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005 BIT/S. Place hold Add to cart (remove)
	4.	Entity relationship modeling: Foundations of database technology by Thalheim, Bernhard Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer 2000 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.74 THA/E. Place hold Add to cart (remove)
	5.	Principles of program analysis by Nielson, Flemming Hankin, Chris Neilson, Hanne Riis Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer 1999 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.12 NIE/P. Place hold Add to cart (remove)
	6.	Systems and software verification: Model checking techniques and tools by Berard A Bidoit M Finkel A Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer 1999 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.14 BER/S. Place hold Add to cart (remove)
	7.	ZUM 95, The Z formal specification notation, Nineth International Conference of Z users,Proceedings 1995 by Bowen, Jonathan P Hinchey, Michael G Series: Lecture Notes in Computer Science, 967 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer 1995 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.131 BOW/Z. Place hold Add to cart (remove)
	8.	ZUM 97, The Z formal specification notation, Tenth International Conference of Z Users, Proceedings, 1997. by Bowen, Jonathan P Hinchey, Michael G Till, David Series: Lecture Notes in Computer Science,1212 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer 1997 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.131 BOW/Z. Place hold Add to cart (remove)
	9.	ZUM 98, Z formal specification notation, Eleventh International Conference of Z Users, Proceedings, 1998. by Bowen,Jonathan P Fett, Andreas Hinchey, Michael G Series: Lecture Notes in Computer Science,1493 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer 1998 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.131 BOW/Z. Place hold Add to cart (remove)
	10.	Semantic web: Fourth Asian Conference ASWC 2009 Shanghai, China, December 2009 Proceedings by Gomez Perez, Asuncion Ding, Ying Yu, Yong Series: Lecture Notes in Computer Science No. 5926 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer 2009 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 004.678S GOM/S. Place hold Add to cart (remove)
	11.	Environmental information systems by Gunther, Oliver Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer 1998 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 025.06 GUN/E. Place hold Add to cart (remove)
	12.	Semantic web information management: A model based perspective by Virgilio, Roberto De Giunchiglia, Fausto Tanca, Letizia Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer 2010 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 004.678S VIR/S. Place hold Add to cart (remove)
	13.	Agents and data mining interaction : 6th International Workshop on Agents and Data Mining Interaction, ADMI 2010, Toronto, On, Canada, May 11, 2010 : revised selected papers Longbing Cao ... [et al.] (eds). by Cao, Longbing Series: Springer lecture notes in Computer Science \| Springer lecture notes in Artificial Intelligence Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin, Springer, 2010 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 006.312 CAO/A. Place hold Add to cart (remove)
	14.	Multimedia retrieval Henk M. Blanken ... [et al.] (eds.). by Blanken, H. M Arjen P.De Vries Henk Ernst Blok Ling Feng Series: Data-centric systems and applications Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin, Springer, 2007 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 025.04 BLA/M. Place hold Add to cart (remove)
	15.	Progress in geomathematics edited by Graeme Bonham-Carter, Cheng Qiuming by Bonham-Carter, G Cheng, O Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin, Springer, 2008 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 551.0151 CAR/P. Place hold Add to cart (remove)
	16.	Security in computing systems: challenges, approaches and solutions by Joachim Biskup by Biskup, J Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin, Springer, 2009 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.82 BIS/S. Place hold Add to cart (remove)
	17.	A course in computational algebraic number theory by Henri Cohen by Cohen, Henri Series: Graduate texts in mathematics ; 138 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin, Springer, 1993 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 512.74 COH/C;1. Place hold Add to cart (remove)
	18.	Echo-planar imaging: Theory, technique and application by F Scmitt, M.K Stehling; R.Turner by Schmitt, F Stehling, M.K Turner, R Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin, Springer, 1998 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 616.07548 SCH/E. Place hold Add to cart (remove)
	19.	MRI in epilepsy edited by Horst Urbach by Urbach, Horst Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin, Springer, 2013 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 616.85307548 URB/M. Place hold Add to cart (remove)
	20.	Semantic grid: Model, methodology and applications by Zhaohui Wu; Huajun Chen by Wu, Zhaohui Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin, Springer, 2008 Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 004.36 WU/S. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 28 results.