|
|
|
|
|
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine. by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Madelaine, Eric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5751Source: 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): .
|
|
|
|
|
Frontiers of Combining Systems [electronic resource] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings / edited by Silvio Ghilardi, Roberto Sebastiani. by Ghilardi, Silvio [editor.] | Sebastiani, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5749Source: 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): .
|
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub. by Erdem, Esra [editor.] | Lin, Fangzhen [editor.] | Schaub, Torsten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5753Source: 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): .
|
|
|
|
|
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings / edited by Joël Ouaknine, Frits W. Vaandrager. by Ouaknine, Joël [editor.] | Vaandrager, Frits W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5813Source: 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): .
|
|
|
|
|
Reachability Problems [electronic resource] : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings / edited by Olivier Bournez, Igor Potapov. by Bournez, Olivier [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5797Source: 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): .
|
|
|
|
|
SDL 2009: Design for Motes and Mobiles [electronic resource] : 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings / edited by Rick Reed, Attila Bilgic, Reinhard Gotzhein. by Reed, Rick [editor.] | Bilgic, Attila [editor.] | Gotzhein, Reinhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5719Source: 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): .
|
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings / edited by María Alpuente, Byron Cook, Christophe Joubert. by Alpuente, María [editor.] | Cook, Byron [editor.] | Joubert, Christophe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5825Source: 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): .
|
|
|
|
|
|
|
|
|
|
Relations and Kleene Algebra in Computer Science [electronic resource] : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings / edited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller. by Berghammer, Rudolf [editor.] | Jaoua, Ali Mohamed [editor.] | Möller, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5827Source: 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): .
|
|
|
|
|
Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / edited by Saddek Bensalem, Doron A. Peled. by Bensalem, Saddek [editor.] | Peled, Doron A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5779Source: 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): .
|
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings / edited by Zhiming Liu, Anders P. Ravn. by Liu, Zhiming [editor.] | Ravn, Anders P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5799Source: 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): .
|
|
|
|
|
Modeling Decisions for Artificial Intelligence [electronic resource] : 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30–December 2, 2009. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Masahiro Inuiguchi. by Torra, Vicenç [editor.] | Narukawa, Yasuo [editor.] | Inuiguchi, Masahiro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5861Source: 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): .
|
|
|
|
|
Logic, Rationality, and Interaction [electronic resource] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings / edited by Xiangdong He, John Horty, Eric Pacuit. by He, Xiangdong [editor.] | Horty, John [editor.] | Pacuit, Eric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5834Source: 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): .
|
|
|
|
|
Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings / edited by Guido Governatori, John Hall, Adrian Paschke. by Governatori, Guido [editor.] | Hall, John [editor.] | Paschke, Adrian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5858Source: 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): .
|
|
|
|
|
Testing of Software and Communication Systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings / edited by Manuel Núñez, Paul Baker, Mercedes G. Merayo. by Núñez, Manuel [editor.] | Baker, Paul [editor.] | Merayo, Mercedes G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5826Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
