|
|
|
Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings / edited by Armin Biere, Carla P. Gomes. by Biere, Armin [editor.] | Gomes, Carla P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4121Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Implementation and Application of Automata [electronic resource] : 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings / edited by Oscar H. Ibarra, Hsu-Chun Yen. by Ibarra, Oscar H [editor.] | Yen, Hsu-Chun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4094Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part I / edited by De-Shuang Huang, Kang Li, George William Irwin. by Huang, De-Shuang [editor.] | Li, Kang [editor.] | Irwin, George William [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4113Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computational Intelligence and Bioinformatics [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part III / edited by De-Shuang Huang, Kang Li, George William Irwin. by Huang, De-Shuang [editor.] | Li, Kang [editor.] | Irwin, George William [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4115Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Machine Vision, Image Processing, and Pattern Analysis [electronic resource] : International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006 Xi’an, China, August 26-27, 2006 Proceedings / edited by Nanning Zheng, Xiaoyi Jiang, Xuguang Lan. by Zheng, Nanning [editor.] | Jiang, Xiaoyi [editor.] | Lan, Xuguang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4153Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Artificial Immune Systems [electronic resource] : 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006. Proceedings / edited by Hugues Bersini, Jorge Carneiro. by Bersini, Hugues [editor.] | Carneiro, Jorge [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4163Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mathematical Foundations of Computer Science 2006 [electronic resource] : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings / edited by Rastislav Královič, Paweł Urzyczyn. by Královič, Rastislav [editor.] | Urzyczyn, Paweł [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4162Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Secure Mobile Ad-hoc Networks and Sensors [electronic resource] : First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers / edited by Mike Burmester, Alec Yasinsac. by Burmester, Mike [editor.] | Yasinsac, Alec [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4074Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006. Proceedings / edited by Josep Díaz, Klaus Jansen, José D. P. Rolim, Uri Zwick. by Díaz, Josep [editor.] | Jansen, Klaus [editor.] | Rolim, José D. P [editor.] | Zwick, Uri [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4110Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Informatics [electronic resource] : 8th Panhellenic Conference on Informatics, PCI 2001 Nicosia, Cyprus, November 8–10, 2001 Revised Selected Papers / edited by Yannis Manolopoulos, Skevos Evripidou, Antonis C. Kakas. by Manolopoulos, Yannis [editor.] | Evripidou, Skevos [editor.] | Kakas, Antonis C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2563Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Security and Cryptography for Networks [electronic resource] : 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. Proceedings / edited by Roberto Prisco, Moti Yung. by Prisco, Roberto [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4116Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Information Security [electronic resource] : 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings / edited by Sokratis K. Katsikas, Javier López, Michael Backes, Stefanos Gritzalis, Bart Preneel. by Katsikas, Sokratis K [editor.] | López, Javier [editor.] | Backes, Michael [editor.] | Gritzalis, Stefanos [editor.] | Preneel, Bart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4176Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld. by Börger, Egon [editor.] | Kleine Büning, Hans [editor.] | Richter, Michael M [editor.] | Schönfeld, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 533Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 9th International Symposium, AAECC-9 New Orleans, LA, USA, October 7–11, 1991 Proceedings / edited by Harold F. Mattson, Teo Mora, T. R. N. Rao. by Mattson, Harold F [editor.] | Mora, Teo [editor.] | Rao, T. R. N [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 539Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Ant Colony Optimization and Swarm Intelligence [electronic resource] : 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006. Proceedings / edited by Marco Dorigo, Luca Maria Gambardella, Mauro Birattari, Alcherio Martinoli, Riccardo Poli, Thomas Stützle. by Dorigo, Marco [editor.] | Gambardella, Luca Maria [editor.] | Birattari, Mauro [editor.] | Martinoli, Alcherio [editor.] | Poli, Riccardo [editor.] | Stützle, Thomas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4150Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Unconventional Computation [electronic resource] : 5th International Conference, UC 2006, York, UK, September 4-8, 2006. Proceedings / edited by Cristian S. Calude, Michael J. Dinneen, Gheorghe Păun, Grzegorz Rozenberg, Susan Stepney. by Calude, Cristian S [editor.] | Dinneen, Michael J [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Stepney, Susan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4135Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|