Your search returned 201 results.

Not what you expected? Check for suggestions
BOOKS
Symposium on semantics of algorithmic languages; edited by E. Engeler.

by Engeler, Erwin.

Series: Lecture notes in mathematics (Springer-Verlag) ; 188.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin, New York, Springer-Verlag, 1971Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 28 Call number: 51 LNM.

Place hold Log in to add tags
BOOKS
Language Hierarchies and Interfaces International Summer School, Marktoberdorf, 1975

by Bauer, F L. Ed | Samelson, K. Ed.

Series: Lecture notes in computer science ; 00046Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1976Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Tree automata and languages (SCSAI - Vol. 10)

by Nivat, Maurice. Ed | Podelski, Andreas. Ed.

Series: Studies in computer science and artificial intelligence ; 10Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Elsevier ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 28 Call number: 681.3.02 NIV.

Place hold Log in to add tags
BOOKS
Theories of Programming Languages

by Reynolds, John C.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University press ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 16 Call number: 681.3 REY.

Place hold Log in to add tags
BOOKS
Programming Language Pragmatics

by Scott, Michael L.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Harcourt Asia ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 18 Call number: 681.3 SCO.

Place hold Log in to add tags
BOOKS
Programming Language Concepts

by Ghezzi, Carlo | Jazayeri, Mehdi.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; John Wiley ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 16 Call number: 681.9 GHE.

Place hold Log in to add tags
BOOKS
Advances in computing science--ASIAN 2003: programming languages and distributed computation proc.: 8th Asian Computing Sc. Conf., Mumbai, December, 2003

by Saraswat, Vijay A. Ed.

Series: Lecture notes in computer science ; 02896Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 28 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Types and programming languages

by Pierce, Benjamin C.

Material type: Text Text;Language: ; Format: print Publication details: Cambridge, Mass. ; MIT Press ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 47 Call number: 681.3.06 PIE.

Place hold Log in to add tags
BOOKS
Generalized quantifiers and computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop France, August 11-22, 1997 : revised lectures

by Vaananen, Jouko Ed.

Series: Lecture notes in computer science ; 01754Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:48 Shelf No:23 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Semantics of systems of concurrent processes LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 proceedings

by Guessarian, I Ed.

Series: Lecture notes in computer science ; 00469Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 12 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Reasoning about program transformations imperative programming and flow of data

by Collard, Jean-Fran�ois.

Material type: Text Text;Language: ; Format: print Publication details: New York ; Springer ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 COL.

Place hold Log in to add tags
BOOKS
Semantic techniques in quantum computation

by Gay, Simon Ed | Mackie, Ian.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Cambridge university press ; 2010Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 GAY.

Place hold Log in to add tags
E-BOOKS
Software Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.

by Meyer, Bertrand [editor.] | Nordio, Martin [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 8987 | Lecture Notes in Computer Science ; 8987Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
A List of Successes That Can Change the World [electronic resource] : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella.

by Lindley, Sam [editor.] | McBride, Conor [editor.] | Trinder, Phil [editor.] | Sannella, Don [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9600 | Lecture Notes in Computer Science ; 9600Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Software Engineering and Formal Methods [electronic resource] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / edited by Rocco De Nicola, Eva Kühn.

by De Nicola, Rocco [editor.] | Kühn, Eva [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9763 | Lecture Notes in Computer Science ; 9763Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Concurrency, Security, and Puzzles [electronic resource] : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday / edited by Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić.

by Gibson-Robinson, Thomas [editor.] | Hopcroft, Philippa [editor.] | Lazić, Ranko [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10160 | Lecture Notes in Computer Science ; 10160Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Trends in Functional Programming [electronic resource] : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers / edited by Manuel Serrano, Jurriaan Hage.

by Serrano, Manuel [editor.] | Hage, Jurriaan [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9547 | Lecture Notes in Computer Science ; 9547Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II / edited by Rupak Majumdar, Viktor Kunčak.

by Majumdar, Rupak [editor.] | Kunčak, Viktor [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10427 | Lecture Notes in Computer Science ; 10427Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Model Checking Software [electronic resource] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / edited by Dragan Bošnački, Anton Wijs.

by Bošnački, Dragan [editor.] | Wijs, Anton [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9641 | Lecture Notes in Computer Science ; 9641Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Formal Methods and Software Engineering [electronic resource] : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / edited by Zhenhua Duan, Luke Ong.

by Duan, Zhenhua [editor.] | Ong, Luke [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10610 | Lecture Notes in Computer Science ; 10610Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha