|
|
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004. Proceedings / edited by Jean-Charles Régin, Michel Rueher. by Régin, Jean-Charles [editor.] | Rueher, Michel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3011Source: 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): .
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers / edited by Roman Wyrzykowski, Jack Dongarra, Marcin Paprzycki, Jerzy Waśniewski. by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Paprzycki, Marcin [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3019Source: 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): .
|
|
|
|
Methods and Applications of Artificial Intelligence [electronic resource] : Third Hellenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004. Proceedings / edited by George A. Vouros, Themistoklis Panayiotopoulos. by Vouros, George A [editor.] | Panayiotopoulos, Themistoklis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3025Source: 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): .
|
|
|
|
|
|
|
|
Grid Computing [electronic resource] : First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2004. Revised Papers / edited by Francisco Fernández Rivera, Marian Bubak, Andrés Gómez Tato, Ramón Doallo. by Fernández Rivera, Francisco [editor.] | Bubak, Marian [editor.] | Gómez Tato, Andrés [editor.] | Doallo, Ramón [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2970Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Computational Methods for SNPs and Haplotype Inference [electronic resource] : DIMACS/RECOMB Satellite Workshop, Piscataway, NJ, USA, November 21-22, 2002. Revised Papers / edited by Sorin Istrail, Michael Waterman, Andrew Clark. by Istrail, Sorin [editor.] | Waterman, Michael [editor.] | Clark, Andrew [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2983Source: 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): .
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 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 / edited by Kurt Jensen, Andreas Podelski. by Jensen, Kurt [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2988Source: 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): .
|
|
|
|
Numerical Software with Result Verification [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers / edited by René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther. by Alt, René [editor.] | Frommer, Andreas [editor.] | Kearfott, R. Baker [editor.] | Luther, Wolfram [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2991Source: 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): .
|
|
|
|
|
|
|
|
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 / edited by Rudolf Berghammer, Bernhard Möller, Georg Struth. by Berghammer, Rudolf [editor.] | Möller, Bernhard [editor.] | Struth, Georg [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3051Source: 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): .
|
|
|
|
Experimental and Efficient Algorithms [electronic resource] : Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004. Proceedings / edited by Celso C. Ribeiro, Simone L. Martins. by Ribeiro, Celso C [editor.] | Martins, Simone L [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3059Source: 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): .
|
|
|
|
Algorithmic Number Theory [electronic resource] : 6th International Symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings / edited by Duncan Buell. by Buell, Duncan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3076Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fast Software Encryption [electronic resource] : 11th International Workshop, FSE 2004, Delhi, India, February 5-7, 2004. Revised Papers / edited by Bimal Roy, Willi Meier. by Roy, Bimal [editor.] | Meier, Willi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3017Source: 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): .
|