Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Operating systems Computers and su-to:Operating Systems and su-to:Artificial intelligence' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	41.	Supercomputing Frontiers [electronic resource] : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings / by Yokota, Rio [editor.] Wu, Weigang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10776 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	42.	Distributed Computing in Sensor Systems [electronic resource] : First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings / by Prasanna, Viktor K [editor.] Iyengar, Sitharama [editor.] Spirakis, Paul [editor.] Welsh, Matt [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 3560 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)
	43.	Neural Information Processing [electronic resource] : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14–18, 2017, Proceedings, Part VI / by Liu, Derong [editor.] Xie, Shengli [editor.] Li, Yuanqing [editor.] Zhao, Dongbin [editor.] El-Alfy, El-Sayed M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10639 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)
	44.	Organized Adaption in Multi-Agent Systems [electronic resource] : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers / by Vouros, George [editor.] Artikis, Alexander [editor.] Stathis, Kostas [editor.] Pitt, Jeremy [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5368 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)
	45.	Brain Informatics [electronic resource] : International Conference, BI 2017, Beijing, China, November 16-18, 2017, Proceedings / by Zeng, Yi [editor.] He, Yong [editor.] Kotaleski, Jeanette Hellgren [editor.] Martone, Maryann [editor.] Xu, Bo [editor.] Peng, Hanchuan [editor.] Luo, Qingming [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10654 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)
	46.	Brain-Inspired Computing [electronic resource] : Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers / by Amunts, Katrin [editor.] Grandinetti, Lucio [editor.] Lippert, Thomas [editor.] Petkov, Nicolai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10087 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)
	47.	Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by Hoos, Holger H [editor.] Mitchell, David G [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3542 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)
	48.	Theory and Applications of Satisfiability Testing - SAT 2009 [electronic resource] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings / by Kullmann, Oliver [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5584 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)
	49.	Network and Parallel Computing [electronic resource] : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011, Proceedings / by Altman, Erik [editor.] Shi, Weisong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6985 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)
	50.	Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by Bacchus, Fahiem [editor.] Walsh, Toby [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3569 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)
	51.	Distributed Computing in Sensor Systems [electronic resource] : 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008, Proceedings / by Nikoletseas, Sotiris [editor.] Chlebus, Bogdan [editor.] Johnson, David B [editor.] Krishnamachari, Bhaskar [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5067 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)
	52.	Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by Meyer, Bertrand [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4171 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)
	53.	Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings / by Biere, Armin [editor.] Gomes, Carla P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4121 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)
	54.	Ubiquitous Intelligence and Computing [electronic resource] : Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings / by Jin, Hai [editor.] Yang, Laurence T [editor.] Tsai, Jeffrey J.-P [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4159 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)
	55.	Verification and Evaluation of Computer and Communication Systems [electronic resource] : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings / by Barkaoui, Kamel [editor.] Boucheneb, Hanifa [editor.] Mili, Ali [editor.] Tahar, Sofiène [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10466 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)
	56.	Engineering Self-Organising Systems [electronic resource] : Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers / by Brueckner, Sven A [editor.] Di Marzo Serugendo, Giovanni [editor.] Hales, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3910 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)
	57.	Engineering Self-Organising Systems [electronic resource] : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / by Brueckner, Sven [editor.] Hassas, Salima [editor.] Jelasity, Mark [editor.] Yamins, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4335 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)
	58.	Distributed Computing in Sensor Systems [electronic resource] : Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings / by Aspnes, James [editor.] Scheideler, Christian [editor.] Arora, Anish [editor.] Madden, Samuel [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4549 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)
	59.	Ambient Intelligence [electronic resource] : European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007, Proceedings / by Schiele, Bernt [editor.] Dey, Anind K [editor.] Gellersen, Hans [editor.] Tscheligi, Manfred [editor.] Wichert, Reiner [editor.] Aerts, Emile [editor.] Buchmann, Alejandro [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4794 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)
	60.	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7610 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 99 results.