Results
|
|
101.
|
|
|
|
102.
|
|
|
|
103.
|
|
|
|
104.
|
Coordination, organizations, institutions, and norms in agent systems XI : COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised selected papers / Virginia Dignum, Pablo Noriega, Murat Sensoy, Jaime Simão Sichman (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9628. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Other title:
- Coordination, organizations, institutions, and normes in agent systems 11
- COIN@AAMAS
- COIN@IJCAI
Availability: Items available for loan: e-Library (1).
|
|
|
105.
|
|
|
|
106.
|
Quantitative evaluation of systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / Gul Agha, Benny Van Houdt (eds.). by Series: Lecture notes in computer science ; 9826. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
107.
|
|
|
|
108.
|
PRIMA 2016 : princiles and practice of multi-agent systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings / Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9862. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
109.
|
|
|
|
110.
|
|
|
|
111.
|
|
|
|
112.
|
Computer safety, reliability, and security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR and TIPS Trondheim, Norway, September 20, 2016, proceedings / Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch (eds.). by Series: Lecture notes in computer science ; 9923. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Other title:
- ASSURE 2016
- DECSoS 2016
- SASSUR 2016
- TIPS 2016
Availability: Items available for loan: e-Library (1).
|
|
|
113.
|
Computer safety, reliability, and security : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings / Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch (eds.). by Series: Lecture notes in computer science ; 9922. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
114.
|
Usability- and accessibility-focused requirements engineering : first International Workshop, UsARE 2012, held in conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and second International Workshop, UsARE 2014, held in conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised selected papers / Achim Ebert, Shah Rukh Humayoun, Norbert Seyff, Anna Perini, Simone D.J. Barbosa (eds.). by Series: Lecture notes in computer science ; 9312. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
115.
|
|
|
|
116.
|
Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings / Kim Guldstrand Larsen, Igor Potapov, Jiří Srba (ed.). by Series: Lecture notes in computer science ; 9899. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
117.
|
Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp. by Series: Lecture notes in computer science ; 9933. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
118.
|
|
|
|
119.
|
Computer performance engineering : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings / Dieter Fiems, Marco Paolieri, Agapios N. Platis (eds.). by Series: Lecture notes in computer science ; 9951. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
120.
|
|