Results
|
|
1.
|
Financial cryptography and data security : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised selected papers / edited by Michael Brenner, Kurt Rohloff, Joseph Bonneau, Andrew Miller, Peter Y.A. Ryan, Vanessa Teague, Andrea Bracciali, Massimiliano Sala, Federico Pintore, Markus Jakobsson. by
- FC (Conference) (21st : 2017 : Sliema, Malta)
- Brenner, Michael (Computer scientist) [editor.]
- Rohloff, Kurt [editor.]
- Bonneau, Joseph [editor.]
- Miller, Andrew (Computer scientist) [editor.]
- Ryan, Peter, 1957- [editor.]
- Teague, Vanessa [editor.]
- Bracciali, Andrea [editor.]
- Sala, Massimiliano, 1969- [editor.]
- Pintore, Federico [editor.]
- Jakobsson, Markus [editor.]
- WAHC (Workshop) (5th : 2017 : Sliema, Malta)
- BITCOIN (Workshop) (4th : 2017 : Sliema, Malta)
- VOTING (Workshop) (2nd : 2017 : Sliema, Malta)
- WTSC (Workshop) (1st : 2017 : Sliema, Malta)
- TA (Workshop) (1st : 2017 : Sliema, Malta)
Series: Lecture notes in computer science ; 10323. | 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).
|
|
|
2.
|
Developments in language theory : 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings / Mizuho Hoshi, Shinnosuke Seki (eds.). by Series: Lecture notes in computer science ; 11088. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
3.
|
Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings / Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert Hierons (eds.). by Series: Lecture notes in computer science ; 11146. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
4.
|
Computer vision and graphics : International Conference, ICCVG 2018, Warsaw, Poland, September 17-19, 2018, Proceedings / Leszek J. Chmielewski, Ryszard Kozera, Arkadiusz Orłowski, Konrad Wojciechowski, Alfred M. Bruckstein, Nicolai Petkov (eds.). by Series: Lecture notes in computer science ; 11114. | 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, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
5.
|
Data driven treatment response assessment and preterm, perinatal, and paediatric image analysis : first International Workshop, DATRA 2018 and third International Workshop, PIPPI 2018, held in conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings / Andrew Melbourne, Roxane Licandro, Matthew DiFranco, Paolo Rota, Melanie Gau, Martin Kampel, Rosalind Aughwane, Pim Moeskops, Ernst Schwartz, Emma Robinson, Antonios Makropoulos (eds.). by
- DATRA (Workshop) (1st : 2018 : Granada, Spain)
- Melbourne, Andrew [editor.]
- Licandro, Roxane [editor.]
- DiFranco, Matthew [editor.]
- Rota, Paolo [editor.]
- Gau, Melanie [editor.]
- Kampel, Martin [editor.]
- Aughwane, Rosalind [editor.]
- Moeskops, Pim [editor.]
- Schwartz, Ernst [editor.]
- Robinson, Emma [editor.]
- Makropoulos, Antonios [editor.]
- PIPPI (Workshop) (3rd : 2018 : Granada, Spain)
- International Conference on Medical Image Computing and Computer-Assisted Intervention (21st : 2018 : Granada, Spain)
Series: Lecture notes in computer science ; 11076. | 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, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
6.
|
Social informatics : 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings. Part I / Steffen Staab, Olessia Koltsova, Dmitry I. Ignatov (eds.). by Series: Lecture notes in computer science ; 11185. | 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, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
7.
|
Social informatics : 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings. Part II / Steffen Staab, Olessia Koltsova, Dmitry I. Ignatov (eds.). by Series: Lecture notes in computer science ; 11186. | 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, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
8.
|
OR 2.0 context-aware operating theaters, computer assisted robotic endoscopy, clinical image-based procedures, and skin image analysis : first International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, third International Workshop, ISIC 2018, held in conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings / Danail Stoyanov, Zeike Taylor, Duygu Sarikaya, Jonathan McLeod, Miguel Angel González Ballester, Noel C.F. Codella et al. (eds.). by
- OR 2.0 (Workshop) (1st : 2018 : Granada, Spain)
- Stoyanov, Danail [editor.]
- Taylor, Zeike [editor.]
- Sarikaya, Duygu [editor.]
- McLeod, Jonathan [editor.]
- González Ballester, Miguel Angel [editor.]
- Codella, Noel C. F [editor.]
- CARE (Workshop) (5th : 2018 : Granada, Spain)
- CLIP (Workshop) (7th : 2018 : Granada, Spain)
- ISIC (Workshop) (3rd : 2018 : Granada, Spain)
- International Conference on Medical Image Computing and Computer-Assisted Intervention (21st : 2018 : Granada, Spain)
Series: Lecture notes in computer science ; 11041. | 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, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
9.
|
Advances in intelligent data analysis XVII : 17th International Symposium, IDA 2018, 's-Hertogenbosch, the Netherlands, October 24-26, 2018, Proceedings / Wouter Duivesteijn, Arno Siebes, Antti Ukkonen (eds.). by Series: Lecture notes in computer science ; 11191. | 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, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
10.
|
On the move to meaningful internet systems : OTM 2018 Conferences : Confederated International Conferences: CoopIS, C & TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings. Part I / Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman (eds.). by
- International Conference on Cooperative Information Systems (26th : 2018 : Valletta, Malta)
- Panetto, Herve [editor.]
- Debruyne, Christophe [editor.]
- Proper, Erik [editor.]
- Ardagna, Claudio Agostino [editor.]
- Roman, Dumitru (Research scientist) [editor.]
- Meersman, R [editor.]
- C & TC (Conference) (2018 : Valletta, Malta)
- International Conference on Ontologies Databases and Applications of Semantics (2018 : Valletta, Malta)
- OTM Confederated International Conferences (17th : 2018 : Valletta, Malta)
Series: Lecture notes in computer science ; 11229. | 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).
|
|
|
11.
|
Leveraging applications of formal methods, verification and validation : modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings. Part I / Tiziana Margaria, Bernhard Steffen (eds.). by Series: Lecture notes in computer science ; 11244. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, [2018]
Availability: Items available for loan: e-Library (1).
|
|
|
12.
|
Semantics, analytics, visualization : 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, revised selected papers / Alejandra González-Beltrán, Francesco Osborne, Silvio Peroni, Sahar Vahdati (eds.). by Series: Lecture notes in computer science ; 10959. | 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, 2018
Other title:
- SAVE-SD 2017
- SAVE-SD 2018
Availability: Items available for loan: e-Library (1).
|
|
|
13.
|
Leveraging applications of formal methods, verification and validation : Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part IV / Tiziana Margaria, Bernhard Steffen (eds.). by Series: Lecture notes in computer science ; 11247. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
14.
|
Leveraging applications of formal methods, verification and validation : distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part III / Tiziana Margaria, Bernhard Steffen (eds.). by Series: Lecture notes in computer science ; 11246. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
15.
|
Leveraging applications of formal methods, verification and validation : verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part II / Tiziana Margaria, Bernhard Steffen (eds.). by Series: Lecture notes in computer science ; 11245. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018
Availability: Items available for loan: e-Library (1).
|
|
|
16.
|
Intelligent data engineering and automated learning -- IDEAL 2018 : 19th International Conference, Madrid, Spain, November 21-23, 2018, Proceedings. Part I / Hujun Yin, David Camacho, Paulo Novais, Antonio J. Tallón-Ballesteros (eds.). by Series: Lecture notes in computer science ; 11314. | 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, 2018
Availability: Items available for loan: e-Library (1).
|