FEEDBACK Smiley face

Your search returned 1496 results. Subscribe to this search

|
301. Conceptual Modeling — ER 2002 [electronic resource] :21st International Conference on Conceptual Modeling Tampere, Finland, October 7–11, 2002 Proceedings /

by Spaccapietra, Stefano [editor.] | March, Salvatore T [editor.] | Kambayashi, Yahiko [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available

302. Theory and Applications of Satisfiability Testing [electronic resource] :6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers /

by Giunchiglia, Enrico [editor.] | Tacchella, Armando [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

303. Logic Programming and Nonmonotonic Reasoning [electronic resource] :7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings /

by Lifschitz, Vladimir [editor.] | Niemelä, Ilkka [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

304. Automated Deduction in Geometry [electronic resource] :4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers /

by Winkler, Franz [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

305. Membrane Computing [electronic resource] :International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003. Revised Papers /

by Martín-Vide, Carlos [editor.] | Mauri, Giancarlo [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

306. Computational Linguistics and Intelligent Text Processing [electronic resource] :5th International Conference, CICLing 2004 Seoul, Korea, February 15-21, 2004 Proceedings /

by Gelbukh, Alexander [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

307. Aspects of Molecular Computing [electronic resource] :Essays Dedicated to Tom Head, on the Occasion of His 70th Birthday /

by Jonoska, Nataša [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

308. Model Generation for Natural Language Interpretation and Analysis [electronic resource] /

by Konrad, Karsten [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

309. Concept Lattices [electronic resource] :Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004. Proceedings /

by Eklund, Peter [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

310. MICAI 2004: Advances in Artificial Intelligence [electronic resource] :Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004. Proceedings /

by Monroy, Raúl [editor.] | Arroyo-Figueroa, Gustavo [editor.] | Sucar, Luis Enrique [editor.] | Sossa, Humberto [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

311. Compiler Construction [electronic resource] :13th International Conference, CC 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 /

by Duesterwald, Evelyn [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

312. 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 /

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

313. STACS 2004 [electronic resource] :21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings /

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

314. Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] :7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers /

by Berghammer, Rudolf [editor.] | Möller, Bernhard [editor.] | Struth, Georg [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

315. Abstract State Machines 2004. Advances in Theory and Practice [electronic resource] :11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /

by Zimmermann, Wolf [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

316. Artificial Intelligence and Soft Computing - ICAISC 2004 [electronic resource] :7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings /

by Rutkowski, Leszek [editor.] | Siekmann, Jörg H [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

317. Types for Proofs and Programs [electronic resource] :International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers /

by Berardi, Stefano [editor.] | Coppo, Mario [editor.] | Damiani, Ferruccio [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

318. Deontic Logic in Computer Science [electronic resource] :7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings /

by Lomuscio, Alessio [editor.] | Nute, Donald [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

319. Rough Sets and Current Trends in Computing [electronic resource] :4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004. Proceedings /

by Tsumoto, Shusaku [editor.] | Słowiński, Roman [editor.] | Komorowski, Jan [editor.] | Grzymała-Busse, Jerzy W [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

320. Logic Based Program Synthesis and Transformation [electronic resource] :13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers /

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in