Your search returned 10 results.

Not what you expected? Check for suggestions

Results
	1.	Power-aware computer systems : Second International Workshop, PACS 2002, Cambridge, MA, USA, February 2, 2002 : revised papers / B. Falsafi, T.N. Vijaykumar, (eds.). by PACS 2002 (2002 : Cambridge, Mass.) Falsafi, Babak Vijaykumar, T. N, 1967- Series: Lecture notes in computer science ; 2325. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2003 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Embedded systems design : the ARTIST roadmap for research and development / Bruno Bouyssounouse, Joseph Sifakis (eds.). by Bouyssounouse, Bruno Sifakis, J. (Joseph), 1946- Series: Lecture notes in computer science ; 3436. \| Lecture notes in computer science. Tutorial. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005 Other title: ARTIST roadmap for research and development In: OhioLINK electronic book center In: SpringerLink Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Embedded software and systems : second international conference, ICESS 2005, Xi'an, China, December 16-18, 2005 : proceedings / Laurence T. Yang [and others] (eds.). by ICESS 2005 (2005 : Xi'an, Shaanxi Sheng, China) Yang, Laurence Tianruo Series: Lecture notes in computer science ; 3820. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 11599555 Publication details: Berlin ; New York : Springer, ©2005 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / Paul Pettersson, Wang Yi (eds.). by FORMATS (Conference) (3rd : 2005 : Uppsala, Sweden) Pettersson, Paul Yi, Wang Series: Lecture notes in computer science ; 3829. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Reliable software technologies-Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings / Fabrice Kordon, Yvon Kermarrec (eds.). by Ada-Europe International Conference on Reliable Software Technologies (14th : 2009 : Brest, France) Kordon, Fabrice Kermarrec, Yvon Series: Lecture notes in computer science ; 5570. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 12685325 Publication details: Berlin ; New York : Springer, 2009 Other title: Ada-Europe 2009 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / Joël Ouaknine, Frits W. Vaandrager, (eds.). by FORMATS (Conference) (7th : 2009 : Budapest, Hungary) Ouaknine, Joël Vaandrager, Frits Series: Lecture notes in computer science ; 5813. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2009Copyright date: ©2009 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	Software technologies for embedded and ubiquitous systems : 7th IFIP WG 10.2 international workshop ; proceedings, SEUS 2009, Newport Beach, CA, USA, November 16-18, 2009 / Sunggu Lee, Priya Narasimhan (ed.). by SEUS (Workshop) (2009 : Newport Beach, Calif.) Lee, Sunggu Narasimhan, Priya IFIP WG 10.2 International Federation for Information Processing Series: Lecture notes in computer science ; 5860. \| LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2009 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	8.	Embedded systems : new approaches to their formal description and design : an advanced course, Zürich, Switzerland, March 5-7, 1986 / A. Kündig, R.E. Bührer, J. Dähler, eds. by Kündig, A. (Albert) Bührer, R. E. (Richard E.), 1946- Dähler, J. (Jacques), 1957- Series: Lecture notes in computer science ; 284. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1987 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	9.	Languages, compilers, and run-time systems for scalable computers : 4th international workshop, LCR '98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers / David O'Hallaron, ed. by Workshop on Languages, Compilers and Run-Time Systems for Scalable Computers (4th : 1998 : Pittsburgh, Pa.) O'Hallaron, David, 1955- Series: Lecture notes in computer science ; 1511. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1998 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	10.	Model-based engineering of embedded real-time systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers / Holger Giese [and others] (eds.). by International Seminar on Model-Based Engineering of Embedded Real-Time Systems (2007 : Dagstuhl, Wadern, Germany) Giese, Holger Series: Lecture notes in computer science ; 6100. \| Lecture notes in computer science. State-of-the-art survey. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: Best.-Nr. 80024023 Publication details: Berlin : Springer, 2010 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha