|
|
|
From Reactive Systems to Cyber-Physical Systems [electronic resource] : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky.
by Bartocci, Ezio [editor.] | Cleaveland, Rance [editor.] | Grosu, Radu [editor.] | Sokolsky, Oleg [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
|
|
|
|
Web Engineering [electronic resource] : 24th International Conference, ICWE 2024, Tampere, Finland, June 17-20, 2024, Proceedings / edited by Kostas Stefanidis, Kari Systä, Maristella Matera, Sebastian Heil, Haridimos Kondylakis, Elisa Quintarelli.
by Stefanidis, Kostas [editor.] | Systä, Kari [editor.] | Matera, Maristella [editor.] | Heil, Sebastian [editor.] | Kondylakis, Haridimos [editor.] | Quintarelli, Elisa [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings / edited by Jun Pang, Lijun Zhang.
by Pang, Jun [editor.] | Zhang, Lijun [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 2020 [electronic resource] : 19th International Semantic Web Conference, Athens, Greece, November 2-6, 2020, Proceedings, Part I / edited by Jeff Z. Pan, Valentina Tamma, Claudia d'Amato, Krzysztof Janowicz, Bo Fu, Axel Polleres, Oshani Seneviratne, Lalana Kagal.
by Pan, Jeff Z [editor.] | Tamma, Valentina [editor.] | d'Amato, Claudia [editor.] | Janowicz, Krzysztof [editor.] | Fu, Bo [editor.] | Polleres, Axel [editor.] | Seneviratne, Oshani [editor.] | Kagal, Lalana [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2020 [electronic resource] : 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blečić, David Taniar, Bernady O. Apduhan, Ana Maria A.C. Rocha, Eufemia Tarantino, Carmelo Maria Torre, Yeliz Karaca.
by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Garau, Chiara [editor.] | Blečić, Ivan [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Rocha, Ana Maria A.C [editor.] | Tarantino, Eufemia [editor.] | Torre, Carmelo Maria [editor.] | Karaca, Yeliz [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
|
|
|
|
Principles and Practice of Constraint Programming [electronic resource] : 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings / edited by Helmut Simonis.
by Simonis, Helmut [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
|
|
|
|
Application and Theory of Petri Nets and Concurrency [electronic resource] : 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings / edited by Lars Michael Kristensen, Jan Martijn van der Werf.
by Kristensen, Lars Michael [editor.] | van der Werf, Jan Martijn [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Construct, Merge, Solve & Adapt [electronic resource] : A Hybrid Metaheuristic for Combinatorial Optimization / by Christian Blum.
by Blum, Christian [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Unconventional Computation and Natural Computation [electronic resource] : 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings / edited by Da-Jung Cho, Jongmin Kim.
by Cho, Da-Jung [editor.] | Kim, Jongmin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Optimization Theory and Operations Research [electronic resource] : 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings / edited by Anton Eremeev, Michael Khachay, Yury Kochetov, Vladimir Mazalov, Panos Pardalos.
by Eremeev, Anton [editor.] | Khachay, Michael [editor.] | Kochetov, Yury [editor.] | Mazalov, Vladimir [editor.] | Pardalos, Panos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Network and System Security [electronic resource] : 16th International Conference, NSS 2022, Denarau Island, Fiji, December 9-12, 2022, Proceedings / edited by Xingliang Yuan, Guangdong Bai, Cristina Alcaraz, Suryadipta Majumdar.
by Yuan, Xingliang [editor.] | Bai, Guangdong [editor.] | Alcaraz, Cristina [editor.] | Majumdar, Suryadipta [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
|
|
|
|
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 12th International Conference, SPACE 2022, Jaipur, India, December 9-12, 2022, Proceedings / edited by Lejla Batina, Stjepan Picek, Mainack Mondal.
by Batina, Lejla [editor.] | Picek, Stjepan [editor.] | Mondal, Mainack [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
|
|
|
|
Metaheuristics [electronic resource] : 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part I / edited by Marc Sevaux, Alexandru-Liviu Olteanu, Eduardo G. Pardo, Angelo Sifaleras, Salma Makboul.
by Sevaux, Marc [editor.] | Olteanu, Alexandru-Liviu [editor.] | Pardo, Eduardo G [editor.] | Sifaleras, Angelo [editor.] | Makboul, Salma [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
From Born-Physical to Born-Virtual: Augmenting Intelligence in Digital Libraries [electronic resource] : 24th International Conference on Asian Digital Libraries, ICADL 2022, Hanoi, Vietnam, November 30 - December 2, 2022, Proceedings / edited by Yuen-Hsien Tseng, Marie Katsurai, Hoa N. Nguyen.
by Tseng, Yuen-Hsien [editor.] | Katsurai, Marie [editor.] | Nguyen, Hoa N [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
|
|
|
|
Distributed Computer and Communication Networks [electronic resource] : 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papers / edited by Vladimir M. Vishnevskiy, Konstantin E. Samouylov, Dmitry V. Kozyrev.
by Vishnevskiy, Vladimir M [editor.] | Samouylov, Konstantin E [editor.] | Kozyrev, Dmitry V [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security Theory and Practice [electronic resource] : 14th IFIP WG 11.2 International Conference, WISTP 2024, Paris, France, February 29 - March 1, 2024, Proceedings / edited by Samia Bouzefrane, Damien Sauveron.
by Bouzefrane, Samia [editor.] | Sauveron, Damien [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence Applications and Innovations [electronic resource] : 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part IV / edited by Ilias Maglogiannis, Lazaros Iliadis, John Macintyre, Markos Avlonitis, Antonios Papaleonidas.
by Maglogiannis, Ilias [editor.] | Iliadis, Lazaros [editor.] | Macintyre, John [editor.] | Avlonitis, Markos [editor.] | Papaleonidas, Antonios [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
E-Voting and Identity [electronic resource] : 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings / edited by Rolf Haenni, Reto E. Koenig, Douglas Wikström.
by Haenni, Rolf [editor.] | Koenig, Reto E [editor.] | Wikström, Douglas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence Applications and Innovations [electronic resource] : 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27-30, 2024, Proceedings, Part I / edited by Ilias Maglogiannis, Lazaros Iliadis, John Macintyre, Markos Avlonitis, Antonios Papaleonidas.
by Maglogiannis, Ilias [editor.] | Iliadis, Lazaros [editor.] | Macintyre, John [editor.] | Avlonitis, Markos [editor.] | Papaleonidas, Antonios [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
New Horizons in Design Science: Broadening the Research Agenda [electronic resource] : 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings / edited by Brian Donnellan, Markus Helfert, Jim Kenneally, Debra VanderMeer, Marcus Rothenberger, Robert Winter.
by Donnellan, Brian [editor.] | Helfert, Markus [editor.] | Kenneally, Jim [editor.] | VanderMeer, Debra [editor.] | Rothenberger, Marcus [editor.] | Winter, Robert [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
