Your search returned 310 results.

Not what you expected? Check for suggestions
E-BOOKS
Hardware Specification, Verification and Synthesis: Mathematical Aspects [electronic resource] : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings / edited by Miriam Leeser, Geoffrey Brown.

by Leeser, Miriam [editor.] | Brown, Geoffrey [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 408Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online 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
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science [electronic resource] 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings / edited by Paritosh K. Pandya, Jaikumar Radhakrishnan.

by Pandya, Paritosh K | Radhakrishnan, Jaikumar.

Series: Material type: Text Text Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle.

by Baier, Christel [editor.] | Haverkort, Boudewijn R [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [editor.] | Siegle, Markus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2925Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
SOFSEM 2004: Theory and Practice of Computer Science [electronic resource] : 30th Conference on Current Trends in Theory and Practice of Computer Science Měřín, Czech Republic, January 24-30, 2004 Proceedings / edited by Peter Emde Boas, Jaroslav Pokorný, Mária Bieliková, Július Štuller.

by Emde Boas, Peter [editor.] | Pokorný, Jaroslav [editor.] | Bieliková, Mária [editor.] | Štuller, Július [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2932Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
LATIN 2004: Theoretical Informatics [electronic resource] : 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004. Proceedings / edited by Martín Farach-Colton.

by Farach-Colton, Martín [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2976Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Foundations of Software Science and Computation Structures [electronic resource] : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings / edited by Igor Walukiewicz.

by Walukiewicz, Igor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2987Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
STACS 2004 [electronic resource] : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings / edited by Volker Diekert, Michel Habib.

by Diekert, Volker [editor.] | Habib, Michel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2996Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Lectures on Concurrency and Petri Nets [electronic resource] : Advances in Petri Nets / edited by Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg.

by Desel, Jörg [editor.] | Reisig, Wolfgang [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3098Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Mathematics of Program Construction [electronic resource] : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings / edited by Dexter Kozen.

by Kozen, Dexter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3125Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Theory Is Forever [electronic resource] : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday / edited by Juhani Karhumäki, Hermann Maurer, Gheorghe Păun, Grzegorz Rozenberg.

by Karhumäki, Juhani [editor.] | Maurer, Hermann [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3113Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Mathematical Foundations of Computer Science 2004 [electronic resource] : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings / edited by Jiří Fiala, Václav Koubek, Jan Kratochvíl.

by Fiala, Jiří [editor.] | Koubek, Václav [editor.] | Kratochvíl, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3153Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
CONCUR 2004 - Concurrency Theory [electronic resource] : 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings / edited by Philippa Gardner, Nobuko Yoshida.

by Gardner, Philippa [editor.] | Yoshida, Nobuko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3170Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Evolvable Systems: From Biology to Hardware [electronic resource] : 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings / edited by J. Manuel Moreno, Jordi Madrenas, Jordi Cosp.

by Moreno, J. Manuel [editor.] | Madrenas, Jordi [editor.] | Cosp, Jordi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3637Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Graph Transformations [electronic resource] : Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings / edited by Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg.

by Ehrig, Hartmut [editor.] | Engels, Gregor [editor.] | Parisi-Presicce, Francesco [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3256Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings / edited by Kamal Lodaya, Meena Mahajan.

by Lodaya, Kamal [editor.] | Mahajan, Meena [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3328Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Developments in Language Theory [electronic resource] : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings / edited by Cristian S. Calude, Elena Calude, Michael J. Dinneen.

by Calude, Cristian S [editor.] | Calude, Elena [editor.] | Dinneen, Michael J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3340Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Job Scheduling Strategies for Parallel Processing [electronic resource] : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers / edited by Dror Feitelson, Eitan Frachtenberg, Larry Rudolph, Uwe Schwiegelshohn.

by Feitelson, Dror [editor.] | Frachtenberg, Eitan [editor.] | Rudolph, Larry [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3834Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Developments in Language Theory [electronic resource] : 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings / edited by Clelia Felice, Antonio Restivo.

by Felice, Clelia [editor.] | Restivo, Antonio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3572Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Job Scheduling Strategies for Parallel Processing [electronic resource] : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers / edited by Dror G. Feitelson, Larry Rudolph, Uwe Schwiegelshohn.

by Feitelson, Dror G [editor.] | Rudolph, Larry [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3277Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Machines, Computations, and Universality [electronic resource] : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / edited by Maurice Margenstern.

by Margenstern, Maurice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3354Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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