|
|
|
Implementation and Application of Automata [electronic resource] : 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings / edited by Oscar H. Ibarra, Zhe Dang. by Ibarra, Oscar H [editor.] | Dang, Zhe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2759Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Applications of Graph Transformations with Industrial Relevance [electronic resource] : International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings / edited by Manfred Nagl, Andreas Schürr, Manfred Münch. by Nagl, Manfred [editor.] | Schürr, Andreas [editor.] | Münch, Manfred [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1779Source: 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): .
|
|
|
|
Extreme Programming and Agile Methods - XP/Agile Universe 2003 [electronic resource] : Third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003. Proceedings / edited by Frank Maurer, Don Wells. by Maurer, Frank [editor.] | Wells, Don [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2753Source: 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): .
|
|
|
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings / edited by David Basin, Burkhart Wolff. by Basin, David [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2758Source: 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): .
|
|
|
|
Machines, Computations, and Universality [electronic resource] : Third International Conference, MCU 2001 ChişinĂu, Moldova, May 23–27, 2001 Proceedings / edited by Maurice Margenstern, Yurii Rogozhin. by Margenstern, Maurice [editor.] | Rogozhin, Yurii [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2055Source: 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): .
|
|
|
|
Formal Approaches to Agent-Based Systems [electronic resource] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears. by Hinchey, Michael G [editor.] | Rash, James L [editor.] | Truszkowski, Walter F [editor.] | Rouff, Christopher [editor.] | Gordon-Spears, Diana [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2699Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Holonic and Multi-Agent Systems for Manufacturing [electronic resource] : First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003. Proceedings / edited by Vladimír Mařík, Duncan McFarlane, Paul Valckenaers. by Mařík, Vladimír [editor.] | McFarlane, Duncan [editor.] | Valckenaers, Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2744Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Theoretical Computer Science [electronic resource] : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003. Proceedings / edited by Carlo Blundo, Cosimo Laneve. by Blundo, Carlo [editor.] | Laneve, Cosimo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2841Source: 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): .
|
|
|
|
|
|
|
|
Embedded Software [electronic resource] : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings / edited by Rajeev Alur, Insup Lee. by Alur, Rajeev [editor.] | Lee, Insup [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2855Source: 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): .
|