Your search returned 15 results.

Not what you expected? Check for suggestions
Sort
Results
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: Serienbezeichnung | Lecture notes in computer science ; 10323. | LNCS sublibrary. SL 4, Security and cryptology.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Developments in language theory : 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings / Mizuho Hoshi, Shinnosuke Seki (eds.).

by Conference on Developments in Language Theory (22nd : 2018 : Tokyo, Japan) | Hoshi, Mizuho, 1985- [editor.] | Seki, Shinnosuke [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11088. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: DLT 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 ICTSS (Conference) (30th : 2018 : Cádiz, Spain) | Medina-Bulo, Inmaculada [editor.] | Merayo, M. G. (Mercedes G.) [editor.] | Hierons, Robert M [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11146. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: ICTSS 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 ICCVG (Conference) (2018 : Warsaw, Poland) | Chmielewski, Leszek [editor.] | Kozera, Ryszard [editor.] | Orłowski, Arkadiusz [editor.] | Wojciechowski, Konrad [editor.] | Bruckstein, Alfred, 1954- [editor.] | Petkov, Nicolai, 1956- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11114. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: ICCVG 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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: Serienbezeichnung | Lecture notes in computer science ; 11076. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: DATRA 2018 | PIPPI 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 International Workshop on Social Informatics (10th : 2018 : Saint Petersburg, Russia) | Staab, Steffen [editor] | Koltsova, Olessia [editor.] | Ignatov, Dmitry I [editor].

Series: Serienbezeichnung | Lecture notes in computer science ; 11185. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: SocInfo 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 International Workshop on Social Informatics (10th : 2018 : Saint Petersburg, Russia) | Staab, Steffen [editor.] | Koltsova, Olessia [editor.] | Ignatov, Dmitry I [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11186. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: SocInfo 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 International Symposium on Intelligent Data Analysis (17th : 2018 : 's-Hertogenbosch, Netherlands) | Duivesteijn, Wouter [editor.] | Siebes, Arno, 1958- [editor.] | Ukkonen, Antti [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11191. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: IDA 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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: Serienbezeichnung | Lecture notes in computer science ; 11229. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 ISoLA (Symposium) (8th : 2018 : Limassol, Cyprus) | Margaria-Steffen, Tiziana, 1964- [editor.] | Steffen, Bernhard [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11244. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: ISoLA 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 SAVE-SD (Workshop) (3rd : 2017 : Perth, W.A.) | Gonzalez-Beltran, Alejandra [editor.] | Osborne, Francesco [editor.] | Peroni, Silvio [editor.] | Vahdati, Sahar [editor.] | SAVE-SD (Workshop) (4th : 2018 : Lyon, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 10959. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: SAVE-SD 2017 | SAVE-SD 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 ISoLA (Symposium) (8th : 2018 : Limassol, Cyprus) | Margaria-Steffen, Tiziana, 1964- [editor.] | Steffen, Bernhard [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11247. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: ISoLA 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 ISoLA (Symposium) (8th : 2018 : Limassol, Cyprus) | Margaria-Steffen, Tiziana, 1964- [editor.] | Steffen, Bernhard [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11246. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2018Other title: ISoLA 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 ISoLA (Symposium) (8th : 2018 : Limassol, Cyprus) | Margaria-Steffen, Tiziana, 1964- [editor.] | Steffen, Bernhard [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11245. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: ISoLA 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 IDEAL (Conference) (19th : 2018 : Madrid, Spain) | Yin, Hujun, 1962- [editor.] | Camacho, David [editor.] | Novais, Paulo [editor.] | Tallón-Ballesteros, Antonio J [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11314. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: IDEAL 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha