|
|
|
|
Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings / edited by Natarajan Shankar, Jim Woodcock. by Shankar, Natarajan [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5295Source: 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): .
|
|
|
|
|
Scalable Uncertainty Management [electronic resource] : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings / edited by Sergio Greco, Thomas Lukasiewicz. by Greco, Sergio [editor.] | Lukasiewicz, Thomas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5291Source: 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): .
|
|
|
|
|
Grammatical Inference: Algorithms and Applications [electronic resource] : 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings / edited by Alexander Clark, François Coste, Laurent Miclet. by Clark, Alexander [editor.] | Coste, François [editor.] | Miclet, Laurent [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5278Source: 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): .
|
|
|
|
|
Central European Functional Programming School [electronic resource] : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / edited by Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók. by Horváth, Zoltán [editor.] | Plasmeijer, Rinus [editor.] | Soós, Anna [editor.] | Zsók, Viktória [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5161Source: 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): .
|
|
|
|
|
Learning Classifier Systems [electronic resource] : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers / edited by Jaume Bacardit, Ester Bernadó-Mansilla, Martin V. Butz, Tim Kovacs, Xavier Llorà, Keiki Takadama. by Bacardit, Jaume [editor.] | Bernadó-Mansilla, Ester [editor.] | Butz, Martin V [editor.] | Kovacs, Tim [editor.] | Llorà, Xavier [editor.] | Takadama, Keiki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4998Source: 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): .
|
|
|
|
|
|
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings / edited by Shaoying Liu, Tom Maibaum, Keijiro Araki. by Liu, Shaoying [editor.] | Maibaum, Tom [editor.] | Araki, Keijiro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5256Source: 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): .
|
|
|
|
|
|
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers / edited by Carlos Martín-Vide, Friedrich Otto, Henning Fernau. by Martín-Vide, Carlos [editor.] | Otto, Friedrich [editor.] | Fernau, Henning [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5196Source: 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): .
|
|
|
|
|
Rough Sets and Current Trends in Computing [electronic resource] : 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings / edited by Chien-Chung Chan, Jerzy W. Grzymala-Busse, Wojciech P. Ziarko. by Chan, Chien-Chung [editor.] | Grzymala-Busse, Jerzy W [editor.] | Ziarko, Wojciech P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5306Source: 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): .
|
|
|
|
|
|
|
|
|
|
Provable Security [electronic resource] : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings / edited by Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai. by Baek, Joonsang [editor.] | Bao, Feng [editor.] | Chen, Kefei [editor.] | Lai, Xuejia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5324Source: 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): .
|
|
|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers / edited by Fariba Sadri, Ken Satoh. by Sadri, Fariba [editor.] | Satoh, Ken [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5056Source: 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): .
|
|
|
|
|
Applications of Graph Transformations with Industrial Relevance [electronic resource] : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers / edited by Andy Schürr, Manfred Nagl, Albert Zündorf. by Schürr, Andy [editor.] | Nagl, Manfred [editor.] | Zündorf, Albert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5088Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov. by Cervesato, Iliano [editor.] | Veith, Helmut [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5330Source: 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): .
|
|
|
|
|
Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs [electronic resource] : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers / edited by Barbara Paech, Craig Martell. by Paech, Barbara [editor.] | Martell, Craig [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5320Source: 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): .
|
|
|
|
|
Recent Advances in Constraints [electronic resource] : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers / edited by François Fages, Francesca Rossi, Sylvain Soliman. by Fages, François [editor.] | Rossi, Francesca [editor.] | Soliman, Sylvain [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5129Source: 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): .
|
|
|
|
|
|
