|
|
|
Algebraic Logic and Universal Algebra in Computer Science [electronic resource] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings / edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi. by Bergman, Clifford H [editor.] | Maddux, Roger D [editor.] | Pigozzi, Don L [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 425Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Theory and Applications of Satisfiability Testing [electronic resource] : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / edited by Enrico Giunchiglia, Armando Tacchella. by Giunchiglia, Enrico [editor.] | Tacchella, Armando [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2919Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Artificial Intelligence and Soft Computing - ICAISC 2004 [electronic resource] : 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings / edited by Leszek Rutkowski, Jörg H. Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh. by Rutkowski, Leszek [editor.] | Siekmann, Jörg H [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3070Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Applications of Graph Transformations with Industrial Relevance [electronic resource] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers / edited by John L. Pfaltz, Manfred Nagl, Boris Böhlen. by Pfaltz, John L [editor.] | Nagl, Manfred [editor.] | Böhlen, Boris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3062Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Conceptual Structures at Work [electronic resource] : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004. Proceedings / edited by Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach. by Wolff, Karl Erich [editor.] | Pfeiffer, Heather D [editor.] | Delugach, Harry S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3127Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Learning Theory [electronic resource] : 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004. Proceedings / edited by John Shawe-Taylor, Yoram Singer. by Shawe-Taylor, John [editor.] | Singer, Yoram [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3120Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Machine Learning: ECML 2004 [electronic resource] : 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004. Proceedings / edited by Jean-François Boulicaut, Floriana Esposito, Fosca Giannotti, Dino Pedreschi. by Boulicaut, Jean-François [editor.] | Esposito, Floriana [editor.] | Giannotti, Fosca [editor.] | Pedreschi, Dino [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3201Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Natural Language Processing – IJCNLP 2004 [electronic resource] : First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers / edited by Keh-Yih Su, Jun’ichi Tsujii, Jong-Hyeok Lee, Oi Yee Kwong. by Su, Keh-Yih [editor.] | Tsujii, Jun’ichi [editor.] | Lee, Jong-Hyeok [editor.] | Kwong, Oi Yee [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3248Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004. Proceedings / edited by Shoham Ben-David, John Case, Akira Maruoka. by Ben-David, Shoham [editor.] | Case, John [editor.] | Maruoka, Akira [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3244Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Implementation and Application of Automata [electronic resource] : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu. by Domaratzki, Michael [editor.] | Okhotin, Alexander [editor.] | Salomaa, Kai [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3317Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell. by Hoos, Holger H [editor.] | Mitchell, David G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3542Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh. by Bacchus, Fahiem [editor.] | Walsh, Toby [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3569Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Machine Learning: ECML 2005 [electronic resource] : 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005. Proceedings / edited by João Gama, Rui Camacho, Pavel B. Brazdil, Alípio Mário Jorge, Luís Torgo. by Gama, João [editor.] | Camacho, Rui [editor.] | Brazdil, Pavel B [editor.] | Jorge, Alípio Mário [editor.] | Torgo, Luís [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3720Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 16th International Conference, ALT 2005, Singapore, October 8-11, 2005. Proceedings / edited by Sanjay Jain, Hans Ulrich Simon, Etsuji Tomita. by Jain, Sanjay [editor.] | Simon, Hans Ulrich [editor.] | Tomita, Etsuji [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3734Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Natural Language Processing – IJCNLP 2005 [electronic resource] : Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005. Proceedings / edited by Robert Dale, Kam-Fai Wong, Jian Su, Oi Yee Kwong. by Dale, Robert [editor.] | Wong, Kam-Fai [editor.] | Su, Jian [editor.] | Kwong, Oi Yee [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3651Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Fuzzy Systems and Knowledge Discovery [electronic resource] : Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II / edited by Lipo Wang, Yaochu Jin. by Wang, Lipo [editor.] | Jin, Yaochu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3614Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|