Results of search for 'ccl=su:{Theory of Computation.} and su-to:Computers' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Random numbers and computers by Kneusel, Ronald T Material type: Text; Format: print ; Literary form: Not fiction Publication details: Switzerland : Springer, ©2018 Availability: Items available for loan: IIITD (1)Call number: REF 518 KNE-R. Place hold Add to cart (remove)
	2.	Advances in Petri Nets 1992 [electronic resource] / by Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 609 Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Evolving OpenMP in an Age of Extreme Parallelism [electronic resource] : 5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings / by Müller, Matthias S [editor.] de Supinski, Bronis R [editor.] Chapman, Barbara [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5568 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)
	4.	Programming Languages and Systems [electronic resource] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by Caires, Luís [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11423 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)
	5.	Computer Algebra in Scientific Computing [electronic resource] : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings / by Boulier, François [editor.] England, Matthew [editor.] Sadykov, Timur M [editor.] Vorozhtsov, Evgenii V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12865 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)
	6.	Quality of Service - IWQoS 2003 [electronic resource] : 11th International Workshop, Berkeley, CA, USA, June 2-4, 2003, Proceedings / by Jeffay, Kevin [editor.] Stoica, Ion [editor.] Wehrle, Klaus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2707 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Structured Object-Oriented Formal Language and Method [electronic resource] : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / by Duan, Zhenhua [editor.] Liu, Shaoying [editor.] Tian, Cong [editor.] Nagoya, Fumiko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11392 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)
	8.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / by Dima, Catalin [editor.] Shirmohammadi, Mahsa [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12860 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)
	9.	Computer Safety, Reliability, and Security [electronic resource] : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings / by Trapp, Mario [editor.] Saglietti, Francesca [editor.] Spisländer, Marc [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13414 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)
	10.	Theory and Applications of Satisfiability Testing – SAT 2019 [electronic resource] : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings / by Janota, Mikoláš [editor.] Lynce, Inês [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11628 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)
	11.	Distributed Computing - IWDC 2003 [electronic resource] : 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings / by Das, Samir R [editor.] Das, Sajal K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2918 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I / by Wang, Fu Lee [editor.] Deng, Hepu [editor.] Lei, Jingsheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6319 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Distributed Computing [electronic resource] : 14th International Conference, DISC 2000 Toledo, Spain, October 4-6, 2000 Proceedings / by Herlihy, Maurice [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1914 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Operational Semantics for Timed Systems [electronic resource] : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by Rust, Heinrich [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3456 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)
	15.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers / by Feitelson, Dror [editor.] Rudolph, Larry [editor.] Schwiegelshohn, Uwe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2862 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Distributed Computing -- IWDC 2004 [electronic resource] : 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings / by Das, Nabanita [editor.] Sen, Arunabha [editor.] Das, Sajal K [editor.] Sinha, Bhabani P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3326 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)
	17.	Automatic Verification Methods for Finite State Systems [electronic resource] : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings / by Sifakis, Joseph [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 407 Edition: 1st ed. 1990. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	18.	Genetic Programming [electronic resource] : 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by Hu, Ting [editor.] Lourenço, Nuno [editor.] Medvet, Eric [editor.] Divina, Federico [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12101 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)
	19.	Formal Methods for Industrial Critical Systems [electronic resource] : 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings / by ter Beek, Maurice H [editor.] Ničković, Dejan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12327 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)
	20.	Theory and Applications of Satisfiability Testing – SAT 2021 [electronic resource] : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / by Li, Chu-Min [editor.] Manyà, Felip [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12831 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 363 results.