|
|
|
|
Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4313Source: 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): .
|
|
|
|
|
Parallel and Distributed Processing [electronic resource] : 11th IPPS/SPDP’99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12–16, 1999 Proceedings / edited by José Rolim, Frank Mueller, Albert Y. Zomaya, Fikret Ercal, Stephan Olariu, Binoy Ravindran, Jan Gustafsson, Hiroaki Takada, Ron Olsson, Laxmikant V. Kale, Pete Beckman, Matthew Haines, Hossam ElGindy, Denis Caromel, Serge Chaumette, Geoffrey Fox, Yi Pan, Keqin Li, Tao Yang, G. Chiola, G. Conte, L. V. Mancini, Domenique Méry, Beverly Sanders, Devesh Bhatt, Viktor Prasanna. by Rolim, José [editor.] | Mueller, Frank [editor.] | Zomaya, Albert Y [editor.] | Ercal, Fikret [editor.] | Olariu, Stephan [editor.] | Ravindran, Binoy [editor.] | Gustafsson, Jan [editor.] | Takada, Hiroaki [editor.] | Olsson, Ron [editor.] | Kale, Laxmikant V [editor.] | Beckman, Pete [editor.] | Haines, Matthew [editor.] | ElGindy, Hossam [editor.] | Caromel, Denis [editor.] | Chaumette, Serge [editor.] | Fox, Geoffrey [editor.] | Pan, Yi [editor.] | Li, Keqin [editor.] | Yang, Tao [editor.] | Chiola, G [editor.] | Conte, G [editor.] | Mancini, L. V [editor.] | Méry, Domenique [editor.] | Sanders, Beverly [editor.] | Bhatt, Devesh [editor.] | Prasanna, Viktor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1586Source: 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): .
|
|
|
|
|
High-Performance Computing and Networking [electronic resource] : 7th International Conference, HPCN Europe 1999 Amsterdam, The Netherlands, April 12–14, 1999 Proceedings / edited by Peter Sloot, Marian Bubak, Alfons Hoekstra, Bob Hertzberger. by Sloot, Peter [editor.] | Bubak, Marian [editor.] | Hoekstra, Alfons [editor.] | Hertzberger, Bob [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1593Source: 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): .
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
Computers for Handicapped Persons [electronic resource] : 4th International Conference, ICCHP '94 Vienna, Austria, September 14–16, 1994 Proceedings / edited by Wolfgang L. Zagler, Geoffrey Busby, Roland R. Wagner. by Zagler, Wolfgang L [editor.] | Busby, Geoffrey [editor.] | Wagner, Roland R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 860Source: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Human-Computer Interaction [electronic resource] : 4th International Conference, EWHCI '94 St. Petersburg, Russia August 2–5, 1994 Selected Papers / edited by Brad Blumenthal, Juri Gornostaev, Claus Unger. by Blumenthal, Brad [editor.] | Gornostaev, Juri [editor.] | Unger, Claus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 876Source: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
