|
|
|
|
Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings / edited by Hans Langmaack, Willem-Paul Roever, Jan Vytopil. by Langmaack, Hans [editor.] | Roever, Willem-Paul [editor.] | Vytopil, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 863Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Grammatical Inference and Applications [electronic resource] : Second International Colloquium, ICGI-94 Alicante, Spain, September 21–23, 1994 Proceedings / edited by Rafael C. Carrasco, Jose Oncina. by Carrasco, Rafael C [editor.] | Oncina, Jose [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 862Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Methodologies for Intelligent Systems [electronic resource] : 8th International Symposium, ISMIS '94 Charlotte, North Carolina, USA, October 16–19, 1994 Proceedings / edited by Zbigniew W. Raś, Maria Zemankova. by Raś, Zbigniew W [editor.] | Zemankova, Maria [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 869Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : Second International Conference, FASE’99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, Amsterdam, The Netherlands, March 22-28, 1999. Proceedings / edited by Jean-Pierre Finance. by Finance, Jean-Pierre [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1577Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 4th International Workshop on Analogical and Inductive Inference, AII '94 5th International Workshop on Algorithmic Learning Theory, ALT '94 Reinhardsbrunn Castle, Germany October 10–15, 1994 Proceedings / edited by Setsuo Arikawa, Klaus P. Jantke. by Arikawa, Setsuo [editor.] | Jantke, Klaus P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 872Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
FME '94: Industrial Benefit of Formal Methods [electronic resource] : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings / edited by Maurice Naftalin, Tim Denvir, Miquel Bertran. by Naftalin, Maurice [editor.] | Denvir, Tim [editor.] | Bertran, Miquel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 873Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Compiler Construction [electronic resource] : 8th International Conference, CC’99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, Amsterdam, The Netherlands, March 22-28, 1999. Proceedings / edited by Stefan Jähnichen. by Jähnichen, Stefan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1575Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
The Semantic Web - ISWC 2006 [electronic resource] : 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings / edited by Isabel Cruz, Stefan Decker, Dean Allemang, Chris Preist, Daniel Schwabe, Peter Mika, Mike Uschold, Lora M. Aroyo. by Cruz, Isabel [editor.] | Decker, Stefan [editor.] | Allemang, Dean [editor.] | Preist, Chris [editor.] | Schwabe, Daniel [editor.] | Mika, Peter [editor.] | Uschold, Mike [editor.] | Aroyo, Lora M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4273Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Intelligent Agents V: Agents Theories, Architectures, and Languages [electronic resource] : 5th International Workshop, ATAL’98 Paris, France, July 4–7, 1998 Proceedings / edited by Jörg P. Müller, Anand S. Rao, Munindar P. Singh. by Müller, Jörg P [editor.] | Rao, Anand S [editor.] | Singh, Munindar P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1555Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 7th International Workshop Ithaca, NY, USA, August 8–10, 1994 Proceedings / edited by Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua. by Pingali, Keshav [editor.] | Banerjee, Utpal [editor.] | Gelernter, David [editor.] | Nicolau, Alex [editor.] | Padua, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 892Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
