Results
|
|
1.
|
|
|
|
2.
|
Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers / Carlos Canal, Akram Idani (eds.). by Series: Lecture notes in computer science ; 8938. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer, [2015]Copyright date: ©2015
Availability: Items available for loan: e-Library (1).
|
|
|
3.
|
|
|
|
4.
|
Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised selected papers / Viktória Zsók, Zoltán Horváth, Lehel Csató (eds.). by Series: Lecture notes in computer science ; 8606. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
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).
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
Languages and compilers for parallel computing : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised selected papers / James Brodman, Peng Tu (eds.). by Series: Lecture notes in computer science ; 8967. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
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).
|
|
|
9.
|
Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures / Marco Bernardo, Einar Broch Johnsen (eds.). by Series: Lecture notes in computer science ; 9104. | 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).
|
|
|
10.
|
Intelligent cloud computing : first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised selected papers / Asma Al-Saidi, Rudolf Fleischer, Zakaria Maamar, Omer F. Rana (eds.). by Series: Lecture notes in computer science ; 8993. | 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).
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
Finite difference methods, theory and applications : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised selected papers / Ivan Dimov, István Faragó, Lubin Vulkov (eds.). by Series: Lecture notes in computer science ; 9045. | 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).
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part II / Daniel Kroening, Corina S. Păsăreanu (eds.). by Series: Lecture notes in computer science ; 9207. | 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).
|
|
|
20.
|
Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part I / Daniel Kroening, Corina S. Păsăreanu (eds.). by Series: Lecture notes in computer science ; 9206. | 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).
|