|
|
|
Codes, Cryptology and Information Security [electronic resource] : Third International Conference, C2SI 2019, Rabat, Morocco, April 22-24, 2019, Proceedings - In Honor of Said El Hajji / edited by Claude Carlet, Sylvain Guilley, Abderrahmane Nitaj, El Mamoun Souidi.
by Carlet, Claude [editor.] | Guilley, Sylvain [editor.] | Nitaj, Abderrahmane [editor.] | Souidi, El Mamoun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Cyber Physical Systems. Design, Modeling, and Evaluation [electronic resource] : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers / edited by Roger Chamberlain, Walid Taha, Martin Törngren.
by Chamberlain, Roger [editor.] | Taha, Walid [editor.] | Törngren, Martin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Risks and Security of Internet and Systems [electronic resource] : 13th International Conference, CRiSIS 2018, Arcachon, France, October 16-18, 2018, Revised Selected Papers / edited by Akka Zemmari, Mohamed Mosbah, Nora Cuppens-Boulahia, Frédéric Cuppens.
by Zemmari, Akka [editor.] | Mosbah, Mohamed [editor.] | Cuppens-Boulahia, Nora [editor.] | Cuppens, Frédéric [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Cryptology - ASIACRYPT 2019 [electronic resource] : 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8-12, 2019, Proceedings, Part I / edited by Steven D. Galbraith, Shiho Moriai.
by Galbraith, Steven D [editor.] | Moriai, Shiho [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings / edited by Nan Guan, Joost-Pieter Katoen, Jun Sun.
by Guan, Nan [editor.] | Katoen, Joost-Pieter [editor.] | Sun, Jun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence [electronic resource] : 5th RAAI Summer School, Dolgoprudny, Russia, July 4-7, 2019, Tutorial Lectures / edited by Gennady S. Osipov, Aleksandr I. Panov, Konstantin S. Yakovlev.
by Osipov, Gennady S [editor.] | Panov, Aleksandr I [editor.] | Yakovlev, Konstantin S [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings / edited by Erika Ábrahám, Marco Paolieri.
by Ábrahám, Erika [editor.] | Paolieri, Marco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computing Theories and Application [electronic resource] : 18th International Conference, ICIC 2022, Xi'an, China, August 7-11, 2022, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo, Junfeng Jing, Prashan Premaratne, Vitoantonio Bevilacqua, Abir Hussain.
by Huang, De-Shuang [editor.] | Jo, Kang-Hyun [editor.] | Jing, Junfeng [editor.] | Premaratne, Prashan [editor.] | Bevilacqua, Vitoantonio [editor.] | Hussain, Abir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings / edited by Maurice H. ter Beek, Dejan Ničković.
by ter Beek, Maurice H [editor.] | Ničković, Dejan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers / edited by Dalibor Klusáček, Corbalán Julita, Gonzalo P. Rodrigo.
by Klusáček, Dalibor [editor.] | Julita, Corbalán [editor.] | Rodrigo, Gonzalo P [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Trends in Functional Programming [electronic resource] : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers / edited by Manuel Serrano, Jurriaan Hage.
by Serrano, Manuel [editor.] | Hage, Jurriaan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski.
by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Deelman, Ewa [editor.] | Karczewski, Konrad [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [electronic resource] : AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers / edited by Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Jaime Sichman, Javier Vázquez-Salceda.
by Boissier, Olivier [editor.] | Padget, Julian [editor.] | Dignum, Virginia [editor.] | Lindemann, Gabriela [editor.] | Matson, Eric T [editor.] | Ossowski, Sascha [editor.] | Sichman, Jaime [editor.] | Vázquez-Salceda, Javier [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr.
by Wyrzykowski, Roman [editor.] | Deelman, Ewa [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Kitowski, Jacek [editor.] | Wiatr, Kazimierz [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Graph Drawing and Network Visualization [electronic resource] : 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers / edited by Fabrizio Frati, Kwan-Liu Ma.
by Frati, Fabrizio [editor.] | Ma, Kwan-Liu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II / edited by Rupak Majumdar, Viktor Kunčak.
by Majumdar, Rupak [editor.] | Kunčak, Viktor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial General Intelligence [electronic resource] : 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings / edited by Matthew Iklé, Arthur Franz, Rafal Rzepka, Ben Goertzel.
by Iklé, Matthew [editor.] | Franz, Arthur [editor.] | Rzepka, Rafal [editor.] | Goertzel, Ben [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Computing Strategies for Engineering [electronic resource] : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II / edited by Ian F. C. Smith, Bernd Domer.
by Smith, Ian F. C [editor.] | Domer, Bernd [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings / edited by John Krogstie, Hajo A. Reijers.
by Krogstie, John [editor.] | Reijers, Hajo A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Bioinformatics and Computational Biology [electronic resource] : 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 - November 1, 2018, Proceedings / edited by Ronnie Alves.
by Alves, Ronnie [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
