|
|
|
RoboCup 2017: Robot World Cup XXI [electronic resource] / edited by Hidehisa Akiyama, Oliver Obst, Claude Sammut, Flavio Tonidandel.
by Akiyama, Hidehisa [editor.] | Obst, Oliver [editor.] | Sammut, Claude [editor.] | Tonidandel, Flavio [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
|
|
|
|
Machine Learning and Data Mining for Sports Analytics [electronic resource] : 10th International Workshop, MLSA 2023, Turin, Italy, September 18, 2023, Revised Selected Papers / edited by Ulf Brefeld, Jesse Davis, Jan Van Haaren, Albrecht Zimmermann.
by Brefeld, Ulf [editor.] | Davis, Jesse [editor.] | Van Haaren, Jan [editor.] | Zimmermann, Albrecht [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
|
|
|
|
Static Analysis [electronic resource] : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings / edited by Andreas Podelski.
by Podelski, Andreas [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
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2018 [electronic resource] : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings / edited by Bernd Fischer, Tarmo Uustalu.
by Fischer, Bernd [editor.] | Uustalu, Tarmo [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
|
|
|
|
Engineering Trustworthy Software Systems [electronic resource] : Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang.
by Bowen, Jonathan P [editor.] | Liu, Zhiming [editor.] | Zhang, Zili [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
|
|
|
|
Service-Oriented Computing [electronic resource] : 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings / edited by Claus Pahl, Maja Vukovic, Jianwei Yin, Qi Yu.
by Pahl, Claus [editor.] | Vukovic, Maja [editor.] | Yin, Jianwei [editor.] | Yu, Qi [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
|
|
|
|
Information Systems Security [electronic resource] : 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings / edited by Vinod Ganapathy, Trent Jaeger, R.K. Shyamasundar.
by Ganapathy, Vinod [editor.] | Jaeger, Trent [editor.] | Shyamasundar, R.K [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
|
|
|
|
Neural Information Processing [electronic resource] : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part III / edited by Long Cheng, Andrew Chi Sing Leung, Seiichi Ozawa.
by Cheng, Long [editor.] | Leung, Andrew Chi Sing [editor.] | Ozawa, Seiichi [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
|
|
|
|
Privacy Technologies and Policy [electronic resource] : 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers / edited by Manel Medina, Andreas Mitrakas, Kai Rannenberg, Erich Schweighofer, Nikolaos Tsouroulas.
by Medina, Manel [editor.] | Mitrakas, Andreas [editor.] | Rannenberg, Kai [editor.] | Schweighofer, Erich [editor.] | Tsouroulas, Nikolaos [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
|
|
|
|
Structures of Computing [electronic resource] : A Guide to Practice-Oriented Theory / by Egon Börger, Vincenzo Gervasi.
by Börger, Egon [author.] | Gervasi, Vincenzo [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 International Publishing : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings / edited by Serenella Cerrito, Andrei Popescu.
by Cerrito, Serenella [editor.] | Popescu, Andrei [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
|
|
|
|
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 9th International Conference, SPACE 2019, Gandhinagar, India, December 3-7, 2019, Proceedings / edited by Shivam Bhasin, Avi Mendelson, Mridul Nandi.
by Bhasin, Shivam [editor.] | Mendelson, Avi [editor.] | Nandi, Mridul [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
|
|
|
|
Applied Reconfigurable Computing. Architectures, Tools, and Applications [electronic resource] : 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings / edited by Iouliia Skliarova, Piedad Brox Jiménez, Mário Véstias, Pedro C. Diniz.
by Skliarova, Iouliia [editor.] | Brox Jiménez, Piedad [editor.] | Véstias, Mário [editor.] | Diniz, Pedro C [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
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings / edited by Farhad Arbab, Sung-Shik Jongmans.
by Arbab, Farhad [editor.] | Jongmans, Sung-Shik [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
|
|
|
|
Search-Based Software Engineering [electronic resource] : 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceedings / edited by Mike Papadakis, Silvia Regina Vergilio.
by Papadakis, Mike [editor.] | Vergilio, Silvia Regina [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
|
|
|
|
Smart Grid and Internet of Things [electronic resource] : 7th EAI International Conference, SGIoT 2023, TaiChung, Taiwan, November 18-19, 2023, Proceedings / edited by Der-Jiunn Deng, Jyh-Cheng Chen.
by Deng, Der-Jiunn [editor.] | Chen, Jyh-Cheng [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
|
|
|
|
Software, System, and Service Engineering [electronic resource] : S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers / edited by Aleksander Jarzębowicz, Ivan Luković, Adam Przybyłek, Mirosław Staroń, Muhammad Ovais Ahmad, Mirosław Ochodek.
by Jarzębowicz, Aleksander [editor.] | Luković, Ivan [editor.] | Przybyłek, Adam [editor.] | Staroń, Mirosław [editor.] | Ahmad, Muhammad Ovais [editor.] | Ochodek, Mirosław [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
|
|
|
|
Model and Data Engineering [electronic resource] : 11th International Conference, MEDI 2022, Cairo, Egypt, November 21-24, 2022, Proceedings / edited by Philippe Fournier-Viger, Ahmed Hassan, Ladjel Bellatreche.
by Fournier-Viger, Philippe [editor.] | Hassan, Ahmed [editor.] | Bellatreche, Ladjel [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
|
|
|
|
Mobile Networks and Management [electronic resource] : 13th EAI International Conference, MONAMI 2023, Yingtan, China, October 27-29, 2023, Proceedings / edited by Celimuge Wu, Xianfu Chen, Jie Feng, Zhen Wu.
by Wu, Celimuge [editor.] | Chen, Xianfu [editor.] | Feng, Jie [editor.] | Wu, Zhen [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. ECAI 2023 International Workshops [electronic resource] : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II / edited by Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova.
by Nowaczyk, Sławomir [editor.] | Biecek, Przemysław [editor.] | Chung, Neo Christopher [editor.] | Vallati, Mauro [editor.] | Skruch, Paweł [editor.] | Jaworek-Korjakowska, Joanna [editor.] | Parkinson, Simon [editor.] | Nikitas, Alexandros [editor.] | Atzmüller, Martin [editor.] | Kliegr, Tomáš [editor.] | Schmid, Ute [editor.] | Bobek, Szymon [editor.] | Lavrac, Nada [editor.] | Peeters, Marieke [editor.] | van Dierendonck, Roland [editor.] | Robben, Saskia [editor.] | Mercier-Laurent, Eunika [editor.] | Kayakutlu, Gülgün [editor.] | Owoc, Mieczyslaw Lech [editor.] | Mason, Karl [editor.] | Wahid, Abdul [editor.] | Bruno, Pierangela [editor.] | Calimeri, Francesco [editor.] | Cauteruccio, Francesco [editor.] | Terracina, Giorgio [editor.] | Wolter, Diedrich [editor.] | Leidner, Jochen L [editor.] | Kohlhase, Michael [editor.] | Dimitrova, Vania [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
|
