|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / edited by C. R. Ramakrishnan, Jakob Rehof. by Ramakrishnan, C. R [editor.] | Rehof, Jakob [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4963Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Large-Scale Scientific Computing [electronic resource] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski. by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4818Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Discrete Geometry for Computer Imagery [electronic resource] : 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings / edited by David Coeurjolly, Isabelle Sivignon, Laure Tougne, Florent Dupont. by Coeurjolly, David [editor.] | Sivignon, Isabelle [editor.] | Tougne, Laure [editor.] | Dupont, Florent [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4992Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings / edited by Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li. by Agrawal, Manindra [editor.] | Du, Dingzhu [editor.] | Duan, Zhenhua [editor.] | Li, Angsheng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4978Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Artificial Evolution [electronic resource] : 8th International Conference, Evolution Artificielle, EA 2007, Tours, France, October 29-31, 2007, Revised Selected Papers / edited by Nicolas Monmarché, El-Ghazali Talbi, Pierre Collet, Marc Schoenauer, Evelyne Lutton. by Monmarché, Nicolas [editor.] | Talbi, El-Ghazali [editor.] | Collet, Pierre [editor.] | Schoenauer, Marc [editor.] | Lutton, Evelyne [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4926Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Information Security and Cryptology [electronic resource] : Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers / edited by Dingyi Pei, Moti Yung, Dongdai Lin, Chuankun Wu. by Pei, Dingyi [editor.] | Yung, Moti [editor.] | Lin, Dongdai [editor.] | Wu, Chuankun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4990Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
OpenMP in a New Era of Parallelism [electronic resource] : 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings / edited by Rudolf Eigenmann, Bronis R. Supinski. by Eigenmann, Rudolf [editor.] | Supinski, Bronis R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5004Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Computer Science – Theory and Applications [electronic resource] : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings / edited by Edward A. Hirsch, Alexander A. Razborov, Alexei Semenov, Anatol Slissenko. by Hirsch, Edward A [editor.] | Razborov, Alexander A [editor.] | Semenov, Alexei [editor.] | Slissenko, Anatol [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5010Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2008 [electronic resource] : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings / edited by Hans Kleine Büning, Xishun Zhao. by Kleine Büning, Hans [editor.] | Zhao, Xishun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4996Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Parameterized and Exact Computation [electronic resource] : Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings / edited by Martin Grohe, Rolf Niedermeier. by Grohe, Martin [editor.] | Niedermeier, Rolf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5018Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Cellular Automata [electronic resource] : 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings / edited by Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki, Stefania Bandini. by Umeo, Hiroshi [editor.] | Morishita, Shin [editor.] | Nishinari, Katsuhiro [editor.] | Komatsuzaki, Toshihiko [editor.] | Bandini, Stefania [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5191Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Cryptographic Hardware and Embedded Systems – CHES 2008 [electronic resource] : 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings / edited by Elisabeth Oswald, Pankaj Rohatgi. by Oswald, Elisabeth [editor.] | Rohatgi, Pankaj [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5154Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Artificial Immune Systems [electronic resource] : 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings / edited by Peter J. Bentley, Doheon Lee, Sungwon Jung. by Bentley, Peter J [editor.] | Lee, Doheon [editor.] | Jung, Sungwon [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5132Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Combinatorial Optimization and Applications [electronic resource] : Second International Conference, COCOA 2008, St. John’s, NL, Canada, August 21-24, 2008. Proceedings / edited by Boting Yang, Ding-Zhu Du, Cao An Wang. by Yang, Boting [editor.] | Du, Ding-Zhu [editor.] | Wang, Cao An [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5165Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Unconventional Computing [electronic resource] : 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings / edited by Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg. by Calude, Cristian S [editor.] | Costa, José Félix [editor.] | Freund, Rudolf [editor.] | Oswald, Marion [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5204Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|