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

Results
	1541.	Code-Based Cryptography [electronic resource] : 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18–19, 2019, Revised Selected Papers / by Baldi, Marco [editor.] Persichetti, Edoardo [editor.] Santini, Paolo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11666 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)
	1542.	Principles and Practice of Constraint Programming [electronic resource] : 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings / by Schiex, Thomas [editor.] de Givry, Simon [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11802 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)
	1543.	Graph Drawing and Network Visualization [electronic resource] : 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings / by Archambault, Daniel [editor.] Tóth, Csaba D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11904 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)
	1544.	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)
	1545.	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)
	1546.	Data Analytics [electronic resource] : Models and Algorithms for Intelligent Data Analysis / by Runkler, Thomas A [author.] SpringerLink (Online service) Edition: 3rd ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1547.	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)
	1548.	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)
	1549.	Combinatorial Algorithms [electronic resource] : 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022, Proceedings / by Bazgan, Cristina [editor.] Fernau, Henning [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13270 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)
	1550.	Algorithms for Big Data [electronic resource] : DFG Priority Program 1736 / by Bast, Hannah [editor.] Korzen, Claudius [editor.] Meyer, Ulrich [editor.] Penschuck, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13201 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1551.	Frontiers of Algorithmics [electronic resource] : 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14–18, 2023 Proceedings / by Li, Minming [editor.] Sun, Xiaoming [editor.] Wu, Xiaowei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13933 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)
	1552.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / by Berardi, Stefano [editor.] Coppo, Mario [editor.] Damiani, Ferruccio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3085 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)
	1553.	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)
	1554.	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)
	1555.	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)
	1556.	Static Analysis [electronic resource] : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings / by Yi, Kwangkeun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4134 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)
	1557.	Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence [electronic resource] : Fourth International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008, Proceedings / by Huang, De-Shuang [editor.] Wunsch, Donald C [editor.] Levine, Daniel S [editor.] Jo, Kang-Hyun [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5227 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)
	1558.	Arithmetic of Finite Fields [electronic resource] : First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007, Proceedings / by Carlet, Claude [editor.] Sunar, Berk [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4547 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)
	1559.	Artificial Neural Networks - ICANN 2007 [electronic resource] : 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part II / by Marques de Sá, Joaquim [editor.] Alexandre, Luis A [editor.] Duch, Wlodzislaw [editor.] Mandic, Danilo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4669 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)
	1560.	Software Process and Product Measurement [electronic resource] : International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings / by Abran, Alain [editor.] Braungarten, René [editor.] Dumke, Reiner R [editor.] Cuadrado-Gallego, Juan J [editor.] Brunekreef, Jacob [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5891 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.