Results
|
|
21.
|
|
|
|
22.
|
|
|
|
23.
|
|
|
|
24.
|
|
|
|
25.
|
|
|
|
26.
|
|
|
|
27.
|
|
|
|
28.
|
Machines, computations, and universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / Jérôme Durand-Lose, Benedek Nagy (eds.). by Series: Lecture notes in computer science ; 9288. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer, 2015
Availability: Items available for loan: e-Library (1).
|
|
|
29.
|
|
|
|
30.
|
|
|
|
31.
|
|
|
|
32.
|
Computer safety, reliability, and security : SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, the Netherlands, September 22, 2015, Proceedings / Floor Koornneef, Coen van Gulijk (eds.). by Series: Lecture notes in computer science ; 9338. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015
Availability: Items available for loan: e-Library (1).
|
|
|
33.
|
Computer safety, reliability, and security : 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings / Floor Koornneef, Coen van Gulijk (eds.). by Series: Lecture notes in computer science ; 9337. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015
Availability: Items available for loan: e-Library (1).
|
|
|
34.
|
Logic programming and nonmonotonic reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9345. | 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).
|
|
|
35.
|
|
|
|
36.
|
Cyber physical systems : design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings / Christian Berger, Mohammad Reza Mousavi (eds.). by Series: Lecture notes in computer science ; 9361. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2015]
Availability: Items available for loan: e-Library (1).
|
|
|
37.
|
|
|
|
38.
|
|
|
|
39.
|
SDL 2015: Model-Driven Engineering for Smart Cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed. by Series: Lecture notes in computer science ; 9369. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015
Availability: Items available for loan: e-Library (1).
|
|
|
40.
|
|