Results
|
|
141.
|
MultiMedia modeling : 23rd International Conference, MMM 2017, Reykjavik, Iceland, January 4-6, 2017, Proceedings. Part II / Laurent Amsaleg, Gylfi Þór Guðmundsson, Cathal Gurrin, Björn Þór Jónsson, Shin'ichi Satoh (eds.). by Series: Lecture notes in computer science ; 10133. | 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, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
142.
|
Foundations and practice of security : 9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised selected papers / Frédéric Cuppens, Lingyu Wang, Nora Cuppens-Boulahia, Nadia Tawbi, Joaquin Garcia-Alfaro (eds.). by Series: Lecture notes in computer science ; 10128. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
143.
|
Brain-inspired computing : second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised selected papers / Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov (eds.). by Series: Lecture notes in computer science ; 10087. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2016
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
144.
|
Spectral and shape analysis in medical imaging : first International Workshop, SeSAMI 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Revised selected papers / Martin Reuter, Christian Wachinger, Hervé Lombaert (eds.). by Series: Lecture notes in computer science ; 10126. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
145.
|
Approximation and online algorithms : 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016, Revised selected papers / Klaus Jansen, Monaldo Mastrolilli (eds.). by Series: Lecture notes in computer science ; 10138. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
146.
|
Practical aspects of declarative languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings / Yuliya Lierler, Walid Taha (eds.). by Series: Lecture notes in computer science ; 10137. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
147.
|
Graphic recognition : current trends and challenges : 11th International Workshop, GREC 2015, Nancy, France, August 22-23, 2015, Revised selected papers / Bart Lamiroy, Rafael Dueire Lins (eds.). by Series: Lecture notes in computer science ; 9657. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
148.
|
Agent based modelling of urban systems : first International Workshop, ABMUS 2016, held in conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, selected, and invited papers / Mohammad-Reza Namazi-Rad, Lin Padgham, Pascal Perez, Kai Nagel, Ana Bazzan (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10051. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
149.
|
Cyber physical systems : design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers / Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski (eds.). by Series: Lecture notes in computer science ; 10107. | 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, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
150.
|
Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings / Ahmed Bouajjani, David Monniaux (eds.). by Series: Lecture notes in computer science ; 10145. | 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, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
151.
|
Smart computing and communication : first International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016, Proceedings / Meikang Qiu (eds.). by Series: Lecture notes in computer science ; 10135. | 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, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
152.
|
SOFSEM 2017 : theory and practice of computer science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, proceedings / Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (eds.). by
- SOFSEM (Conference) (43rd : 2017 : Limerick, Ireland)
- Steffen, Bernhard [editor.]
- Baier, Christel [editor.]
- Brand, Mark van den [editor.]
- Eder, J. (Johann), 1958- [editor.]
- Hinchey, Michael G. (Michael Gerard), 1969- [editor.]
- Margaria-Steffen, Tiziana, 1964- [editor.]
Series: Lecture notes in computer science ; 10139. | 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, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
153.
|
Data analytics for renewable energy integration : 4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016, Revised selected papers / Wei Lee Woon, Zeyar Aung, Oliver Kramer, Stuart Madnick (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10097. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
154.
|
Unifying theories of programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers / edited by Jonathan P. Bowen, Huibiao Zhu. by Series: Lecture notes in computer science ; 10134. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
155.
|
Reconstruction, segmentation, and analysis of medical images : first International Workshops, RAMBO 2016 and HVSMR 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised selected papers / Maria A. Zuluaga, Kanwal Bhatia, Bernhard Kainz, Mehdi H. Moghari, Danielle F. Pace (eds.). by Series: Lecture notes in computer science ; 10129. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
156.
|
Artificial life and computational intelligence : third Australasian Conference, ACALCI 2017, Geelong, VIC, Australia, January 31-February 2, 2017, Proceedings / Markus Wagner, Xiaodong Li, Tim Hendtlass (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10142. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
157.
|
Statistical atlases and computational models of the heart : imaging and modelling challenges : 7th international workshop, STACOM 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, revised selected papers / Tommaso Mansi, Kristin McLeod, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young (eds.). by Series: Lecture notes in computer science ; 10124. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
158.
|
Quantum interaction : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised selected papers / Jose Acacio de Barros, Bob Coecke, Emmanuel Pothos (eds.). by Series: Lecture notes in computer science ; 10106. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
159.
|
Electronic voting : first International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, proceedings / Robert Krimmer, Melanie Volkamer, Jordi Barrat, Josh Benaloh, Nicole Goodman, Peter Y.A. Ryan, Vanessa Teague (eds.). by Series: Lecture notes in computer science ; 10141. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
160.
|
Languages and compilers for parallel computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised papers / Chen Ding, John Criswell, Peng Wu (eds.). by Series: Lecture notes in computer science ; 10136. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|