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

Results
	661.	Formal Methods for Components and Objects [electronic resource] : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures / by de Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] Graf, Susanne [editor.] de Roever, Willem-Paul [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4709 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)
	662.	Software Composition [electronic resource] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / by Binder, Walter [editor.] Bodden, Eric [editor.] Löwe, Welf [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8088 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)
	663.	Smart Card Research and Advanced Applications [electronic resource] : 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006, Proceedings / by Domingo-Ferrer, Josep [editor.] Posegga, Joachim [editor.] Schreckling, Daniel [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3928 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)
	664.	Unconventional Programming Paradigms [electronic resource] : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / by Banâtre, Jean-Pierre [editor.] Fradet, Pascal [editor.] Giavitto, Jean-Louis [editor.] Michel, Olivier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3566 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)
	665.	Agent-Oriented Software Engineering IX [electronic resource] : 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers / by Luck, Michael [editor.] Gomez-Sanz, Jorge J [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5386 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)
	666.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings / by Sutcliffe, Geoff [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3835 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)
	667.	Network and System Security [electronic resource] : 8th International Conference, NSS 2014, Xi'an, China, October 15-17, 2014. Proceedings / by Au, Man Ho [editor.] Carminati, Barbara [editor.] Kuo, C.-C. Jay [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8792 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)
	668.	Field-Coupled Nanocomputing [electronic resource] : Paradigms, Progress, and Perspectives / by Anderson, Neal G [editor.] Bhanja, Sanjukta [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8280 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	669.	SOFSEM 2007: Theory and Practice of Computer Science [electronic resource] : 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings / by van Leeuwen, Jan [editor.] Italiano, Giuseppe F [editor.] van der Hoek, Wiebe [editor.] Meinel, Christoph [editor.] Sack, Harald [editor.] Plášil, František [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4362 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)
	670.	PRICAI 2010: Trends in Artificial Intelligence [electronic resource] : 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30-September 2, 2010. Proceedings / by Zhang, Byoung-Tak [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6230 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)
	671.	Modeling Communication with Robots and Virtual Humans [electronic resource] : Second ZiF Research Group 2005/2006 International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers / by Wachsmuth, Ipke [editor.] Knoblich, Günther [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4930 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)
	672.	Anticipatory Behavior in Adaptive Learning Systems [electronic resource] : From Psychological Theories to Artificial Cognitive Systems / by Pezzulo, Giovanni [editor.] Butz, Martin V [editor.] Sigaud, Olivier [editor.] Baldassarre, Gianluca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5499 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)
	673.	Algebra and Coalgebra in Computer Science [electronic resource] : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / by Fiadeiro, José Luis [editor.] Harman, Neil [editor.] Roggenbach, Markus [editor.] Rutten, Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3629 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)
	674.	Perception in Multimodal Dialogue Systems [electronic resource] : 4th IEEE Tutorial and Research Workshop on Perception and Interactive Technologies for Speech-Based Systems, PIT 2008, Kloster Irsee, Germany, June 16-18, 2008, Proceedings / by André, Elisabeth [editor.] Dybkjær, Laila [editor.] Neumann, Heiko [editor.] Pieraccini, Roberto [editor.] Weber, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5078 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)
	675.	Software Engineering and Formal Methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / by Eleftherakis, George [editor.] Hinchey, Mike [editor.] Holcombe, Mike [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7504 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)
	676.	Developments in Language Theory [electronic resource] : 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings / by Shur, Arseny M [editor.] Volkov, Mikhail V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8633 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)
	677.	Learning Theory [electronic resource] : 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings / by Auer, Peter [editor.] Meir, Ron [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3559 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)
	678.	Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / by Hagiya, Masami [editor.] Wadler, Philip [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3945 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)
	679.	Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings / by Legay, Axel [editor.] Bensalem, Saddek [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8174 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)
	680.	Descriptional Complexity of Formal Systems [electronic resource] : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings / by Kutrib, Martin [editor.] Moreira, Nelma [editor.] Reis, Rogério [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7386 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

Your search returned 1357 results.