Results
|
81.
|
|
|
82.
|
Formal Methods. FM 2019 International Workshops [electronic resource] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / by
- Sekerinski, Emil [editor.]
- Moreira, Nelma [editor.]
- Oliveira, José N [editor.]
- Ratiu, Daniel [editor.]
- Guidotti, Riccardo [editor.]
- Farrell, Marie [editor.]
- Luckcuck, Matt [editor.]
- Marmsoler, Diego [editor.]
- Campos, José [editor.]
- Astarte, Troy [editor.]
- Gonnord, Laure [editor.]
- Cerone, Antonio [editor.]
- Couto, Luis [editor.]
- Dongol, Brijesh [editor.]
- Kutrib, Martin [editor.]
- Monteiro, Pedro [editor.]
- Delmas, David [editor.]
- SpringerLink (Online service)
Series: Programming and Software Engineering ; 12232
Edition: 1st ed. 2020.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
In:
Springer Nature eBook
Availability: No items available.
|
|
83.
|
Dependable Computing - EDCC 2020 Workshops [electronic resource] : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / by
- Bernardi, Simona [editor.]
- Vittorini, Valeria [editor.]
- Flammini, Francesco [editor.]
- Nardone, Roberto [editor.]
- Marrone, Stefano [editor.]
- Adler, Rasmus [editor.]
- Schneider, Daniel [editor.]
- Schleiß, Philipp [editor.]
- Nostro, Nicola [editor.]
- Løvenstein Olsen, Rasmus [editor.]
- Di Salle, Amleto [editor.]
- Masci, Paolo [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 1279
Edition: 1st ed. 2020.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
In:
Springer Nature eBook
Availability: No items available.
|
|
84.
|
|
|
85.
|
|
|
86.
|
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 19th International Conference, GECON 2022, Izola, Slovenia, September 13–15, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13430
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
|
87.
|
|
|
88.
|
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I / by Series: Lecture Notes in Artificial Intelligence ; 14017
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
|
89.
|
Software Architecture [electronic resource] : 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14–18, 2020, Proceedings / by
- Muccini, Henry [editor.]
- Avgeriou, Paris [editor.]
- Buhnova, Barbora [editor.]
- Camara, Javier [editor.]
- Caporuscio, Mauro [editor.]
- Franzago, Mirco [editor.]
- Koziolek, Anne [editor.]
- Scandurra, Patrizia [editor.]
- Trubiani, Catia [editor.]
- Weyns, Danny [editor.]
- Zdun, Uwe [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 1269
Edition: 1st ed. 2020.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
In:
Springer Nature eBook
Availability: No items available.
|
|
90.
|
|
|
91.
|
|
|
92.
|
|
|
93.
|
Smart Cities, Green Technologies, and Intelligent Transport Systems [electronic resource] : 11th International Conference, SMARTGREENS 2022, and 8th International Conference, VEHITS 2022, Virtual Event, April 27–29, 2022, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1843
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
|
94.
|
|
|
95.
|
|
|
96.
|
|
|
97.
|
Modeling and Mining Ubiquitous Social Media [electronic resource] : International Workshops MSM 2011, Boston, MA, USA, October 9, 2011, and MUSE 2011, Athens, Greece, September 5, 2011, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7472
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
98.
|
|
|
99.
|
|
|
100.
|
|