Your search returned 69 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Hardware Verification [electronic resource] : Methods and Systems in Comparison / edited by Thomas Kropf.

by Kropf, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1287Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
Parallel and Distributed Processing [electronic resource] : 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing Orlando, Florida, USA, March 30 – April 3, 1998 Proceedings / edited by José Rolim.

by Rolim, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1388Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings / edited by Mladen Bereković, Nikitas Dimopoulos, Stephan Wong.

by Bereković, Mladen [editor.] | Dimopoulos, Nikitas [editor.] | Wong, Stephan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5114Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Dependable Computing — EDCC-2 [electronic resource] : Second European Dependable Computing Conference Taormina, Italy, October 2–4, 1996 Proceedings / edited by Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini.

by Hlawiczka, Andrzej [editor.] | Silva, João Gabriel [editor.] | Simoncini, Luca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1150Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Proceedings / edited by Pedro C. Diniz, Eduardo Marques, Koen Bertels, Marcio Merino Fernandes, João M. P. Cardoso.

by Diniz, Pedro C [editor.] | Marques, Eduardo [editor.] | Bertels, Koen [editor.] | Fernandes, Marcio Merino [editor.] | Cardoso, João M. P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4419Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2007: EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog. Proceedings / edited by Mario Giacobini.

by Giacobini, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4448Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings / edited by Stamatis Vassiliadis, Mladen Bereković, Timo D. Hämäläinen.

by Vassiliadis, Stamatis [editor.] | Bereković, Mladen [editor.] | Hämäläinen, Timo D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4599Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Advanced Parallel Processing Technologies [electronic resource] : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu.

by Xu, Ming [editor.] | Zhan, Yinwei [editor.] | Cao, Jiannong [editor.] | Liu, Yijun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4847Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings / edited by Roger Woods, Katherine Compton, Christos Bouganis, Pedro C. Diniz.

by Woods, Roger [editor.] | Compton, Katherine [editor.] | Bouganis, Christos [editor.] | Diniz, Pedro C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4943Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings / edited by Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni A. Caro, Rolf Drechsler, Anikó Ekárt, Anna Isabel Esparcia-Alcázar, Muddassar Farooq, Andreas Fink, Jon McCormack, Michael O’Neill, Juan Romero, Franz Rothlauf, Giovanni Squillero, A. Şima Uyar, Shengxiang Yang.

by Giacobini, Mario [editor.] | Brabazon, Anthony [editor.] | Cagnoni, Stefano [editor.] | Caro, Gianni A [editor.] | Drechsler, Rolf [editor.] | Ekárt, Anikó [editor.] | Esparcia-Alcázar, Anna Isabel [editor.] | Farooq, Muddassar [editor.] | Fink, Andreas [editor.] | McCormack, Jon [editor.] | O’Neill, Michael [editor.] | Romero, Juan [editor.] | Rothlauf, Franz [editor.] | Squillero, Giovanni [editor.] | Uyar, A. Şima [editor.] | Yang, Shengxiang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4974Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings / edited by Jürgen Becker, Roger Woods, Peter Athanas, Fearghal Morgan.

by Becker, Jürgen [editor.] | Woods, Roger [editor.] | Athanas, Peter [editor.] | Morgan, Fearghal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5453Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tübingen, Germany, April 15-17, 2009. Proceedings / edited by Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni A. Caro, Anikó Ekárt, Anna Isabel Esparcia-Alcázar, Muddassar Farooq, Andreas Fink, Penousal Machado.

by Giacobini, Mario [editor.] | Brabazon, Anthony [editor.] | Cagnoni, Stefano [editor.] | Caro, Gianni A [editor.] | Ekárt, Anikó [editor.] | Esparcia-Alcázar, Anna Isabel [editor.] | Farooq, Muddassar [editor.] | Fink, Andreas [editor.] | Machado, Penousal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5484Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings / edited by Koen Bertels, Nikitas Dimopoulos, Cristina Silvano, Stephan Wong.

by Bertels, Koen [editor.] | Dimopoulos, Nikitas [editor.] | Silvano, Cristina [editor.] | Wong, Stephan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5657Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers / edited by José Monteiro, René Leuken.

by Monteiro, José [editor.] | Leuken, René [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5953Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / edited by P. Madhusudan, Sanjit A. Seshia.

by Madhusudan, P [editor.] | Seshia, Sanjit A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7358Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings / edited by Philip Brisk, José Gabriel Figueiredo Coutinho, Pedro C. Diniz.

by Brisk, Philip [editor.] | Figueiredo Coutinho, José Gabriel [editor.] | Diniz, Pedro C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7806Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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
Euro-Par 2012: Parallel Processing Workshops [electronic resource] : BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers / edited by Ioannis Caragiannis, Michael Alexander, Rosa Maria Badia, Mario Cannataro, Alexandru Costan, Marco Danelutto, Frédéric Desprez, Bettina Krammer, Julio Sahuquillo, Stephen L. Scott, Josef Weidendorfer.

by Caragiannis, Ioannis [editor.] | Alexander, Michael [editor.] | Badia, Rosa Maria [editor.] | Cannataro, Mario [editor.] | Costan, Alexandru [editor.] | Danelutto, Marco [editor.] | Desprez, Frédéric [editor.] | Krammer, Bettina [editor.] | Sahuquillo, Julio [editor.] | Scott, Stephen L [editor.] | Weidendorfer, Josef [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7640Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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
Grid and Pervasive Computing [electronic resource] : 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings / edited by James J. (Jong Hyuk) Park, Hamid R. Arabnia, Cheonshik Kim, Weisong Shi, Joon-Min Gil.

by Park, James J. (Jong Hyuk) [editor.] | Arabnia, Hamid R [editor.] | Kim, Cheonshik [editor.] | Shi, Weisong [editor.] | Gil, Joon-Min [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7861Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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
Programming Languages and Systems [electronic resource] : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings / edited by Bor-Yuh Evan Chang.

by Chang, Bor-Yuh Evan [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10695 | Lecture Notes in Computer Science ; 10695Edition: 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
OpenMP: Heterogenous Execution and Data Movements [electronic resource] : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings / edited by Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller.

by Terboven, Christian [editor.] | de Supinski, Bronis R [editor.] | Reble, Pablo [editor.] | Chapman, Barbara M [editor.] | Müller, Matthias S [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9342 | Lecture Notes in Computer Science ; 9342Edition: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha