|
|
|
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings / edited by Martin Steffen, Gianluigi Zavattaro. by Steffen, Martin [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3535Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings / edited by Gianfranco Ciardo, Philippe Darondeau. by Ciardo, Gianfranco [editor.] | Darondeau, Philippe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3536Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Combinatorial Pattern Matching [electronic resource] : 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005. Proceedings / edited by Alberto Apostolico, Maxime Crochemore, Kunsoo Park. by Apostolico, Alberto [editor.] | Crochemore, Maxime [editor.] | Park, Kunsoo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3537Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell. by Hoos, Holger H [editor.] | Mitchell, David G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3542Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings / edited by Lea Kutvonen, Nancy Alonistioti. by Kutvonen, Lea [editor.] | Alonistioti, Nancy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3543Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Public Key Infrastructure [electronic resource] : Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30 - July 1, 2005, Revised Selected Papers / edited by David Chadwick, Gansen Zhao. by Chadwick, David [editor.] | Zhao, Gansen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3545Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computational Intelligence and Security [electronic resource] : International Conference, CIS 2005, Xi’an, China, December 15-19, 2005, Proceedings, Part II / edited by Yue Hao, Jiming Liu, Yu-Ping Wang, Yiu-ming Cheung, Hujun Yin, Licheng Jiao, Jianfeng Ma, Yong-Chang Jiao. by Hao, Yue [editor.] | Liu, Jiming [editor.] | Wang, Yu-Ping [editor.] | Cheung, Yiu-ming [editor.] | Yin, Hujun [editor.] | Jiao, Licheng [editor.] | Ma, Jianfeng [editor.] | Jiao, Yong-Chang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3802Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Security and Privacy in Ad-hoc and Sensor Networks [electronic resource] : Second European Workshop, ESAS 2005, Visegrad, Hungary, July 13-14, 2005. Revised Selected Papers / edited by Refik Molva, Gene Tsudik, Dirk Westhoff. by Molva, Refik [editor.] | Tsudik, Gene [editor.] | Westhoff, Dirk [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3813Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings / edited by Paul Pettersson, Wang Yi. by Pettersson, Paul [editor.] | Yi, Wang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3829Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers / edited by Dror Feitelson, Eitan Frachtenberg, Larry Rudolph, Uwe Schwiegelshohn. by Feitelson, Dror [editor.] | Frachtenberg, Eitan [editor.] | Rudolph, Larry [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3834Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings / edited by E. Allen Emerson, Kedar S. Namjoshi. by Emerson, E. Allen [editor.] | Namjoshi, Kedar S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3855Source: 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): .
|
|
|
|
Product Focused Software Process Improvement [electronic resource] : 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings / edited by Frank Bomarius, Seija Komi-Sirviö. by Bomarius, Frank [editor.] | Komi-Sirviö, Seija [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3547Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings / edited by Geoff Sutcliffe, Andrei Voronkov. by Sutcliffe, Geoff [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3835Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Graph Drawing [electronic resource] : 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. Revised Papers / edited by Patrick Healy, Nikola S. Nikolov. by Healy, Patrick [editor.] | Nikolov, Nikola S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3843Source: 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): .
|