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

Results
	2241.	Formal Methods in Macro-Biology [electronic resource] : First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings / by Fages, François [editor.] Piazza, Carla [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 8738 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)
	2242.	Descriptional Complexity of Formal Systems [electronic resource] : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings / by Jürgensen, Helmut [editor.] Karhumäki, Juhani [editor.] Okhotin, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8614 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)
	2243.	Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / by Croitoru, Madalina [editor.] Rudolph, Sebastian [editor.] Woltran, Stefan [editor.] Gonzales, Christophe [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8323 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)
	2244.	FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / by Giannakopoulou, Dimitra [editor.] Mery, Dominique [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7436 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)
	2245.	Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / by Liu, Zhiming [editor.] Woodcock, Jim [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8051 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)
	2246.	Advances in Multimedia Information Systems [electronic resource] : 11th International Workshop, MIS 2005, Sorrento, Italy, September 19-21, 2005, Proceedings / by Candan, K. Selçuk [editor.] Celentano, Augusto [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3665 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)
	2247.	Biometric Recognition [electronic resource] : 13th Chinese Conference, CCBR 2018, Urumqi, China, August 11-12, 2018, Proceedings / by Zhou, Jie [editor.] Wang, Yunhong [editor.] Sun, Zhenan [editor.] Jia, Zhenhong [editor.] Feng, Jianjiang [editor.] Shan, Shiguang [editor.] Ubul, Kurban [editor.] Guo, Zhenhua [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10996 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)
	2248.	Knowledge Science, Engineering and Management [electronic resource] : 11th International Conference, KSEM 2018, Changchun, China, August 17–19, 2018, Proceedings, Part I / by Liu, Weiru [editor.] Giunchiglia, Fausto [editor.] Yang, Bo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11061 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)
	2249.	Security Standardisation Research [electronic resource] : 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings / by Cremers, Cas [editor.] Lehmann, Anja [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11322 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)
	2250.	Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications [electronic resource] : 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers / by Mirto, Ignazio Mauro [editor.] Monteleone, Mario [editor.] Silberztein, Max [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 987 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2251.	Graph Transformation [electronic resource] : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings / by Guerra, Esther [editor.] Orejas, Fernando [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11629 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2252.	WEIZAC: An Israeli Pioneering Adventure in Electronic Computing (1945–1963) [electronic resource] / by Corry, Leo [author.] Leviathan, Raya [author.] SpringerLink (Online service) Series: SpringerBriefs in History of Science and Technology Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2253.	Concise Guide to Software Testing [electronic resource] / by O'Regan, Gerard [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2254.	Semantics [electronic resource] / by Kornai, András [author.] SpringerLink (Online service) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2255.	Human Aspects of IT for the Aged Population. Technologies, Design and User Experience [electronic resource] : 6th International Conference, ITAP 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by Gao, Qin [editor.] Zhou, Jia [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12207 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2256.	Blockchain: Empowering Secure Data Sharing [electronic resource] / by Shen, Meng [author.] Zhu, Liehuang [author.] Xu, Ke [author.] SpringerLink (Online service) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2257.	Learning and Intelligent Optimization [electronic resource] : 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers / by Kotsireas, Ilias S [editor.] Pardalos, Panos M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12096 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2258.	Computing and Combinatorics [electronic resource] : 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020, Proceedings / by Kim, Donghyun [editor.] Uma, R. N [editor.] Cai, Zhipeng [editor.] Lee, Dong Hoon [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12273 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2259.	Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV [electronic resource] : International Workshop, COINE 2022, Virtual Event, May 9, 2022, Revised Selected Papers / by Ajmeri, Nirav [editor.] Morris Martin, Andreasa [editor.] Savarimuthu, Bastin Tony Roy [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13549 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2260.	Information Security and Privacy [electronic resource] : 27th Australasian Conference, ACISP 2022, Wollongong, NSW, Australia, November 28–30, 2022, Proceedings / by Nguyen, Khoa [editor.] Yang, Guomin [editor.] Guo, Fuchun [editor.] Susilo, Willy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13494 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 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 9091 results.