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

Results
	21.	Transactions on Petri Nets and Other Models of Concurrency XV [electronic resource] / by Koutny, Maciej [editor.] Kordon, Fabrice [editor.] Pomello, Lucia [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 12530 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	22.	Unifying Petri Nets [electronic resource] : Advances in Petri Nets / by Ehrig, Hartmut [editor.] Juhas, Gabriel [editor.] Padberg, Julia [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2128 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	23.	High Performance Computing - HiPC 2002 [electronic resource] : 9th International Conference Bangalore, India, December 18-21, 2002, Proceedings / by Sahni, Sartaj [editor.] Prasanna, Viktor K [editor.] Shukla, Uday [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2552 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	24.	SOFSEM 2002: Theory and Practice of Informatics [electronic resource] : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings / by Grosky, William I [editor.] Plasil, Frantisek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2540 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	25.	Computational Science and Its Applications - ICCSA 2003 [electronic resource] : International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part III / by Kumar, Vipin [editor.] Gavrilova, Marina L [editor.] Tan, C.J. Kenneth [editor.] L'Ecuyer, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2669 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)
	26.	Computational Science — ICCS 2003 [electronic resource] : International Conference Melbourne, Australia and St. Petersburg, Russia June 2–4, 2003 Proceedings, Part I / by Sloot, Peter M.A [editor.] Abramson, David [editor.] Bogdanov, Alexander V [editor.] Dongarra, Jack J [editor.] Zomaya, Albert Y [editor.] Gorbachev, Yuriy E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2657 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)
	27.	Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / by Jensen, Kurt [editor.] van der Aalst, Wil M. P [editor.] Balbo, Gianfranco [editor.] Koutny, Maciej [editor.] Wolf, Karsten [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 7480 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)
	28.	Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings / by Baeten, Jos C.M [editor.] Lenstra, Jan Karel [editor.] Parrow, Joachim [editor.] Woeginger, Gerhard J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2719 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)
	29.	Computational Science - ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I / by Bubak, Marian [editor.] Albada, Geert D.van [editor.] Sloot, Peter M.A [editor.] Dongarra, Jack J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3036 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)
	30.	Artificial Intelligence [electronic resource] : 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures / by Osipov, Gennady S [editor.] Panov, Aleksandr I [editor.] Yakovlev, Konstantin S [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11866 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)
	31.	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)
	32.	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)
	33.	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)
	34.	Integrated Formal Methods [electronic resource] : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / by Ahrendt, Wolfgang [editor.] Tapia Tarifa, Silvia Lizeth [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11918 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)
	35.	Computational Science – ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part III / 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 ; 12139 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)
	36.	Computational Science – ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part IV / 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 ; 12140 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)
	37.	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)
	38.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / by Albert, Elvira [editor.] Lanese, Ivan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9688 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)
	39.	Social, Cultural, and Behavioral Modeling [electronic resource] : 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings / by Thomson, Robert [editor.] Dancy, Christopher [editor.] Hyder, Ayaz [editor.] Bisgin, Halil [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10899 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)
	40.	Programming Languages and Systems [electronic resource] : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings / by Ryu, Sukyoung [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11275 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1003 results.