Results
|
|
301.
|
Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings / Christian Colombo, Martin Leucker (eds.). by Series: Lecture notes in computer science ; 11237. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
302.
|
Formal methods : foundations and applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings / Tiago Massoni, Mohammad Reza Mousavi (eds.). by Series: Lecture notes in computer science ; 11254. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
303.
|
Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures / Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.). by Series: Lecture notes in computer science ; 11174. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
304.
|
Product-focused software process improvement : 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings / Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper (eds.). by
- PROFES (Conference) (19th : 2018 : Wolfsburg, Germany)
- Kuhrmann, Marco [editor.]
- Schneider, Kurt, Prof. Dr [editor.]
- Pfahl, Dietmar [editor.]
- Amasaki, Sousuke [editor.]
- Ciolkowski, Marcus [editor.]
- Hebig, Regina [editor.]
- Tell, Paolo [editor.]
- Klünder, Jil [editor.]
- Küpper, Steffen [editor.]
Series: Lecture notes in computer science ; 11271. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
305.
|
|
|
|
306.
|
Verified software : theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers / Ruzica Piskac, Philipp Rümmer (eds.). by Series: Lecture notes in computer science ; 11294. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
307.
|
High performance computing for computational science -- VECPAR 2018 : 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised selected papers / Hermes Senger, Osni Marques, Rogerio Garcia, Tatiana Pinheiro de Brito, Rogério Iope, Silvio Stanzani, Veronica Gil-Costa (eds.). by Series: Lecture notes in computer science ; 11333. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2019
Availability: Items available for loan: e-Library (1).
|
|
|
308.
|
Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings / edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran. by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 11481. | LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing, 2019
Availability: Items available for loan: e-Library (1).
|
|
|
309.
|
|
|
|
310.
|
Chatbot research and design : Third International Workshop, CONVERSATIONS 2019, Amsterdam, the Netherlands, November 19-20, 2019, Revised Selected Papers / Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie Lai-Chong Law, Ole-Christoffer Granmo, Ewa Luger, Petter Bae Brandtzaeg (eds.). by Series: Lecture notes in computer science ; 11970. | 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, 2020
Availability: Items available for loan: e-Library (1).
|
|
|
311.
|
Verification, model checking, and abstract interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings / Dirk Beyer, Damien Zufferey (eds.). by Series: Lecture notes in computer science ; 11990. | 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: Cham : Springer, 2020
Availability: Items available for loan: e-Library (1).
|
|
|
312.
|
|
|
|
313.
|
Language and automata theory and applications : 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, proceedings / Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron (eds.). by Series: Lecture notes in computer science ; 12038. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, [2020]
Availability: Items available for loan: e-Library (1).
|
|
|
314.
|
|
|
|
315.
|
Application and theory of petri nets and concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings / Ryszard Janicki, Natalia Sidorova, Thomas Chatain (eds.). by Series: Lecture notes in computer science ; 12152. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Cham : Springer, 2020
Availability: Items available for loan: e-Library (1).
|
|
|
316.
|
|
|
|
317.
|
|
|
|
318.
|
|
|
|
319.
|
|
|
|
320.
|
|