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

Results
	3161.	Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / by MacCaull, Wendy [editor.] Winter, Michael [editor.] Düntsch, Ivo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3929 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)
	3162.	DNA Computing and Molecular Programming [electronic resource] : 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings / by Brijder, Robert [editor.] Qian, Lulu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10467 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)
	3163.	Engineering Secure Software and Systems [electronic resource] : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, Proceedings / by Erlingsson, Úlfar [editor.] Wieringa, Roel [editor.] Zannone, Nicola [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6542 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3164.	Public-Key Cryptography -- PKC 2013 [electronic resource] : 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, Feburary 26 -- March 1, 2013, Proceedings / by Kurosawa, Kaoru [editor.] Hanaoka, Goichiro [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7778 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)
	3165.	Intelligent Data Engineering and Automated Learning -- IDEAL 2012 [electronic resource] : 13th International Conference, Natal, Brazil, August 29-31, 2012, Proceedings / by Yin, Hujun [editor.] Costa, Jose A.F [editor.] Barreto, Guilherme [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7435 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3166.	Electronic Government and the Information Systems Perspective [electronic resource] : 6th International Conference, EGOVIS 2017, Lyon, France, August 28-31, 2017, Proceedings / by Kő, Andrea [editor.] Francesconi, Enrico [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10441 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)
	3167.	Structured Object-Oriented Formal Language and Method [electronic resource] : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers / by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8332 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)
	3168.	Transactions on Computational Systems Biology II [electronic resource] / by Zelikovsky, Alexander [editor.] SpringerLink (Online service) Series: Transactions on Computational Systems Biology ; 3680 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)
	3169.	Bioinformatics Research and Applications [electronic resource] : Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008, Proceedings / by Mandoiu, Ion [editor.] Sunderraman, Rajshekhar [editor.] Zelikovsky, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 4983 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)
	3170.	Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / by Bernardo, Marco [editor.] Cortellessa, Vittorio [editor.] Pierantonio, Alfonso [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7320 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3171.	Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / by Siegler, Simon [editor.] Wasser, Nathan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6463 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)
	3172.	Foundations of Software Science and Computational Structures [electronic resource] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / by de Alfaro, Luca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5504 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)
	3173.	Transactions on Petri Nets and Other Models of Concurrency I [electronic resource] / by van der Aalst, Wil M. P [editor.] Billington, Jonathan [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 5100 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)
	3174.	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013, Proceedings / by Raghavendra, Prasad [editor.] Raskhodnikova, Sofya [editor.] Jansen, Klaus [editor.] Rolim, José D.P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8096 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)
	3175.	Provable Security [electronic resource] : Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings / by Pieprzyk, Josef Pawel [editor.] Zhang, Fangguo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5848 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)
	3176.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings / by Datta, Ajoy K [editor.] Gradinariu, Maria [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4280 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)
	3177.	Public-Key Cryptography – PKC 2017 [electronic resource] : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part I / by Fehr, Serge [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10174 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3178.	Pillars of Computer Science [electronic resource] : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / by Avron, Arnon [editor.] Dershowitz, Nachum [editor.] Rabinovich, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4800 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)
	3179.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008, Proceedings / by van Hemert, Jano [editor.] Cotta, Carlos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4972 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)
	3180.	Recent Trends in Algebraic Development Techniques [electronic resource] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers / by Mossakowski, Till [editor.] Kreowski, Hans-Jörg [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7137 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 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.