Results
|
|
81.
|
|
|
|
82.
|
|
|
|
83.
|
|
|
|
84.
|
Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures / Marco Bernardo, Rocco De Nicola, Jane Hillston (eds.). by Series: Lecture notes in computer science ; 9700. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
85.
|
NASA formal methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / edited by Sanjai Rayadurgam, Oksana Tkachuk. by Series: Lecture notes in computer science ; 9690. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
86.
|
|
|
|
87.
|
|
|
|
88.
|
Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings / Thierry Lecomte, Ralf Pinger, Alexander Romanovsky (eds.). by Series: Lecture notes in computer science ; 9707. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
89.
|
|
|
|
90.
|
|
|
|
91.
|
|
|
|
92.
|
|
|
|
93.
|
|
|
|
94.
|
Modelling foundations and applications : 12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings / Andrzej Wąsowski, Henrik Lönn (eds.). by Series: Lecture notes in computer science ; 9764. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
95.
|
Rule technologies : research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman (eds.). by Series: Lecture notes in computer science ; 9718. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
96.
|
Software engineering and formal methods : 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / Rocco De Nicola, Eva Kühn (eds.). by Series: Lecture notes in computer science ; 9763. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
97.
|
|
|
|
98.
|
Perspectives of system informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised selected papers / Manuel Mazzara, Andrei Voronkov (eds.). by Series: Lecture notes in computer science ; 9609. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
festschrift
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
99.
|
|
|
|
100.
|
Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings / Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9791. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|