Your search returned 6 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / Oleg Sokolsky, Serdar Taşiran (eds.). by Series: Lecture notes in computer science ; 4839. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • RV 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Composition of embedded systems : scientific and industrial issues ; 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006 : revised selected papers / Fabrice Kordon, Oleg Sokolsky (eds.). by Series: Lecture notes in computer science ; 4888. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12209217
Publication details: Berlin ; New York : Springer, ©2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Foundations of computer software : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers / Christine Choppy, Oleg Sokolsky, (eds.). by Series: Lecture notes in computer science ; 6028. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 80012716
Publication details: Berlin ; New York : Springer, ©2010
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
5.
From reactive systems to cyber-physical systems : essays dedicated to Scott A. Smolka on the occasion of his 65th birthday / Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky (eds.). by Series: Lecture notes in computer science ; 11500. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2019
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings / Dang Van Hung, Oleg Sokolsky (eds.). by Series: Lecture notes in computer science ; 12302. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2020
Other title:
  • ATVA 2020
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha