Results
|
|
201.
|
|
|
|
202.
|
Computer performance engineering : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31-September 1, 2015, Proceedings / Marta Beltrán, William Knottenbelt, Jeremy Bradley (eds.). by Series: Lecture notes in computer science ; 9272. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer, 2015
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
203.
|
|
|
|
204.
|
|
|
|
205.
|
|
|
|
206.
|
Theory and applications of formal argumentation : third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised selected papers / Elizabeth Black, Sanjay Modgil, Nir Oren (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9524. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015
Availability: Items available for loan: e-Library (1).
|
|
|
207.
|
Software engineering and formal methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers / Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.). by Series: Lecture notes in computer science ; 9509. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, 2015
Availability: Items available for loan: e-Library (1).
|
|
|
208.
|
|
|
|
209.
|
|
|
|
210.
|
|
|
|
211.
|
Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich (eds.). by Series: Lecture notes in computer science ; 9421. | 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).
|
|
|
212.
|
Formal techniques for distributed systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, proceedings / Elvira Albert, Ivan Lanese (eds.). by Series: LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 9688.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
213.
|
|
|
|
214.
|
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).
|
|
|
215.
|
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).
|
|
|
216.
|
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).
|
|
|
217.
|
|
|
|
218.
|
|
|
|
219.
|
Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp. by Series: Lecture notes in computer science ; 9933. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
220.
|
Computer performance engineering : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings / Dieter Fiems, Marco Paolieri, Agapios N. Platis (eds.). by Series: Lecture notes in computer science ; 9951. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|