Your search returned 10753 results.

Not what you expected? Check for suggestions
BOOKS
Fundamentals of computational theory 16th international symposium, FCT 2007 Budapest, Hungary, August 27-30, 2007 proceedings

by Csuhaj-Varju, Erzsebet, Eds | Esik, Zoltan.

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

BOOKS
FSTTCS 2007 Foundations of software technology and theoretical computer science 27th international conference New Delhi, India, December 2007 proceedings

by Arvind, V, Ed | Prasad, Sanjiva, Ed.

Series: Lecture notes in computer science ; 04855Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 2007Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second Floor, IMSc Faculty Publication Call number: 681 LNCS.

BOOKS
Implementation and application of automata 13th international conference, CIAA 2008 San Francisco, CA, USA, July 2008 proceedings

by Ibarra, Oscar H, Ed | Ravikumar, Bala, Ed.

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

BOOKS
Computer science - theory and applications

by Diekert, Volker, Ed | Volkov, Mikhail V, Ed | Voronkov, Andrei, Ed.

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

BOOKS
Mathematical foundations of computer science 2008 33rd international symposium, MFCS 2008 Torun, Poland, August 2008 proceedings

by Ochmanski, Edward, Ed | Tyszkiewick, Jerzy, Ed.

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

BOOKS
Pillars of computer science essays dedicated to Boris Trakhatenbrot on the occasion of his birthday

by Avron, Arnon, Ed | Dershowitz, Nachum, Ed | Rabinovich, Alexander, Ed.

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

BOOKS
Programming languages and sytems 6th asian symposium, APLAS 2008 Bangalore, India December 2008 proceedings

by Ramalingam, G, Ed.

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

BOOKS
Processes, terms and cycles : steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

by Middeldorp, A. et al Ed.

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

BOOKS
Mathematical theory and computational practice 5th conference on computability in Europe, CiE2009, Heldelberg, Germany, july 19-24, 2009 proceedings

by Ambos-spies, Klaus, Ed | Lowe, Benedikt, Ed | Merkle, Wolfgang, Ed.

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

BOOKS
Language and automata theory and applications third international conference, LATA 2009 Tarragona, Spain, April 2-8, 2009 proceedings

by Dediu, Adrian Horia, Ed | Ionescu, Armand Mihai, Ed | Martin-Vide, Carlos, Ed.

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

BOOKS
FSSTCS 2007 Foundations of software technology and theoretical compter science 27th international conference New Delhi, India, December 2007 proceedings

by Arvind, V, Ed | Prasad, Sanjiva, Ed.

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

BOOKS
WALCOM 2009: Algorithms and computation 3rd International workshop, WALCOM 2009 Kolkata, India, February 18-20, 2009 proceedings

by Das, Sandip, Ed | Uehara, Ryuhei, Ed.

Series: Lecture notes in computer science ; 5431Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer - Verlag ; 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.

BOOKS
Reachability problems 3rd international workshop, RP 2009 Palaiseau, France, september 23 - 25, 2009 proceedings

by Bournez,Olivier, Ed | Potapov, Igor, Ed.

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

BOOKS
Computer science - theory and applications first international computer science symposium in russia, CSR 2006 st. petersburg, russia june 8 - 12, 2006 proceedings

by Grigoriev, Dima, Ed | Harrison, John, Ed | Hirsch, Edward A, Ed.

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

BOOKS
Algorithms and computation 18th International symposium, ISAAC 2007 Sendai, Japan, December 17 - 19, 2007 Proceedings

by Tokuyama, Takeshi, Ed.

Series: Lecture notes in computer science ; 4835Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer - Verlag ; 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (3). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.

BOOKS
Computer science - theory and applications third international computer science symposium in russia, CSR 2008 moscow, russia, june 7 - 12 2008 proceedings

by Hirsch, Edward A, et al, Ed.

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

BOOKS
Languages: from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday

by Grumberg, Orna, et al, Ed.

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

BOOKS
Algorithms and computation 20th international symposium, ISAAC 2009 Honolulu, Hawaii, USA, December 16-18,2009 proceedings

by Dong, Yingfei, Ed | Du, Ding-Xhu, Ed | Ibarra, Oscar, Ed.

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

BOOKS
Automated technology for verification and analysis 8th International symposium, ATVA 2010, Singapore, September 2010 Proceedings

by Bouajjani, Ahmed | Chin, Wei-Ngan Eds.

Series: Lecture Notes in Computer Science; 006252Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: 2010; Springer Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

BOOKS
Parameterized and Exact Computation 5th International Symposium, IPEC 2010

by Raman, Venkatesh, Ed | Saurab, Saket.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha