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

Results
	2341.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers / by Altenkirch, Thorsten [editor.] Naraschewski, Wolfgang [editor.] Reus, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1657 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2342.	Component-Based Software Engineering [electronic resource] : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings / by Crnkovic, Ivica [editor.] Stafford, Judith A [editor.] Schmidt, Heinz W [editor.] Wallnau, Kurt [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3054 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)
	2343.	Object-Oriented Technology. ECOOP 2002 Workshop Reader [electronic resource] : ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002, Proceedings / by Hernández, Juan [editor.] Moreira, Ana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2548 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)
	2344.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 7th European PVM/MPI Users' Group Meeting Balatonfüred, Hungary, September 10-13, 2000 Proceedings / by Dongarra, Jack [editor.] Kacsuk, Peter [editor.] Podhorszki, Norbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1908 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2345.	Theoretical Aspects of Computer Software [electronic resource] : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings / by Abadi, Martin [editor.] Ito, Takayasu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1281 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2346.	Innovative Internet Computing Systems [electronic resource] : International Workshop IICS 2001 Ilmenau, Germany, June 21-22, 2001 Proceedings / by Böhme, Thomas [editor.] Unger, Herwig [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2060 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)
	2347.	Logical Foundations of Computer Science [electronic resource] : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings / by Adian, Sergei [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1234 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2348.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings / by Katoen, Joost-Pieter [editor.] Stevens, Perdita [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2280 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)
	2349.	Object-Oriented Technology: ECOOP 2000 Workshop Reader [electronic resource] : ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings / by Malenfant, Jacques [editor.] Moisan, Sabine [editor.] Moreira, Ana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1964 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2350.	Evolvable Systems: From Biology to Hardware [electronic resource] : 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings / by Tanaka, Kiyoshi [editor.] Iwata, Masaya [editor.] Higuchi, Tetsuya [editor.] Yasunaga, Moritoshi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2210 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)
	2351.	Computer Science Logic [electronic resource] : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers / by Nielsen, Mogens [editor.] Thomas, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1414 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2352.	Programming Languages and Systems [electronic resource] : 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings / by Le Metayer, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2305 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)
	2353.	Applying Formal Methods: Testing, Performance, and M/E-Commerce [electronic resource] : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 / by Núnez, Manuel [editor.] Maamar, Zakaaria [editor.] Pelayo, Fernando [editor.] Pousttchi, Key [editor.] Rubio, Fernando [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3236 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)
	2354.	Computer Security - ESORICS 2000 [electronic resource] : 6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings / by Cuppens, Frederic [editor.] Deswarte, Yves [editor.] Gollmann, Dieter [editor.] Waidner, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1895 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2355.	Computer Science Logic [electronic resource] : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / by Bradfield, Julian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2471 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)
	2356.	Foundation of Software Science and Computation Structures [electronic resource] : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / by Tiuryn, Jerzy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1784 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2357.	ZUM '98: The Z Formal Specification Notation [electronic resource] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings / by Bowen, Jonathan P [editor.] Fett, Andreas [editor.] Hinchey, Michael G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1493 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2358.	Programming Languages: Implementations, Logics, and Programs [electronic resource] : 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings / by Glaser, Hugh [editor.] Hartel, Peter [editor.] Kuchen, Herbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1292 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2359.	Database Programming Languages [electronic resource] : 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 / by Cluet, Sophie [editor.] Hull, Rick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1369 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2360.	Implementation of Functional Languages [electronic resource] : 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers / by Clack, Chris [editor.] Hammond, Kevin [editor.] Davie, Tony [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1467 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 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 2363 results.