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

Results
	321.	Formal Techniques for Distributed Systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings / by Lee, David [editor.] Lopes, Antonia [editor.] Poetzsch-Heffter, Arnd [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5522 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)
	322.	Practical Aspects of Declarative Languages [electronic resource] : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / by Pontelli, Enrico [editor.] Son, Tran Cao [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9131 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)
	323.	Advances in Cryptology – CRYPTO 2021 [electronic resource] : 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part III / by Malkin, Tal [editor.] Peikert, Chris [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12827 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)
	324.	Practical Optimization [electronic resource] : Algorithms and Engineering Applications / by Antoniou, Andreas [author.] Lu, Wu-Sheng [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: New York, NY : Springer US : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	325.	Making Knowledge Management Clickable [electronic resource] : Knowledge Management Systems Strategy, Design, and Implementation / by Hilger, Joseph [author.] Wahl, Zachary [author.] SpringerLink (Online service) 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)
	326.	Genetic Programming [electronic resource] : 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings / by Pappa, Gisele [editor.] Giacobini, Mario [editor.] Vasicek, Zdenek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13986 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)
	327.	Computational Science – ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VII / by Krzhizhanovskaya, Valeria V [editor.] Závodszky, Gábor [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] Brissos, Sérgio [editor.] Teixeira, João [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12143 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)
	328.	Deep Learning-Based Face Analytics [electronic resource] / by Ratha, Nalini K [editor.] Patel, Vishal M [editor.] Chellappa, Rama [editor.] SpringerLink (Online service) Series: Advances in Computer Vision and Pattern Recognition 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)
	329.	Large-Scale Scientific Computing [electronic resource] : 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers / by Lirkov, Ivan [editor.] Margenov, Svetozar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13127 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)
	330.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings / by Gomes, Luis [editor.] Lorenz, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13929 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)
	331.	Advances in Brain Inspired Cognitive Systems [electronic resource] : 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedings / by Liu, Cheng-Lin [editor.] Hussain, Amir [editor.] Luo, Bin [editor.] Tan, Kay Chen [editor.] Zeng, Yi [editor.] Zhang, Zhaoxiang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10023 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)
	332.	Quality, Reliability, Security and Robustness in Heterogeneous Systems [electronic resource] : 16th EAI International Conference, QShine 2020, Virtual Event, November 29–30, 2020, Proceedings / by Wu, Xi [editor.] Wu, Kaishun [editor.] Wang, Cong [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 381 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)
	333.	Model Checking, Synthesis, and Learning [electronic resource] : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by Olderog, Ernst-Rüdiger [editor.] Steffen, Bernhard [editor.] Yi, Wang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13030 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)
	334.	Convolutional Neural Networks for Medical Applications [electronic resource] / by Teoh, Teik Toe [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science 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)
	335.	Artificial Neural Networks and Machine Learning -- ICANN 2014 [electronic resource] : 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings / by Wermter, Stefan [editor.] Weber, Cornelius [editor.] Duch, Wlodzislaw [editor.] Honkela, Timo [editor.] Koprinkova-Hristova, Petia [editor.] Magg, Sven [editor.] Palm, Günther [editor.] Villa, Allessandro E.P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8681 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)
	336.	Model Checking Software [electronic resource] : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / by Biondi, Fabrizio [editor.] Given-Wilson, Thomas [editor.] Legay, Axel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11636 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)
	337.	Wireless Sensor Networks [electronic resource] : 14th China Conference, CWSN 2020, Dunhuang, China, September 18–21, 2020, Revised Selected Papers / by Hao, Zhanjun [editor.] Dang, Xiaochao [editor.] Chen, Honghong [editor.] Li, Fenfang [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1321 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)
	338.	SOFSEM 2021: Theory and Practice of Computer Science [electronic resource] : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021, Proceedings / by Bureš, Tomáš [editor.] Dondi, Riccardo [editor.] Gamper, Johann [editor.] Guerrini, Giovanna [editor.] Jurdziński, Tomasz [editor.] Pahl, Claus [editor.] Sikora, Florian [editor.] Wong, Prudence W.H [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12607 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)
	339.	NASA Formal Methods [electronic resource] : 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings / by Dutle, Aaron [editor.] Moscato, Mariano M [editor.] Titolo, Laura [editor.] Muñoz, César A [editor.] Perez, Ivan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12673 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)
	340.	Introduction to Discrete Event Systems [electronic resource] / by Cassandras, Christos G [author.] Lafortune, Stéphane [author.] SpringerLink (Online service) Edition: 3rd 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Your search returned 1357 results.