Search Results for Operating.

55 Results Found

1 2 3 4 5

000000000000DEFAULT

37.

Cover image for Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Author

Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69149-5

Format:

Availability

Online Library~1

Available:
Copies:

38.

Constructing Ambient Intelligence AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers

Author

Mühlhäuser, Max. editor. Ferscha, Alois. editor. Aitenbichler, Erwin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85379-4

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Author

Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79719-7

Format:

Availability

Online Library~1

Available:
Copies:

40.

Software Verification and Validation An Engineering and Scientific Approach

Author

Fisher, Marcus S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-47939-2

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

Author

Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-72788-0

Format:

Availability

Online Library~1

Available:
Copies:

42.

Ambient Intelligence European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007. Proceedings

Author

Schiele, Bernt. editor. Dey, Anind K. editor. Gellersen, Hans. editor. Ruyter, Boris. editor. Tscheligi, Manfred. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76652-0

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

Author

Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69868-5

Format:

Availability

Online Library~1

Available:
Copies:

44.

Computational Intelligence in Fault Diagnosis

Author

Palade, Vasile. editor. Jain, Lakhmi. editor. Bocaniala, Cosmin Danut. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-631-5

Format:

Availability

Online Library~1

Available:
Copies:

45.

Rigorous Development of Complex Fault-Tolerant Systems

Author

Butler, Michael. editor. Jones, Cliff B. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11916246

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

Author

Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11734697

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

Author

Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11814948

Format:

Availability

Online Library~1

Available:
Copies:

48.

Advanced Topics in Exception Handling Techniques

Author

Dony, Christophe. editor. Knudsen, Jørgen Lindskov. editor. Romanovsky, Alexander. editor. Tripathi, Anand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11818502

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5

	{displayName}	{count}
{error}