Results
|
|
1.
|
Principles of security and trust : Third International Conference, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, proceedings / Martín Abadi, Steve Kremer (eds.). by Series: Lecture notes in computer science ; 8414. | LNCS sublibrary. SL 4, Security and cryptology.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Heidelberg : Springer, [2014]Copyright date: ©2014
Availability: Items available for loan: e-Library (1).
|
|
|
2.
|
Fundamental approaches to software engineering : 17th International Conference, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / Stefania Gnesi, Arend Rensink (eds.). by Series: Lecture notes in computer science ; 8411. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, 2014
Availability: Items available for loan: e-Library (1).
|
|
|
3.
|
|
|
|
4.
|
Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings / Erika Ábrahám, Klaus Havelund (eds.). by Series: Lecture notes in computer science ; 8413. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, 2014
Availability: Items available for loan: e-Library (1).
|
|
|
5.
|
Programming languages and systems : 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / Zhong Shao (eds.). by Series: Lecture notes in computer science ; 8410. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, 2014
Availability: Items available for loan: e-Library (1).
|
|
|
6.
|
Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Anca Muscholl. by Series: Lecture notes in computer science ; 8412. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
7.
|
From programs to systems - the systems perspective in computing : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings / Saddek Bensalem, Yassine Lakhneck, Axel Legay (eds.). by Series: Lecture notes in computer science ; 8415. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
festschrift
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, [2014]
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|