|
|
|
Mathematical Foundations of Computer Science 2004 [electronic resource] : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings / edited by Jiří Fiala, Václav Koubek, Jan Kratochvíl. by Fiala, Jiří [editor.] | Koubek, Václav [editor.] | Kratochvíl, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3153Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Software Composition [electronic resource] : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers / edited by Thomas Gschwind, Uwe Aßmann, Oscar Nierstrasz. by Gschwind, Thomas [editor.] | Aßmann, Uwe [editor.] | Nierstrasz, Oscar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3628Source: 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 the Design of Real-Time Systems [electronic resource] : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures / edited by Marco Bernardo, Flavio Corradini. by Bernardo, Marco [editor.] | Corradini, Flavio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3185Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. 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 ; 3188Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Science Logic [electronic resource] : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings / edited by Jerzy Marcinkowski, Andrzej Tarlecki. by Marcinkowski, Jerzy [editor.] | Tarlecki, Andrzej [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3210Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004. Proceedings / edited by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann. by Heisel, Maritta [editor.] | Liggesmeyer, Peter [editor.] | Wittmann, Stefan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3219Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings / edited by Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan. by Slind, Konrad [editor.] | Bunker, Annette [editor.] | Gopalakrishnan, Ganesh [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3223Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Grammatical Inference: Algorithms and Applications [electronic resource] : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings / edited by Georgios Paliouras, Yasubumi Sakakibara. by Paliouras, Georgios [editor.] | Sakakibara, Yasubumi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3264Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Graph Transformations [electronic resource] : Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings / edited by Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg. by Ehrig, Hartmut [editor.] | Engels, Gregor [editor.] | Parisi-Presicce, Francesco [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3256Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems [electronic resource] : Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings / edited by Yassine Lakhnech, Sergio Yovine. by Lakhnech, Yassine [editor.] | Yovine, Sergio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3253Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Applying Formal Methods: Testing, Performance, and M/E-Commerce [electronic resource] : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings / edited by Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio. by Núñez, Manuel [editor.] | Maamar, Zakaria [editor.] | Pelayo, Fernando L [editor.] | Pousttchi, Key [editor.] | Rubio, Fernando [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3236Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Teaching Formal Methods [electronic resource] : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings / edited by C. Neville Dean, Raymond T. Boute. by Dean, C. Neville [editor.] | Boute, Raymond T [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3294Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
The Semantic Web – ISWC 2004 [electronic resource] : Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings / edited by Sheila A. McIlraith, Dimitris Plexousakis, Frank Harmelen. by McIlraith, Sheila A [editor.] | Plexousakis, Dimitris [editor.] | Harmelen, Frank [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3298Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings / edited by Jim Davies, Wolfram Schulte, Mike Barnett. by Davies, Jim [editor.] | Schulte, Wolfram [editor.] | Barnett, Mike [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3308Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Formal Methods in Computer-Aided Design [electronic resource] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings / edited by Alan J. Hu, Andrew K. Martin. by Hu, Alan J [editor.] | Martin, Andrew K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3312Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|