Refine your search

Your search returned 5241 results.

Not what you expected? Check for suggestions
5221.
Parallel programming : concepts and practice / Bertil Schmidt, Jorge Gonzalez-Dominguez, Christian Hundt, Moritz Schlarb.

by Schmidt, Bertil [author.] | Gonzalez-Dominguez, Jorge [author.] | Hundt, Christian [author.] | Schlarb, Moritz [author.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam : Morgan Kaufmann, 2017Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5222.
NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings / Ritchie Lee, Susmit Jha, Anastasia Mavridou (eds.).

by NFM (Symposium) (12th : 2020 : Online) | Lee, Ritchie [editor.] | Jha, Susmit [editor.] | Mavridou, Anastasia [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2020Other title: NFM 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5223.
Financial cryptography and data security : FC 2020 international workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised selected papers / Matthew Bernhard, Andrea Bracciali, L. Jean Camp, Shin'ichiro Matsuo, Alana Maurushat, Peter B. Rønne, Massimiliano Sala (eds.).

by FC (Conference) (24th : 2020 : Kota Kinabalu, Malaysia) | Bernhard, Matthew [editor.] | Bracciali, Andrea [editor.] | Camp, L. Jean [editor.] | Matsuo, Shin'ichiro [editor.] | Maurushat, Alana [editor.] | Rønne, Peter B [editor.] | Sala, Massimiliano, 1969- [editor.] | AsiaUSEC (Workshop) (2020 : Kota Kinabalu, Malaysia) | CoDeFi (Workshop) (2020 : Kota Kinabalu, Malaysia) | VOTING (Workshop) (5th : 2020 : Kota Kinabalu, Malaysia) | WTSC (Workshop) (4th : 2020 : Kota Kinabalu, Malaysia).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2020Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5224.
Document analysis systems : 14th IAPR International Workshop, DAS 2020, Wuhan, China, July 26-29, 2020, Proceedings / Xiang Bai, Dimosthenis Karatzas, Daniel Lopresti (eds.).

by IAPR International Workshop on Document Analysis Systems (14th : 2020 : Online) | Bai, Xiang | Karatzas, Dimosthenis | Lopresti, Daniel Philip.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2020Other title: DAS 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5225.
Advances in cryptology -- CRYPTO 2020 : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings. Part I / Daniele Micciancio, Thomas Ristenpart (eds.).

by CRYPTO (Conference) (40th : 2020 : Online) | Micciancio, Daniele | Ristenpart, Thomas.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: CRYPTO 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5226.
Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers. Part II / Emil Sekerinski, Nelma Moreira, José N. Oliveira et al. (eds.).

by International Symposium of Formal Methods Europe (23rd : 2019 : Porto, Portugal) | Sekerinski, E. (Emil), 1963- | Moreira, Nelma | Oliveira, José N.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: FM 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5227.
Advances in cryptology -- CRYPTO 2020 : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings. Part II / Daniele Micciancio, Thomas Ristenpart (eds.).

by CRYPTO (Conference) (40th : 2020 : Online) | Micciancio, Daniele | Ristenpart, Thomas.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: CRYPTO 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5228.
Applied Cryptography and Network Security : 18th International Conference, ACNS 2020, Rome, Italy, October 19-22, 2020, Proceedings. Part I / edited by Mauro Conti, Jianying Zhou, Emiliano Casalicchio, Angelo Spognardi (Eds.)

by ACNS (Conference) (18th : 2020 : Rome, Italy) | Conti, Mauro (Associate professor) [editor.] | Zhou, Jianying [editor.] | Casalicchio, Emiliano [editor.] | Spognardi, Angelo [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Copyright date: ©2020Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5229.
Text, speech, and dialogue : 23rd international conference, TSD 2020, Brno, Czech Republic, September 8-11, 2020, Proceedings / Petr Sojka, Ivan Kopeček, Karel Pala, Aleš Horák (eds.).

by TSD (Conference) (23rd : 2020 : Brno, Czech Republic) | Sojka, Petr | Kopeček, Ivan | Pala, Karel | Horák, Aleš.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2020Other title: TSD 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5230.
Advances in cryptology -- CRYPTO 2020 : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings. Part III / Daniele Micciancio, Thomas Ristenpart (eds.).

by CRYPTO (Conference) (40th : 2020 : Online) | Micciancio, Daniele | Ristenpart, Thomas.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: CRYPTO 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5231.
Model-based safety and assessment : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings / Marc Zeller, Kai Höfig (eds.).

by IMBSA (Symposium) (7th : 2020 : Online) | Zeller, Marc | Höfig, Kai.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: IMBSA 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5232.
Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers. Part I / Emil Sekerinski, Nelma Moreira, José N. Oliveira, et al. (eds.).

by World Congress on Formal Methods (3rd : 2019 : Porto, Portugal) | Sekerinski, E. (Emil), 1963- | Moreira, Nelma | Oliveira, José N.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: FM 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5233.
Artificial neural networks in pattern recognition : 9th IAPR TC3 Workshop, ANNPR 2020, Winterthur, Switzerland, September 2-4, 2020, Proceedings / Frank-Peter Schilling, Thilo Stadelmann (eds.).

by ANNPR (Workshop) (9th : 2020 : Online) | Schilling, F.-P. (Frank-Peter) | Stadelmann, Thilo.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2020Other title: ANNPR 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5234.
Security and cryptography for networks : 12th International Conference, SCN 2020, Amalfi, Italy, September 14-16, 2020, Proceedings / Clemente Galdi, Vladimir Kolesnikov (eds.).

by SCN (Conference) (12th : 2020 : Online) | Galdi, Clemente | Kolesnikov, Vladimir (Computer scientist).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2020]Other title: SCN 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5235.
Parallel problem solving from sature -- PPSN XVI : 16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020, Proceedings. Part I / Thomas Bäck, Mike Preuss, André Deutz, Hao Wang, Carola Doerr, Michael Emmerich, Heike Trautmann (eds.).

by International Conference on Parallel Problem Solving from Nature (16th : 2020 : Leiden, Netherlands) | Bäck, Thomas, 1963- | Preuss, Mike | Deutz, André | Wang, Hao | Doerr, Carola | Emmerich, Michael (Associate professor) | Trautmann, Heike.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: PPSN 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5236.
Principles and practice of constraint programming : 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings / Helmut Simonis (ed.).

by CP (Conference) (26th : 2020 : Online) | Simonis, Helmut [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: [S.l.] : Springer, 2020Other title: CP 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5237.
Parallel Problem Solving from Nature -- PPSN XVI : 16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020, Proceedings. Part II / Thomas Bäck, Mike Preuss, André Deutz, Hao Wang, Carola Doerr, Michael Emmerich, Heike Trautmann (eds.).

by International Conference on Parallel Problem Solving from Nature author (16th : 2020 : Leiden, Netherlands) | Bäck, Thomas, 1963- | Preuss, Mike | Deutz, André | Wang, Hao | Doerr, Carola | Emmerich, Michael (Associate professor) | Trautmann, Heike.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: PPSN 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5238.
Security and Trust Management : 16th International Workshop, STM 2020, Guildford, UK, September 17-18, 2020, Proceedings / edited by Kostantinos Markantonakis, Marinella Petrocchi.

Edition: 1st ed. 2020.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing, 2020Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5239.
Functional and logic programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings / Keisuke Nakano, Konstantinos Sagonas (eds.).

by Fuji International Symposium on Functional and Logic Programming (15th : 2020 : Online) | Nakano, Keisuke | Sagonas, Konstantinos.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: FLOPS 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5240.
Critical Information Infrastructures Security : 15th International Conference, CRITIS 2020, Bristol, UK, September 2-3, 2020, Proceedings / edited by Awais Rashid, Peter Popov.

by CRITIS (Conference) (15th : 2020 : Online) | Rashid, Awais | Popov, Peter.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2020]Other title: CRITIS 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha