|
|
|
Applied Cryptography and Network Security Workshops [electronic resource] : ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19-22, 2020, Proceedings / edited by Jianying Zhou, Mauro Conti, Chuadhry Mujeeb Ahmed, Man Ho Au, Lejla Batina, Zhou Li, Jingqiang Lin, Eleonora Losiouk, Bo Luo, Suryadipta Majumdar, Weizhi Meng, Martín Ochoa, Stjepan Picek, Georgios Portokalidis, Cong Wang, Kehuan Zhang.
by Zhou, Jianying [editor.] | Conti, Mauro [editor.] | Ahmed, Chuadhry Mujeeb [editor.] | Au, Man Ho [editor.] | Batina, Lejla [editor.] | Li, Zhou [editor.] | Lin, Jingqiang [editor.] | Losiouk, Eleonora [editor.] | Luo, Bo [editor.] | Majumdar, Suryadipta [editor.] | Meng, Weizhi [editor.] | Ochoa, Martín [editor.] | Picek, Stjepan [editor.] | Portokalidis, Georgios [editor.] | Wang, Cong [editor.] | Zhang, Kehuan [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Conceptual Modeling - Theory and Practice [electronic resource] : ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006, Proceedings / edited by John F. Roddick, Richard Benjamins, Samira Si-Said Cherfi, Roger Chiang, Ramez Elmasri, Hyoil Han, Martin Hepp, Miltiadis Lystras, Vojislav Misic, Geert Poels, Il-Yeol Song, Christelle Vangenot.
by Roddick, John F [editor.] | Benjamins, Richard [editor.] | Si-Said Cherfi, Samira [editor.] | Chiang, Roger [editor.] | Elmasri, Ramez [editor.] | Han, Hyoil [editor.] | Hepp, Martin [editor.] | Lystras, Miltiadis [editor.] | Misic, Vojislav [editor.] | Poels, Geert [editor.] | Song, Il-Yeol [editor.] | Vangenot, Christelle [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
|
|
|
|
Current Trends in Database Technology - EDBT 2006 [electronic resource] : EDBT 2006 Workshop PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMa, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers / edited by Torsten Grust, Hagen Höpfner, Arantza Illarramendi, Stefan Jablonski, Marco Mesiti, Sascha Müller, Paula-Lavinia Patranjan, Kai-Uwe Sattler, Myra Spiliopoulou, Jef Wijsen.
by Grust, Torsten [editor.] | Höpfner, Hagen [editor.] | Illarramendi, Arantza [editor.] | Jablonski, Stefan [editor.] | Mesiti, Marco [editor.] | Müller, Sascha [editor.] | Patranjan, Paula-Lavinia [editor.] | Sattler, Kai-Uwe [editor.] | Spiliopoulou, Myra [editor.] | Wijsen, Jef [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
|
|
|
|
Universal Access in Human-Computer Interaction. Design Approaches and Supporting Technologies [electronic resource] : 14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I / edited by Margherita Antona, Constantine Stephanidis.
by Antona, Margherita [editor.] | Stephanidis, Constantine [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
|
|
|
|
Graph Drawing and Network Visualization [electronic resource] : 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023, Revised Selected Papers, Part I / edited by Michael A. Bekos, Markus Chimani.
by Bekos, Michael A [editor.] | Chimani, Markus [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
|
|
|
|
Graph Drawing and Network Visualization [electronic resource] : 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023, Revised Selected Papers, Part II / edited by Michael A. Bekos, Markus Chimani.
by Bekos, Michael A [editor.] | Chimani, Markus [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
|
|
|
|
Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev.
by Voevodin, Vladimir [editor.] | Sobolev, Sergey [editor.] | Yakobovskiy, Mikhail [editor.] | Shagaliev, Rashit [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
|
|
|
|
Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev.
by Voevodin, Vladimir [editor.] | Sobolev, Sergey [editor.] | Yakobovskiy, Mikhail [editor.] | Shagaliev, Rashit [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
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2010, Barcelona, Spain, September 20-24, 2010. Proceedings, Part II / edited by José L. Balcázar, Francesco Bonchi, Aristides Gionis, Michèle Sebag.
by Balcázar, José L [editor.] | Bonchi, Francesco [editor.] | Gionis, Aristides [editor.] | Sebag, Michèle [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
High Performance Embedded Architectures and Compilers [electronic resource] : Fourth International Conference, HiPEAC 2009 / edited by André Seznec, Joel Emer, Michael O'Boyle, Margaret Martonosi, Theo Ungerer.
by Seznec, André [editor.] | Emer, Joel [editor.] | O'Boyle, Michael [editor.] | Martonosi, Margaret [editor.] | Ungerer, Theo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Euro-Par 2019: Parallel Processing Workshops [electronic resource] : Euro-Par 2019 International Workshops, Göttingen, Germany, August 26-30, 2019, Revised Selected Papers / edited by Ulrich Schwardmann, Christian Boehme, Dora B. Heras, Valeria Cardellini, Emmanuel Jeannot, Antonio Salis, Claudio Schifanella, Ravi Reddy Manumachu, Dieter Schwamborn, Laura Ricci, Oh Sangyoon, Thomas Gruber, Laura Antonelli, Stephen L. Scott.
by Schwardmann, Ulrich [editor.] | Boehme, Christian [editor.] | B. Heras, Dora [editor.] | Cardellini, Valeria [editor.] | Jeannot, Emmanuel [editor.] | Salis, Antonio [editor.] | Schifanella, Claudio [editor.] | Manumachu, Ravi Reddy [editor.] | Schwamborn, Dieter [editor.] | Ricci, Laura [editor.] | Sangyoon, Oh [editor.] | Gruber, Thomas [editor.] | Antonelli, Laura [editor.] | Scott, Stephen L [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
|
|
|
|
The Semantic Web - ISWC 2022 [electronic resource] : 21st International Semantic Web Conference, Virtual Event, October 23-27, 2022, Proceedings / edited by Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d'Amato.
by Sattler, Ulrike [editor.] | Hogan, Aidan [editor.] | Keet, Maria [editor.] | Presutti, Valentina [editor.] | Almeida, João Paulo A [editor.] | Takeda, Hideaki [editor.] | Monnin, Pierre [editor.] | Pirrò, Giuseppe [editor.] | d'Amato, Claudia [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
|
|
|
|
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection [electronic resource] : 20th International Conference, PAAMS 2022, L'Aquila, Italy, July 13-15, 2022, Proceedings / edited by Frank Dignum, Philippe Mathieu, Juan Manuel Corchado, Fernando De La Prieta.
by Dignum, Frank [editor.] | Mathieu, Philippe [editor.] | Corchado, Juan Manuel [editor.] | De La Prieta, Fernando [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
|
|
|
|
Mathematical Optimization Theory and Operations Research [electronic resource] : 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings / edited by Michael Khachay, Yury Kochetov, Anton Eremeev, Oleg Khamisov, Vladimir Mazalov, Panos Pardalos.
by Khachay, Michael [editor.] | Kochetov, Yury [editor.] | Eremeev, Anton [editor.] | Khamisov, Oleg [editor.] | Mazalov, Vladimir [editor.] | Pardalos, Panos [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
|
|
|
|
The Semantic Web - ISWC 2023 [electronic resource] : 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part I / edited by Terry R. Payne, Valentina Presutti, Guilin Qi, María Poveda-Villalón, Giorgos Stoilos, Laura Hollink, Zoi Kaoudi, Gong Cheng, Juanzi Li.
by Payne, Terry R [editor.] | Presutti, Valentina [editor.] | Qi, Guilin [editor.] | Poveda-Villalón, María [editor.] | Stoilos, Giorgos [editor.] | Hollink, Laura [editor.] | Kaoudi, Zoi [editor.] | Cheng, Gong [editor.] | Li, Juanzi [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
|
|
|
|
Languages: From Formal to Natural [electronic resource] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner.
by Grumberg, Orna [editor.] | Kaminski, Michael [editor.] | Katz, Shmuel [editor.] | Wintner, Shuly [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
General Theory of Information Transfer and Combinatorics [electronic resource] / edited by Rudolf Ahlswede, Lars Bäumer, Ning Cai, Harout Aydinian, Vladimir Blinovsky, Christian Deppe, Haik Mashurian.
by Ahlswede, Rudolf [editor.] | Bäumer, Lars [editor.] | Cai, Ning [editor.] | Aydinian, Harout [editor.] | Blinovsky, Vladimir [editor.] | Deppe, Christian [editor.] | Mashurian, Haik [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
|
|
|
|
Advances in Databases and Information Systems [electronic resource] : Associated Workshops and Doctoral Consortium of the 13th East European Conference, ADBIS 2009, Riga, Lativia, September 7-10, 2009. Revised Selected Papers / edited by Janis Grundspenkis, Marite Kirikova, Yannis Manolopoulos, Leonids Novickis.
by Grundspenkis, Janis [editor.] | Kirikova, Marite [editor.] | Manolopoulos, Yannis [editor.] | Novickis, Leonids [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
