Your search returned 8 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Embedded systems design : the ARTIST roadmap for research and development / Bruno Bouyssounouse, Joseph Sifakis (eds.). by Series: Lecture notes in computer science ; 3436. | Lecture notes in computer science. Tutorial.
Material type: Text Text; Format: available online remote; 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:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Interactive systems : design, specification, and verification, 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings / T.C. Nicholas Graham, Philippe Palanque (eds.). by Series: Lecture notes in computer science ; 5136. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12436422
Publication details: Berlin ; New York : Springer, ©2008
Other title:
  • DSV-IS 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / Darren Cofer, Alessandro Fantechi (eds.). by Series: Lecture notes in computer science ; 5596. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12711871
Publication details: Berlin : Springer, ©2009
Other title:
  • FMICS 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
SDL 2009 : design for motes and mobiles : 14th International SDL Forum, Bochum, Germany, September 22-24, 2009 : proceedings / Rick Reed, Attila Bilgic, Reinhard Gotzhein (eds.). by Series: Lecture notes in computer science ; 5719. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2009
Other title:
  • Design for motes and mobiles
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings / Zhiming Liu, Anders P. Ravn (eds.). by Series: Lecture notes in computer science ; 5799. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, ©2009
Other title:
  • ATVA 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Global perspectives on design science research : 5th international conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010 : proceedings / Robert Winter, J. Leon Zhao, Stephan Aier (eds.). by Series: Lecture notes in computer science ; 6105. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Other title:
  • DESRIST 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings / Stefan Kowalewski, Marco Roveri (eds.). by Series: Lecture notes in computer science ; 6371. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • FMICS 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Contextual design : defining customer-centered systems / Hugh Beyer, Karen Holtzblatt. by Series: Interactive Technologies
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: San Francisco, Calif. : Morgan Kaufmann, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha