|
|
|
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): .
|
|
|
|
Information Security and Privacy [electronic resource] : 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000. Proceedings / edited by E. P. Dawson, A. Clark, Colin Boyd. by Dawson, E. P [editor.] | Clark, A [editor.] | Boyd, Colin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1841Source: 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): .
|
|
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings / edited by E. Allen Emerson, Aravinda Prasad Sistla. by Emerson, E. Allen [editor.] | Sistla, Aravinda Prasad [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1855Source: 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): .
|
|
|
|
|
|
|
|
Product Focused Software Process Improvement [electronic resource] : Second International Conference, PROFES 2000, Oulu, Finland, June 20-22, 2000. Proceedings / edited by Frank Bomarius, Markku Oivo. by Bomarius, Frank [editor.] | Oivo, Markku [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1840Source: 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): .
|
|
|
|
Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings / edited by Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger. by Baeten, Jos C. M [editor.] | Lenstra, Jan Karel [editor.] | Parrow, Joachim [editor.] | Woeginger, Gerhard J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2719Source: 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): .
|
|
|
|
Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 4th International Workshop, EMMCVPR 2003, Lisbon, Portugal, July 7-9, 2003. Proceedings / edited by Anand Rangarajan, Mário Figueiredo, Josiane Zerubia. by Rangarajan, Anand [editor.] | Figueiredo, Mário [editor.] | Zerubia, Josiane [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2683Source: 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): .
|
|
|
|
|
|
|
|
Discrete Mathematics and Theoretical Computer Science [electronic resource] : 4th International Conference, DMTCS 2003 Dijon, France, July 7–12, 2003 Proceedings / edited by Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki. by Calude, Cristian S [editor.] | Dinneen, Michael J [editor.] | Vajnovszki, Vincent [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2731Source: 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): .
|
|
|
|
|
|
|
|
Web Engineering [electronic resource] : International Conference, ICWE 2003 Oviedo, Spain, July 14–18, 2003 Proceedings / edited by Juan Manuel Cueva Lovelle, Bernardo Martín González Rodríguez, Jose Emilio Labra Gayo, María Puerto Paule Ruiz, Luis Joyanes Aguilar. by Lovelle, Juan Manuel Cueva [editor.] | Rodríguez, Bernardo Martín González [editor.] | Gayo, Jose Emilio Labra [editor.] | Puerto Paule Ruiz, María [editor.] | Aguilar, Luis Joyanes [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2722Source: 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): .
|
|
|
|
Computer Aided Verification [electronic resource] : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings / edited by Warren A. Hunt, Fabio Somenzi. by Hunt, Warren A [editor.] | Somenzi, Fabio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2725Source: 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): .
|
|
|
|
|
|
|
|
Computing and Combinatorics [electronic resource] : 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25–28, 2003 Proceedings / edited by Tandy Warnow, Binhai Zhu. by Warnow, Tandy [editor.] | Zhu, Binhai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2697Source: 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): .
|
|
|
|
|