Results
|
41.
|
|
|
42.
|
|
|
43.
|
|
|
44.
|
|
|
45.
|
|
|
46.
|
|
|
47.
|
|
|
48.
|
Formal Methods for Executable Software Models [electronic resource] : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures / edited by Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer. by Series: Lecture Notes in Computer Science ; 8483
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
49.
|
|
|
50.
|
ABZ 2014: The Landing Gear Case Study [electronic resource] : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings / edited by Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe. by Series: Communications in Computer and Information Science ; 433
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
51.
|
|
|
52.
|
|
|
53.
|
|
|
54.
|
|
|
55.
|
Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings / edited by Stéphane Demri, Deepak Kapur, Christoph Weidenbach. by Series: Lecture Notes in Computer Science ; 8562
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
56.
|
|
|
57.
|
|
|
58.
|
|
|
59.
|
|
|
60.
|
|