Your search returned 10762 results.

Not what you expected? Check for suggestions
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.

BOOKS
CONCUR 2010 - Concurrency Theory 21st International Conference, CONCUR 2010 Paris, france, August - September 2010 Proceedings

by Gastin, Paul | Laroussinie, Francois, Ed.

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

BOOKS
Applied algebra, algebraic algorithms and error-correcting codes 17th international symposium, AAECC-17 Bangalore, India, December 2007 proceedings

by Boztas, Serdar | Feng, Hsiao Lu.

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

BOOKS
Descriptional complexity of formal systems Proceedings of the 13th international workshop, DCFS 2011 Gieben/Limburg, Germany, july 2011

by Holzer, Markus, Ed | Kutrib, Martin | Pighizzini, Giovanni.

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

BOOKS
Concur 2011 - Concurrency theory 22nd international conference, concur 2011 Aachen, germany, September 2011 proceedings

by Katoen, Joost-Pieter, Ed | Konig, Barbara.

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

BOOKS
Computing and combinatorics 17th Annual International conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011 proceedings

by Bin, Fu | Du, Ding-Zhu Ed.

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

BOOKS
Progress in cryptology INDOCRYPT 2007 Proceedings of 8th internatoinal conference on cryptology in India chennai, India, December 2007

by Srinathan, K | Pandu Rangan, C | Yung, Moti.

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

BOOKS
Progress in cryptology INDOCRYPT 2009 Proceedings of 10th international conference on cryptology in India New Delhi, India, December 2009

by Roy, Bimal | Sendrier, Nicolas Ed.

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

BOOKS
Advances in cryptology ASIACRYPT 2005 Proceedings of 11th international conference on the theory and application of cryptology and information security Chennai, India, December 2005

by Roy, Bimal Ed.

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

BOOKS
Progress in Cryptology- Indocrypt 2005 Proceedings in 6th International Conference on cryptology in India

by Maitra, Subhamoy | Madhavan, Veni C.E | Venkatesan, Ramarathnam.

Series: Lecture Notes in Computer Science ; 3797Material 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
Parameterized and exact computation 7th international symposium, IPEC 2012 Ljublijana, Slovenia, september 2012 proceedings

by Thilikos, Dimitrios M | Woeginger, Gerhard, J Ed.

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

BOOKS
Parameterized and exact computation 4th International workshop, IWPEC 2009 Copenhagan, Denmark, september 2009 revised selected papers

by Chen, Jianer | Fomin, Fedor, V.

Series: Lecture notes in computer science; 05917Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: New york Springer 2009Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): Second floor, Rack No: 52, Shelf No: 6 Call number: 681 LNCS.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha