|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Aided Systems Theory - EUROCAST’99 [electronic resource] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999 Proceedings / edited by Peter Kopacek, Roberto Moreno-Díaz, Franz Pichler. by Kopacek, Peter [editor.] | Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1798Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Vector and Parallel Processing — VECPAR 2000 [electronic resource] : 4th International Conference Porto, Portugal, June 21–23, 2000 Selected Papers and Invited Talks / edited by José M. L. M. Palma, Jack Dongarra, Vicente Hernández. by Palma, José M. L. M [editor.] | Dongarra, Jack [editor.] | Hernández, Vicente [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1981Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Artificial Neural Networks and Neural Information Processing — ICANN/ICONIP 2003 [electronic resource] : Joint International Conference ICANN/ICONIP 2003 Istanbul, Turkey, June 26–29, 2003 Proceedings / edited by Okyay Kaynak, Ethem Alpaydin, Erkki Oja, Lei Xu. by Kaynak, Okyay [editor.] | Alpaydin, Ethem [editor.] | Oja, Erkki [editor.] | Xu, Lei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2714Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Architectures for Quality of Service in the Internet [electronic resource] : International Workshop, Art-QoS 2003 Warsaw, Poland, March 24–25, 2003 Revised Papers / edited by Wojciech Burakowski, Andrzej Bęben, Berthold Koch. by Burakowski, Wojciech [editor.] | Bęben, Andrzej [editor.] | Koch, Berthold [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2698Source: 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): .
|
|
|
|
Automata, Languages and Programming [electronic resource] : 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings / edited by Ugo Montanari, José D. P. Rolim, Emo Welzl. by Montanari, Ugo [editor.] | Rolim, José D. P [editor.] | Welzl, Emo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1853Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mathematics of Program Construction [electronic resource] : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / edited by Roland Backhouse, José Nuno Oliveira. by Backhouse, Roland [editor.] | Oliveira, José Nuno [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1837Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer. by Asarin, Eugene [editor.] | Bouyer, Patricia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4202Source: 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): .
|
|
|
|
Self-Stabilizing Systems [electronic resource] : 6th International Symposium, SSS 2003 San Francisco, CA, USA, June 24–25, 2003 Proceedings / edited by Shing-Tsaan Huang, Ted Herman. by Huang, Shing-Tsaan [editor.] | Herman, Ted [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2704Source: 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): .
|
|
|
|
Developments in Applied Artificial Intelligence [electronic resource] : 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003 Loughborough, UK, June 23–26, 2003 Proceedings / edited by Paul W. H. Chung, Chris Hinde, Moonis Ali. by Chung, Paul W. H [editor.] | Hinde, Chris [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2718Source: 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): .
|