|
|
|
|
Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer. by Kreowski, Hans-Jörg [editor.] | Montanari, Ugo [editor.] | Orejas, Fernando [editor.] | Rozenberg, Grzegorz [editor.] | Taentzer, Gabriele [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3393Source: 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 Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / edited by Jens Grabowski, Brian Nielsen. by Grabowski, Jens [editor.] | Nielsen, Brian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3395Source: 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): .
|
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers / edited by Zhiming Liu, Keijiro Araki. by Liu, Zhiming [editor.] | Araki, Keijiro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3407Source: 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): .
|
|
|
|
|
|
|
|
|
|
Mathematical Foundations of Computer Science 2005 [electronic resource] : 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings / edited by Joanna Jȩdrzejowicz, Andrzej Szepietowski. by Jȩdrzejowicz, Joanna [editor.] | Szepietowski, Andrzej [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3618Source: 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): .
|
|
|
|
|
Algebra and Coalgebra in Computer Science [electronic resource] : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings / edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten. by Fiadeiro, José Luiz [editor.] | Harman, Neil [editor.] | Roggenbach, Markus [editor.] | Rutten, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3629Source: 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): .
|
|
|
|
|
Abstraction, Reformulation and Approximation [electronic resource] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings / edited by Jean-Daniel Zucker, Lorenza Saitta. by Zucker, Jean-Daniel [editor.] | Saitta, Lorenza [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3607Source: 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 Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings / edited by Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro. by Bravetti, Mario [editor.] | Kloul, Leïla [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3670Source: 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): .
|
|
|
|
|
Declarative Agent Languages and Technologies II [electronic resource] : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / edited by João Leite, Andrea Omicini, Paolo Torroni, pInar Yolum. by Leite, João [editor.] | Omicini, Andrea [editor.] | Torroni, Paolo [editor.] | Yolum, pInar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3476Source: 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): .
|
|
|
|
|
CONCUR 2005 – Concurrency Theory [electronic resource] : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings / edited by Martín Abadi, Luca Alfaro. by Abadi, Martín [editor.] | Alfaro, Luca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3653Source: 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 Methods for Components and Objects [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3657Source: 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 Programming [electronic resource] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings / edited by Maurizio Gabbrielli, Gopal Gupta. by Gabbrielli, Maurizio [editor.] | Gupta, Gopal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3668Source: 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): .
|
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings / edited by Manfred Morari, Lothar Thiele. by Morari, Manfred [editor.] | Thiele, Lothar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3414Source: 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): .
|
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers / edited by José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas. by Fiadeiro, José Luiz [editor.] | Mosses, Peter D [editor.] | Orejas, Fernando [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3423Source: 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): .
|
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings / edited by Doron A. Peled, Yih-Kuen Tsay. by Peled, Doron A [editor.] | Tsay, Yih-Kuen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3707Source: 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): .
|
|
|
|
|
Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings / edited by Chris Hankin, Igor Siveroni. by Hankin, Chris [editor.] | Siveroni, Igor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3672Source: 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): .
|
