Results of search for 'ccl=su:{Computer Science.} and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	6321.	Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / by Meyer, Bertrand [editor.] Nordio, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7007 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)
	6322.	Understanding Planning Tasks [electronic resource] : Domain Complexity and Heuristic Decomposition / by Helmert, Malte [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4929 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6323.	Number Theory and Cryptography [electronic resource] : Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday / by Fischlin, Marc [editor.] Katzenbeisser, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8260 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6324.	Transactions on Petri Nets and Other Models of Concurrency VI [electronic resource] / by van der Aalst, Wil M. P [editor.] Ajmone Marsan, Marco [editor.] Franceschinis, Giuliana [editor.] Kleijn, Jetty [editor.] Kristensen, Lars M [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 7400 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)
	6325.	Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers / by Fernandes, João M [editor.] Lämmel, Ralf [editor.] Visser, Joost [editor.] Saraiva, João [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6491 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6326.	Advanced Functional Programming [electronic resource] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / by Koopman, Pieter [editor.] Swierstra, Doaitse [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5832 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6327.	In Search of Elegance in the Theory and Practice of Computation [electronic resource] : Essays dedicated to Peter Buneman / by Tannen, Val [editor.] Wong, Limsoon [editor.] Libkin, Leonid [editor.] Fan, Wenfei [editor.] Tan, Wang-Chiew [editor.] Fourman, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8000 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6328.	Transactions on Computational Collective Intelligence VIII [electronic resource] / by Nguyen, Ngoc-Thanh [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 7430 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)
	6329.	Facing the Multicore-Challenge III [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / by Keller, Rainer [editor.] Kramer, David [editor.] Weiß, Jan-Philipp [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7686 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6330.	Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / by Liu, Zhiming [editor.] Woodcock, Jim [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8050 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6331.	The Evolution of Conceptual Modeling [electronic resource] : From a Historical Perspective towards the Future of Conceptual Modeling / by Kaschek, Roland [editor.] Delcambre, Lois M.L [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6520 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6332.	Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / by Giachino, Elena [editor.] Hähnle, Reiner [editor.] de Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7866 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6333.	Journal on Data Semantics XIV [electronic resource] / by Spaccapietra, Stefano [editor.] Delcambre, Lois [editor.] SpringerLink (Online service) Series: Journal on Data Semantics ; 5880 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6334.	Language, Culture, Computation: Computing for the Humanities, Law, and Narratives [electronic resource] : Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II / by Dershowitz, Nachum [editor.] Nissan, Ephraim [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8002 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6335.	Transactions on Aspect-Oriented Software Development IX [electronic resource] / by Leavens, Gary T [editor.] Chiba, Shigeru [editor.] Haupt, Michael [editor.] Ostermann, Klaus [editor.] Wohlstadter, Eric [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 7271 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)
	6336.	Transactions on Computational Systems Biology XI [electronic resource] : Computational Models for Cell Processes / by Priami, Corrado [editor.] SpringerLink (Online service) Series: Transactions on Computational Systems Biology ; 5750 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6337.	Transactions on Petri Nets and Other Models of Concurrency IX [electronic resource] / by Koutny, Maciej [editor.] Haddad, Serge [editor.] Yakovlev, Alex [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 8910 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6338.	Transactions on Data Hiding and Multimedia Security X [electronic resource] / by Shi, Yun Q [editor.] SpringerLink (Online service) Series: Transactions on Data Hiding and Multimedia Security ; 8948 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6339.	Transactions on Aspect-Oriented Software Development VI [electronic resource] : Special Issue on Aspects and Model-Driven Engineering / by Katz, Shmuel [editor.] Ossher, Harold [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 5560 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6340.	Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / by Kuich, Werner [editor.] Rahonis, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7020 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 8324 results.