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

Results
	341.	Simplicity is Complex [electronic resource] : Foundations of Cyber-Physical System Design / by Kopetz, Hermann [author.] SpringerLink (Online service) 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)
	342.	Arto Salomaa: Mathematician, Computer Scientist, and Teacher [electronic resource] : A Thematic Biography / by Paakki, Jukka [author.] SpringerLink (Online service) 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)
	343.	Variable Neighborhood Search [electronic resource] : 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3–5, 2019, Revised Selected Papers / by Benmansour, Rachid [editor.] Sifaleras, Angelo [editor.] Mladenović, Nenad [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12010 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)
	344.	A Pipelined Multi-Core Machine with Operating System Support [electronic resource] : Hardware Implementation and Correctness Proof / by Lutsyk, Petro [author.] Oberhauser, Jonas [author.] Paul, Wolfgang J [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9999 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)
	345.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by Zarges, Christine [editor.] Verel, Sébastien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12692 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)
	346.	Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence [electronic resource] : 9th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31 – June 3, 2022, Proceedings, Part II / by Ferrández Vicente, José Manuel [editor.] Álvarez-Sánchez, José Ramón [editor.] de la Paz López, Félix [editor.] Adeli, Hojjat [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13259 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)
	347.	OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings / by Müller, Matthias S [editor.] Chapman, Barbara [editor.] de Supinski, Bronis R [editor.] Malony, Allen D [editor.] Voss, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4315 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)
	348.	Risks and Security of Internet and Systems [electronic resource] : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers / by Cuppens, Frédéric [editor.] Cuppens, Nora [editor.] Lanet, Jean-Louis [editor.] Legay, Axel [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10158 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)
	349.	Independent Component Analysis and Signal Separation [electronic resource] : 7th International Conference, ICA 2007, London, UK, September 9-12, 2007, Proceedings / by Davies, Mike E [editor.] James, Christopher C [editor.] Abdallah, Samer A [editor.] Plumbley, Mark D [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4666 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)
	350.	Transactions on Computational Science XXXIII [electronic resource] / by Gavrilova, Marina L [editor.] Tan, C.J. Kenneth [editor.] SpringerLink (Online service) Series: Transactions on Computational Science ; 10990 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	351.	Enjoying Natural Computing [electronic resource] : Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday / by Graciani, Carmen [editor.] Riscos-Núñez, Agustín [editor.] Păun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11270 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)
	352.	Cellular Automata and Discrete Complex Systems [electronic resource] : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings / by Castillo-Ramirez, Alonso [editor.] de Oliveira, Pedro P. B [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11525 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)
	353.	Big Data – BigData 2019 [electronic resource] : 8th International Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / by Chen, Keke [editor.] Seshadri, Sangeetha [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11514 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)
	354.	Computational Complexity and Property Testing [electronic resource] : On the Interplay Between Randomness and Computation / by Goldreich, Oded [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12050 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)
	355.	Graph Transformation for Software Engineers [electronic resource] : With Applications to Model-Based Development and Domain-Specific Language Engineering / by Heckel, Reiko [author.] Taentzer, Gabriele [author.] SpringerLink (Online service) 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)
	356.	Technology-Inspired Smart Learning for Future Education [electronic resource] : 29th National Conference on Computer Science Technology and Education, NCCSTE 2019, Kaifeng, China, October 9–11, 2019, Revised Selected Papers / by Hong, Wenxing [editor.] Li, Chao [editor.] Wang, Qing [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1216 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)
	357.	Understanding Programming Languages [electronic resource] / by Jones, Cliff B [author.] SpringerLink (Online service) 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)
	358.	Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems [electronic resource] : Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings / by Lakhnech, Yassine [editor.] Yovine, Sergio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3253 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)
	359.	Modeling Decisions for Artificial Intelligence [electronic resource] : Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006, Proceedings / by Torra, Vincenc [editor.] Narukawa, Yasuo [editor.] Valls, Aïda [editor.] Domingo-Ferrer, Josep [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3885 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	360.	Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by Aceto, Luca [editor.] Damgaard, Ivan [editor.] Goldberg, Leslie Ann [editor.] Halldorsson, Magnus M [editor.] Ingolfsdottir, Anna [editor.] Walukiewicz, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5126 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2608 results.