Your search returned 635 results. Subscribe to this search

|
Fields of Logic and Computation III [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / edited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner.

by Blass, Andreas [editor.] | Cégielski, Patrick [editor.] | Dershowitz, Nachum [editor.] | Droste, Manfred [editor.] | Finkbeiner, Bernd [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Knowledge Graphs and Semantic Web [electronic resource] : 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13-15, 2023, Proceedings / edited by Fernando Ortiz-Rodriguez, Boris Villazón-Terrazas, Sanju Tiwari, Carlos Bobed.

by Ortiz-Rodriguez, Fernando [editor.] | Villazón-Terrazas, Boris [editor.] | Tiwari, Sanju [editor.] | Bobed, Carlos [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available