Results of search for 'ccl=Provider:Springer, and su-ut:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1281.	Deontic Logic and Normative Systems [electronic resource] : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings / by Cariani, Fabrizio [editor.] Grossi, Davide [editor.] Meheus, Joke [editor.] Parent, Xavier [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8554 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)
	1282.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings / by Legay, Axel [editor.] Bozga, Marius [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8711 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)
	1283.	Software Architecture [electronic resource] : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings / by Avgeriou, Paris [editor.] Zdun, Uwe [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8627 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)
	1284.	Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings / by Bondavalli, Andrea [editor.] Ceccarelli, Andrea [editor.] Ortmeier, Frank [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8696 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)
	1285.	Declarative Programming and Knowledge Management [electronic resource] : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / by Hanus, Michael [editor.] Rocha, Ricardo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8439 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)
	1286.	AI 2013: Advances in Artificial Intelligence [electronic resource] : 26th Australian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings / by Cranefield, Stephen [editor.] Nayak, Abhaya C [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8272 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1287.	Trust and Trustworthy Computing [electronic resource] : 7th International Conference, TRUST 2014, Heraklion, Crete, Greece, June 30 -- July 2, 2014, Proceedings / by Holz, Thorsten [editor.] Ioannidis, Sotiris [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8564 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)
	1288.	Computer Algebra in Scientific Computing [electronic resource] : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings / by Gerdt, Vladimir P [editor.] Koepf, Wolfram [editor.] Seiler, Werner M [editor.] Vorozhtsov, Evgenii V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8660 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)
	1289.	Relational and Algebraic Methods in Computer Science [electronic resource] : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings / by Höfner, Peter [editor.] Jipsen, Peter [editor.] Kahl, Wolfram [editor.] Müller, Martin Eric [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8428 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)
	1290.	Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings / by Demri, Stéphane [editor.] Kapur, Deepak [editor.] Weidenbach, Christoph [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8562 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)
	1291.	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)
	1292.	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)
	1293.	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)
	1294.	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)
	1295.	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)
	1296.	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)
	1297.	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)
	1298.	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)
	1299.	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)
	1300.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 7935 results.