Your search returned 9 results.

Not what you expected? Check for suggestions

Results
	1.	Using Event-B for Critical Device Software Systems [electronic resource] / by Neeraj Kumar Singh. by Singh, Neeraj Kumar [author.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Automatic Speech Signal Analysis for Clinical Diagnosis and Assessment of Speech Disorders [electronic resource] / by Ladan Baghai-Ravary, Steve W. Beet. by Baghai-Ravary, Ladan [author.] Beet, Steve W [author.] SpringerLink (Online service) Series: SpringerBriefs in Electrical and Computer Engineering Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Handbook of Medical and Healthcare Technologies [electronic resource] / edited by Borko Furht, Ankur Agarwal. by Furht, Borko [editor.] Agarwal, Ankur [editor.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Modelling and Control of Dialysis Systems [electronic resource] : Volume 1: Modeling Techniques of Hemodialysis Systems / edited by Ahmad Taher Azar. by Azar, Ahmad Taher [editor.] SpringerLink (Online service) Series: Studies in Computational Intelligence ; 404 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Modeling and Control of Dialysis Systems [electronic resource] : Volume 2: Biofeedback Systems and Soft Computing Techniques of Dialysis / edited by Ahmad Taher Azar. by Azar, Ahmad Taher [editor.] SpringerLink (Online service) Series: Studies in Computational Intelligence ; 405 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	4th International Conference on Biomedical Engineering in Vietnam [electronic resource] / edited by Vo Van Toi, Nguyen Bao Toan, Truong Quang Dang Khoa, Tran Ha Lien Phuong. by Toi, Vo Van [editor.] Toan, Nguyen Bao [editor.] Dang Khoa, Truong Quang [editor.] Lien Phuong, Tran Ha [editor.] SpringerLink (Online service) Series: IFMBE Proceedings ; 49 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Pervasive and Mobile Sensing and Computing for Healthcare [electronic resource] : Technological and Social Issues / edited by Subhas Chandra Mukhopadhyay, Octavian A. Postolache. by Mukhopadhyay, Subhas Chandra [editor.] Postolache, Octavian A [editor.] SpringerLink (Online service) Series: Smart Sensors, Measurement and Instrumentation ; 2 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Biomedical Engineering Systems and Technologies [electronic resource] : 5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers / edited by Joaquim Gabriel, Jan Schier, Sabine Van Huffel, Emmanuel Conchon, Carlos Correia, Ana Fred, Hugo Gamboa. by Gabriel, Joaquim [editor.] Schier, Jan [editor.] Huffel, Sabine Van [editor.] Conchon, Emmanuel [editor.] Correia, Carlos [editor.] Fred, Ana [editor.] Gamboa, Hugo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 357 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Foundations of Health Information Engineering and Systems [electronic resource] : Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers / edited by Jens Weber, Isabelle Perseil. by Weber, Jens [editor.] Perseil, Isabelle [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7789 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)