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

Results
	6881.	Applied Parallel Computing [electronic resource] : State of the Art in Scientific Computing. 8th International Workshop, PARA 2006, Umea, Sweden, June 18-21, 2006, Revised Selected Papers / by Kagström, Bo [editor.] Elmroth, Erik [editor.] Dongarra, Jack [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4699 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)
	6882.	Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / by Kreowski, Hans-Jörg [editor.] Montanari, Ugo [editor.] Orejas, Fernando [editor.] Rozenberg, Grzegorz [editor.] Taentzer, Gabriele [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3393 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)
	6883.	Transactional Memory. Foundations, Algorithms, Tools, and Applications [electronic resource] : COST Action Euro-TM IC1001 / by Guerraoui, Rachid [editor.] Romano, Paolo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8913 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)
	6884.	Genetic and Evolutionary Computation — GECCO 2004 [electronic resource] : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26–30, 2004 Proceedings, Part II / by Deb, Kalyanmoy [editor.] Poli, Riccardo [editor.] Banzhaf, Wolfgang [editor.] Beyer, Hans-Georg [editor.] Burke, Edmund [editor.] Darwen, Paul [editor.] Dasgupta, Dipankar [editor.] Floreano, Dario [editor.] Foster, James A [editor.] Harman, Mark [editor.] Holland, Owen [editor.] Lanzi, Pier Luca [editor.] Spector, Lee [editor.] Tettamanzi, Andrea [editor.] Thierens, Dirk [editor.] Tyrrell, Andy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3103 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)
	6885.	Genetic and Evolutionary Computation — GECCO 2004 [electronic resource] : Genetic and Evolutionary Computation Conference Seattle, WA, USA, June 26–30, 2004, Proceedings, Part I / by Deb, Kalyanmoy [editor.] Poli, Riccardo [editor.] Banzhaf, Wolfgang [editor.] Beyer, Hans-Georg [editor.] Burke, Edmund [editor.] Darwen, Paul [editor.] Dasgupta, Dipankar [editor.] Floreano, Dario [editor.] Foster, James A [editor.] Harman, Mark [editor.] Holland, Owen [editor.] Lanzi, Pier Luca [editor.] Spector, Lee [editor.] Tettamanzi, Andrea [editor.] Thierens, Dirk [editor.] Tyrrell, Andy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3102 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)
	6886.	Algorithm Engineering [electronic resource] : Selected Results and Surveys / by Kliemann, Lasse [editor.] Sanders, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9220 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)
	6887.	Foundations of Security Analysis and Design VIII [electronic resource] : FOSAD 2014/2015/2016 Tutorial Lectures / by Aldini, Alessandro [editor.] Lopez, Javier [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9808 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)
	6888.	ModelEd, TestEd, TrustEd [electronic resource] : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday / by Katoen, Joost-Pieter [editor.] Langerak, Rom [editor.] Rensink, Arend [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10500 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)
	6889.	Text Processing [electronic resource] : FIRE 2016 International Workshop, Kolkata, India, December 7–10, 2016, Revised Selected Papers / by Majumder, Prasenjit [editor.] Mitra, Mandar [editor.] Mehta, Parth [editor.] Sankhavara, Jainisha [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10478 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)
	6890.	Braverman Readings in Machine Learning. Key Ideas from Inception to Current State [electronic resource] : International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks / by Rozonoer, Lev [editor.] Mirkin, Boris [editor.] Muchnik, Ilya [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11100 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)
	6891.	Foundations of Security, Protocols, and Equational Reasoning [electronic resource] : Essays Dedicated to Catherine A. Meadows / by Guttman, Joshua D [editor.] Landwehr, Carl E [editor.] Meseguer, José [editor.] Pavlovic, Dusko [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11565 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)
	6892.	Advances in Signal Processing and Intelligent Recognition Systems [electronic resource] : 5th International Symposium, SIRS 2019, Trivandrum, India, December 18–21, 2019, Revised Selected Papers / by Thampi, Sabu M [editor.] Hegde, Rajesh M [editor.] Krishnan, Sri [editor.] Mukhopadhyay, Jayanta [editor.] Chaudhary, Vipin [editor.] Marques, Oge [editor.] Piramuthu, Selwyn [editor.] Corchado, Juan M [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1209 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)
	6893.	Logic, Language, and Security [electronic resource] : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / by Nigam, Vivek [editor.] Ban Kirigin, Tajana [editor.] Talcott, Carolyn [editor.] Guttman, Joshua [editor.] Kuznetsov, Stepan [editor.] Thau Loo, Boon [editor.] Okada, Mitsuhiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12300 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)
	6894.	Deductive Software Verification: Future Perspectives [electronic resource] : Reflections on the Occasion of 20 Years of KeY / by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Hähnle, Reiner [editor.] Ulbrich, Mattias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12345 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)
	6895.	Probabilistic Graphical Models [electronic resource] : Principles and Applications / by Sucar, Luis Enrique [author.] SpringerLink (Online service) Series: Advances in Computer Vision and Pattern Recognition 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)
	6896.	Algebra and Geometry with Python [electronic resource] / by Kurgalin, Sergei [author.] Borzunov, Sergei [author.] SpringerLink (Online service) 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)
	6897.	Big Data Analytics and Knowledge Discovery [electronic resource] : 23rd International Conference, DaWaK 2021, Virtual Event, September 27–30, 2021, Proceedings / by Golfarelli, Matteo [editor.] Wrembel, Robert [editor.] Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12925 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)
	6898.	Introduction to Privacy Enhancing Technologies [electronic resource] : A Classification-Based Approach to Understanding PETs / by Adams, Carlisle [author.] SpringerLink (Online service) 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)
	6899.	Blockchain Foundations and Applications [electronic resource] / by Yi, Xun [author.] Yang, Xuechao [author.] Kelarev, Andrei [author.] Lam, Kwok Yan [author.] Tari, Zahir [author.] SpringerLink (Online service) Series: SpringerBriefs in Applied Sciences and Technology 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)
	6900.	Explainable and Transparent AI and Multi-Agent Systems [electronic resource] : 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers / by Calvaresi, Davide [editor.] Najjar, Amro [editor.] Winikoff, Michael [editor.] Främling, Kary [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13283 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.