Results of search for 'ccl=Provider:Springer Berlin Heidelberg :' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1481.	Teaching Formal Methods [electronic resource] : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings / by Dean, C. Neville [editor.] Boute, Raymond T [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3294 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1482.	Computer Safety, Reliability, and Security [electronic resource] : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings / by Górski, Janusz [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4166 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1483.	Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2004 [electronic resource] : 7th International Conference Saint-Malo, France, September 26-29, 2004, Proceedings, Part II / by Barillot, Christian [editor.] Haynor, David R [editor.] Hellier, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3217 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1484.	Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers / by Schmid, Ute [editor.] Kitzelmann, Emanuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5812 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1485.	Advances in Artificial Intelligence [electronic resource] : 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I / by Sidorov, Grigori [editor.] Hernández Aguirre, Arturo [editor.] Reyes Garcia, Carlos Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6437 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1486.	Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / by Beckert, Bernhard [editor.] Damiani, Ferruccio [editor.] Gurov, Dilian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7421 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1487.	Transactions on Petri Nets and Other Models of Concurrency XII [electronic resource] / by Koutny, Maciej [editor.] Kleijn, Jetty [editor.] Penczek, Wojciech [editor.] Zhang, Mingmin [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 10470 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1488.	Pattern Recognition [electronic resource] : 26th DAGM Symposium, August 30 - September 1, 2004, Proceedings / by Rasmussen, Carl Edward [editor.] Bülthoff, Heinrich H [editor.] Schölkopf, Bernhard [editor.] Giese, Martin A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3175 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1489.	Field Programmable Logic and Application [electronic resource] : 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings / by Becker, Jürgen [editor.] Platzner, Marco [editor.] Vernalde, Serge [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3203 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1490.	Combinatorial Image Analysis [electronic resource] : 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings / by Klette, Reinhard [editor.] Zunic, Jovisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3322 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1491.	Digital Documents: Systems and Principles [electronic resource] : 8th International Conference on Digital Documents and Electronic Publishing, DDEP 2000, 5th International Workshop on the Principles of Digital Document Processing, PODDP 2000, Munich, Germany, September 13-15, 2000, Revised Papers / by King, Peter [editor.] Munson, Ethan V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2023 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1492.	Logic Programming [electronic resource] : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings / by Demoen, Bart [editor.] Lifschitz, Vladimir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3132 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1493.	Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / by Borba, Paulo [editor.] Cavalcanti, Ana [editor.] Sampaio, Augusto [editor.] Woodcook, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6153 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1494.	Cooperative Design, Visualization, and Engineering [electronic resource] : First International Conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings / by Luo, Yuhua [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3190 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1495.	Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis [electronic resource] : ECCV 2004 Workshops CVAMIA and MMBIA Prague, Czech Republic, May 15, 2004, Revised Selected Papers / by Sonka, Milan [editor.] Kakadiaris, Ioannis A [editor.] Kybic, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3117 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1496.	Power-Aware Computer Systems [electronic resource] : Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003, Revised Papers / by Falsafi, Babak [editor.] Vijaykumar, T. N [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3164 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1497.	Finite Fields and Applications [electronic resource] : 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers / by Mullen, Gary L [editor.] Poli, Alain [editor.] Stichtenoth, Henning [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2948 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1498.	Software Product-Family Engineering [electronic resource] : 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers / by Linden, Frank van der [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3014 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1499.	RFID Security and Privacy [electronic resource] : 7th International Workshop, RFIDsec 2011, Amherst, MA, USA, June 26-28, 2011, Revised Selected Papers / by Juels, Ari [editor.] Paar, Christof [editor.] SpringerLink (Online service) Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1500.	Image Analysis and Recognition [electronic resource] : International Conference ICIAR 2004, Porto, Portugal, September 29 - October 1, 2004, Proceedings, Part I / by Campilho, Aurélio [editor.] Kamel, Mohamed [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3211 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 7426 results.