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

Results
	861.	Trust, Privacy, and Security in Digital Business [electronic resource] : Second International Conference, TrustBus 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings / by Katsikas, Sokratis [editor.] Pernul, Günther [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3592 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)
	862.	Computer Aided Verification [electronic resource] : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / by Etessami, Kousha [editor.] Rajamani, Sriram K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3576 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)
	863.	Algorithmic Learning Theory [electronic resource] : 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings / by Jain, Sanjay [editor.] Simon, Hans Ulrich [editor.] Tomita, Etsuji [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3734 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)
	864.	Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 / by Sassone, Vladimiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3441 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)
	865.	Hardware and Software: Verification and Testing [electronic resource] : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings / by Yahav, Eran [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8855 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)
	866.	The Discrete Math Workbook [electronic resource] : A Companion Manual Using Python / by Kurgalin, Sergei [author.] Borzunov, Sergei [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 2nd 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)
	867.	Guide to Graph Colouring [electronic resource] : Algorithms and Applications / by Lewis, R. M. R [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 2nd ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	868.	Fundamentals of Logic and Computation [electronic resource] : With Practical Automated Reasoning and Verification / by Hou, Zhe [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	869.	Radical Innovations of Software and Systems Engineering in the Future [electronic resource] : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers / by Wirsing, Martin [editor.] Knapp, Alexander [editor.] Balsamo, Simonetta [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2941 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	870.	Decision Support Systems IX: Main Developments and Future Trends [electronic resource] : 5th International Conference on Decision Support System Technology, EmC-ICDSST 2019, Funchal, Madeira, Portugal, May 27–29, 2019, Proceedings / by Freitas, Paulo Sérgio Abreu [editor.] Dargam, Fatima [editor.] Moreno, José Maria [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 348 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)
	871.	Decision Support Systems X: Cognitive Decision Support Systems and Technologies [electronic resource] : 6th International Conference on Decision Support System Technology, ICDSST 2020, Zaragoza, Spain, May 27–29, 2020, Proceedings / by Moreno-Jiménez, José María [editor.] Linden, Isabelle [editor.] Dargam, Fatima [editor.] Jayawickrama, Uchitha [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 384 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)
	872.	Computer Information Systems and Industrial Management [electronic resource] : 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22–24, 2023, Proceedings / by Saeed, Khalid [editor.] Dvorský, Jiří [editor.] Nishiuchi, Nobuyuki [editor.] Fukumoto, Makoto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14164 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	873.	KI 2023: Advances in Artificial Intelligence [electronic resource] : 46th German Conference on AI, Berlin, Germany, September 26–29, 2023, Proceedings / by Seipel, Dietmar [editor.] Steen, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14236 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	874.	Formal Methods and Testing [electronic resource] : An Outcome of the FORTEST Network. Revised Selected Papers / by Hierons, Robert M [editor.] Bowen, Jonathan P [editor.] Harman, Mark [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4949 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)
	875.	Security and Privacy in Social Networks and Big Data [electronic resource] : 9th International Symposium, SocialSec 2023, Canterbury, UK, August 14–16, 2023, Proceedings / by Arief, Budi [editor.] Monreale, Anna [editor.] Sirivianos, Michael [editor.] Li, Shujun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14097 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	876.	Advances to Homomorphic and Searchable Encryption [electronic resource] / by Nita, Stefania Loredana [author.] Mihailescu, Marius Iulian [author.] SpringerLink (Online service) Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	877.	Formal Modeling and Analysis of Timed Systems [electronic resource] : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers / by Larsen, Kim G [editor.] Niebert, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2791 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	878.	Formal Concept Analysis [electronic resource] : Foundations and Applications / by Ganter, Bernhard [editor.] Stumme, Gerd [editor.] Wille, Rudolf [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3626 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)
	879.	Computational Science and Its Applications - ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part II / by Gervasi, Osvaldo [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Laganà, Antonio [editor.] Lee, Heow Pueh [editor.] Mun, Youngson [editor.] Taniar, David [editor.] Tan, Chih Jeng Kenneth [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3481 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)
	880.	Text Analysis Pipelines [electronic resource] : Towards Ad-hoc Large-Scale Text Mining / by Wachsmuth, Henning [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9383 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Your search returned 1357 results.