IMSc Library catalog › Results of search for 'su-br:au:"de Roever, W.P."'

Your search returned 7 results.

Not what you expected? Check for suggestions

			SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings / edited by Klaus Havelund, John Penix, Willem Visser. by Havelund, Klaus [editor.] \| Penix, John [editor.] \| Visser, Willem [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1885Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders. by Abdallah, Ali E [editor.] \| Jones, Cliff B [editor.] \| Sanders, Jeff W [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3525Source: 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): . Place hold Log in to add tags
			Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness [electronic resource] : REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg. by Bakker, J. W [editor.] \| Roever, W. -P [editor.] \| Rozenberg, G [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 430Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			RoboCup 2005: Robot Soccer World Cup IX [electronic resource] / edited by Ansgar Bredenfeld, Adam Jacoff, Itsuki Noda, Yasutake Takahashi. by Bredenfeld, Ansgar [editor.] \| Jacoff, Adam [editor.] \| Noda, Itsuki [editor.] \| Takahashi, Yasutake [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4020Source: 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): . Place hold Log in to add tags
			Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, 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 ; 4111Source: 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): . Place hold Log in to add tags
			AIIA 2005: Advances in Artificial Intelligence [electronic resource] : 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-32, 2005. Proceedings / edited by Stefania Bandini, Sara Manzoni. by Bandini, Stefania [editor.] \| Manzoni, Sara [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3673Source: 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): . Place hold Log in to add tags
			Quality of Service in Multiservice IP Networks [electronic resource] : Second International Workshop, QoS-IP 2003 Milano, Italy, February 24–26, 2003 Proceedings / edited by Marco Ajmone Marsan, Giorgio Corazza, Marco Listanti, Aldo Roveri. by Marsan, Marco Ajmone [editor.] \| Corazza, Giorgio [editor.] \| Listanti, Marco [editor.] \| Roveri, Aldo [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2601Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha