|
|
|
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
|
|
|
|
Computational Science and Its Applications - ICCSA 2011 [electronic resource] : International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part II / edited by Beniamino Murgante, Osvaldo Gervasi, Andres Iglesias, David Taniar, Bernady O. Apduhan.
by Murgante, Beniamino [editor.] | Gervasi, Osvaldo [editor.] | Iglesias, Andres [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online 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 I / 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
|
|
|
|
Reproducible Research in Pattern Recognition [electronic resource] : First International Workshop, RRPR 2016, Cancún, Mexico, December 4, 2016, Revised Selected Papers / edited by Bertrand Kerautret, Miguel Colom, Pascal Monasse.
by Kerautret, Bertrand [editor.] | Colom, Miguel [editor.] | Monasse, Pascal [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
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings / edited by Mariëlle Stoelinga, Ralf Pinger.
by Stoelinga, Mariëlle [editor.] | Pinger, Ralf [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2012 Workshops CMS, ECDM-NoCoDA, MODIC, MORE-BI, RIGIM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012, Proceedings / edited by Silvana Castano, Panos Vassiliadis, Laks Lakshmanan, Mong Li Lee.
by Castano, Silvana [editor.] | Vassiliadis, Panos [editor.] | Lakshmanan, Laks [editor.] | Lee, Mong Li [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Model and Data Engineering in the Digitalization Era [electronic resource] : MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings / edited by Mohamed Mosbah, Tahar Kechadi, Ladjel Bellatreche, Faiez Gargouri, Chirine Ghedira Guegan, Hassan Badir, Amin Beheshti, Mohamed Mohsen Gammoudi.
by Mosbah, Mohamed [editor.] | Kechadi, Tahar [editor.] | Bellatreche, Ladjel [editor.] | Gargouri, Faiez [editor.] | Guegan, Chirine Ghedira [editor.] | Badir, Hassan [editor.] | Beheshti, Amin [editor.] | Gammoudi, Mohamed Mohsen [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
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / edited by Annabelle McIver, Andras Horvath.
by McIver, Annabelle [editor.] | Horvath, Andras [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings / edited by David N. Jansen, Pavithra Prabhakar.
by Jansen, David N [editor.] | Prabhakar, Pavithra [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
|
|
|
|
Dependable Computing - EDCC 2024 Workshops [electronic resource] : SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings / edited by Behrooz Sangchoolie, Rasmus Adler, Richard Hawkins, Philipp Schleiss, Alessia Arteconi, Adriano Mancini.
by Sangchoolie, Behrooz [editor.] | Adler, Rasmus [editor.] | Hawkins, Richard [editor.] | Schleiss, Philipp [editor.] | Arteconi, Alessia [editor.] | Mancini, Adriano [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
|
|
|
|
Ethical and Legal Aspects of Computing [electronic resource] : A Professional Perspective from Software Engineering / by Gerard O'Regan.
by O'Regan, Gerard [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
|
|
|
|
Data Privacy Management, Cryptocurrencies and Blockchain Technology [electronic resource] : ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings / edited by Joaquin Garcia-Alfaro, Jordi Herrera-Joancomartí, Giovanni Livraga, Ruben Rios.
by Garcia-Alfaro, Joaquin [editor.] | Herrera-Joancomartí, Jordi [editor.] | Livraga, Giovanni [editor.] | Rios, Ruben [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
|
