|
|
|
|
|
|
|
|
|
|
|
Automated Reasoning [electronic resource] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings / edited by Rajeev Goré, Alexander Leitsch, Tobias Nipkow. by Goré, Rajeev [editor.] | Leitsch, Alexander [editor.] | Nipkow, Tobias [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2083Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Web Engineering and Peer-to-Peer Computing [electronic resource] : NETWORKING 2002 Workshops Pisa, Italy, May 19–24, 2002 Revised Papers / edited by Enrico Gregori, Ludmila Cherkasova, Gianpaolo Cugola, Fabio Panzieri, Gian Pietro Picco. by Gregori, Enrico [editor.] | Cherkasova, Ludmila [editor.] | Cugola, Gianpaolo [editor.] | Panzieri, Fabio [editor.] | Picco, Gian Pietro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2376Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings / edited by Janusz Górski. by Górski, Janusz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4166Source: 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): .
|
|
|
|
Model Driven Engineering Languages and Systems [electronic resource] : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio. by Nierstrasz, Oscar [editor.] | Whittle, Jon [editor.] | Harel, David [editor.] | Reggio, Gianna [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4199Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
≪UML≫ 2002 — The Unified Modeling Language [electronic resource] : Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings / edited by Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook. by Jézéquel, Jean-Marc [editor.] | Hussmann, Heinrich [editor.] | Cook, Stephen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2460Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Conceptual Modeling — ER 2002 [electronic resource] : 21st International Conference on Conceptual Modeling Tampere, Finland, October 7–11, 2002 Proceedings / edited by Stefano Spaccapietra, Salvatore T. March, Yahiko Kambayashi. by Spaccapietra, Stefano [editor.] | March, Salvatore T [editor.] | Kambayashi, Yahiko [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2503Source: 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): .
|
|
|
|
Generative Programming and Component Engineering [electronic resource] : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings / edited by Don Batory, Charles Consel, Walid Taha. by Batory, Don [editor.] | Consel, Charles [editor.] | Taha, Walid [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2487Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Graph Transformation [electronic resource] : First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Hans -Jörg Kreowski, Grzegorz Rozenberg. by Corradini, Andrea [editor.] | Ehrig, Hartmut [editor.] | Kreowski, Hans -Jörg [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2505Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 5th International Workshop, HSCC 2002 Stanford, CA, USA, March 25–27, 2002 Proceedings / edited by Claire J. Tomlin, Mark R. Greenstreet. by Tomlin, Claire J [editor.] | Greenstreet, Mark R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2289Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Embedded Processor Design Challenges [electronic resource] : Systems, Architectures, Modeling, and Simulation — SAMOS / edited by Ed F. Deprettere, Jürgen Teich, Stamatis Vassiliadis. by Deprettere, Ed F [editor.] | Teich, Jürgen [editor.] | Vassiliadis, Stamatis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2268Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|