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

Results
	3581.	Network and System Security [electronic resource] : 11th International Conference, NSS 2017, Helsinki, Finland, August 21–23, 2017, Proceedings / by Yan, Zheng [editor.] Molva, Refik [editor.] Mazurczyk, Wojciech [editor.] Kantola, Raimo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10394 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3582.	Algorithms and Data Structures [electronic resource] : 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings / by Dehne, Frank [editor.] Sack, Jörg-Rüdiger [editor.] Stege, Ulrike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9214 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3583.	Formal Methods for Industrial Critical Systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / by Núñez, Manuel [editor.] Güdemann, Matthias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9128 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3584.	Deontic Logic and Artificial Normative Systems [electronic resource] : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings / by Goble, Lou [editor.] Meyer, John-Jules Ch [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4048 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)
	3585.	Advances in Communication Networking [electronic resource] : 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers / by Kermarrec, Yvon [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8846 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3586.	Processes, Terms and Cycles: Steps on the Road to Infinity [electronic resource] : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday / by Middeldorp, Aart [editor.] van Oostrom, Vincent [editor.] van Raamsdonk, Femke [editor.] de Vrijer, Roel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3838 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)
	3587.	Electronic Government and the Information Systems Perspective [electronic resource] : 5th International Conference, EGOVIS 2016, Porto, Portugal, September 5-8, 2016, Proceedings / by Kő, Andrea [editor.] Francesconi, Enrico [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9831 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3588.	PRIMA 2016: Principles and Practice of Multi-Agent Systems [electronic resource] : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings / by Baldoni, Matteo [editor.] Chopra, Amit K [editor.] Son, Tran Cao [editor.] Hirayama, Katsutoshi [editor.] Torroni, Paolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9862 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3589.	Database and Expert Systems Applications [electronic resource] : 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part I / by Hartmann, Sven [editor.] Ma, Hui [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9827 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3590.	Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / by Bernardo, Marco [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9104 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3591.	50 Years of Artificial Intelligence [electronic resource] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / by Lungarella, Max [editor.] Iida, Fumiya [editor.] Bongard, Josh [editor.] Pfeifer, Rolf [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4850 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3592.	KI 2015: Advances in Artificial Intelligence [electronic resource] : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / by Hölldobler, Steffen [editor.] Peñaloza, Rafael [editor.] Rudolph, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9324 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3593.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings / by Logozzo, Francesco [editor.] Peled, Doron A [editor.] Zuck, Leonore D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4905 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)
	3594.	Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings / by Suzuki, Kenji [editor.] Higashino, Teruo [editor.] Ulrich, Andreas [editor.] Hasegawa, Toru [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5047 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)
	3595.	Risk Assessment and Risk-Driven Quality Assurance [electronic resource] : 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers / by Großmann, Jürgen [editor.] Felderer, Michael [editor.] Seehusen, Fredrik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10224 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3596.	Logic and Its Applications [electronic resource] : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings / by Ramanujam, R [editor.] Sarukkai, Sundar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5378 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)
	3597.	Structural Information and Communication Complexity [electronic resource] : 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007, Proceedings / by Prencipe, Giuseppe [editor.] Zaks, Shmuel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4474 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3598.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings / by Sawyer, Pete [editor.] Paech, Barbara [editor.] Heymans, Patrick [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4542 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3599.	Language and Automata Theory and Applications [electronic resource] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings / by Dediu, Adrian Horia [editor.] Ionescu, Armand Mihai [editor.] Martin-Vide, Carlos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5457 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)
	3600.	Bio-inspired Modeling of Cognitive Tasks [electronic resource] : Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I / by Mira, José [editor.] Álvarez, José R [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4527 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 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 8328 results.