|
|
|
|
|
|
|
SDL 2007: Design for Dependable Systems [electronic resource] : 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings / edited by Emmanuel Gaudin, Elie Najm, Rick Reed. by Gaudin, Emmanuel [editor.] | Najm, Elie [editor.] | Reed, Rick [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4745Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings / edited by Francesca Saglietti, Norbert Oster. by Saglietti, Francesca [editor.] | Oster, Norbert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4680Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings / edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura. by Namjoshi, Kedar S [editor.] | Yoneda, Tomohiro [editor.] | Higashino, Teruo [editor.] | Okamura, Yoshio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4762Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings / edited by Adrian Paschke, Yevgen Biletskiy. by Paschke, Adrian [editor.] | Biletskiy, Yevgen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4824Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Task Models and Diagrams for User Interface Design [electronic resource] : 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings / edited by Marco Winckler, Hilary Johnson, Philippe Palanque. by Winckler, Marco [editor.] | Johnson, Hilary [editor.] | Palanque, Philippe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4849Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / edited by Oleg Sokolsky, Serdar Taşıran. by Sokolsky, Oleg [editor.] | Taşıran, Serdar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4839Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel. by Dumas, Marlon [editor.] | Heckel, Reiko [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4937Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Engineering Interactive Systems [electronic resource] : Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings / edited by Peter Forbrig, Fabio Paternò. by Forbrig, Peter [editor.] | Paternò, Fabio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5247Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings / edited by Michael D. Harrison, Mark-Alexander Sujan. by Harrison, Michael D [editor.] | Sujan, Mark-Alexander [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5219Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings / edited by Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan. by Cha, Sungdeok (Steve) [editor.] | Choi, Jin-Young [editor.] | Kim, Moonzoo [editor.] | Lee, Insup [editor.] | Viswanathan, Mahesh [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5311Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Rule Representation, Interchange and Reasoning on the Web [electronic resource] : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke. by Bassiliades, Nick [editor.] | Governatori, Guido [editor.] | Paschke, Adrian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5321Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Engineering Interactive Systems [electronic resource] : EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers / edited by Jan Gulliksen, Morton Borup Harning, Philippe Palanque, Gerrit C. Veer, Janet Wesson. by Gulliksen, Jan [editor.] | Harning, Morton Borup [editor.] | Palanque, Philippe [editor.] | Veer, Gerrit C [editor.] | Wesson, Janet [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4940Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / edited by Roberto Bruni, Karsten Wolf. by Bruni, Roberto [editor.] | Wolf, Karsten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5387Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Model Driven Architecture - Foundations and Applications [electronic resource] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings / edited by Richard F. Paige, Alan Hartman, Arend Rensink. by Paige, Richard F [editor.] | Hartman, Alan [editor.] | Rensink, Arend [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5562Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|