IMSc Library catalog › Results of search for 'au:"Platzer, André."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics by Platzer, Andre. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 2010Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 15 Call number: 681.3 PLA. Place hold Log in to add tags
			Correct System Design [electronic resource] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / edited by Roland Meyer, André Platzer, Heike Wehrheim. by Meyer, Roland [editor.] \| Platzer, André [editor.] \| Wehrheim, Heike [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9360 \| Lecture Notes in Computer Science ; 9360Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags