Results
|
3621.
|
|
|
3622.
|
Conceptual Modeling for Advanced Application Domains [electronic resource] : ER 2004 Workshops CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and eCOMO, Shanghai, China, November 8-12, 2004. Proceedings / by
- Wang, Shan [editor.]
- Tanaka, Katsumi [editor.]
- Zhou, Shuigeng [editor.]
- Ling, Tok Wang [editor.]
- Guan, Jihong [editor.]
- Yang, Dongqing [editor.]
- Grandi, Fabio [editor.]
- Mangina, Eleni [editor.]
- Song, Il-Yeol [editor.]
- Mayr, Heinrich C [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 3289
Edition: 1st ed. 2004.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
In:
Springer Nature eBook
Availability: No items available.
|
|
3623.
|
|
|
3624.
|
|
|
3625.
|
|
|
3626.
|
|
|
3627.
|
|
|
3628.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 12652
Edition: 1st ed. 2021.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021
In:
Springer Nature eBook
Availability: No items available.
|
|
3629.
|
Distributed, Ambient and Pervasive Interactions. Smart Environments, Ecosystems, and Cities [electronic resource] : 10th International Conference, DAPI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 13325
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
3630.
|
|
|
3631.
|
|
|
3632.
|
|
|
3633.
|
Current Trends in Web Engineering [electronic resource] : ICWE 2022 International Workshops, BECS, SWEET and WALS, Bari, Italy, July 5–8, 2022, Revised Selected Papers / by
- Agapito, Giuseppe [editor.]
- Bernasconi, Anna [editor.]
- Cappiello, Cinzia [editor.]
- Khattak, Hasan Ali [editor.]
- Ko, InYoung [editor.]
- Loseto, Giuseppe [editor.]
- Mrissa, Michael [editor.]
- Nanni, Luca [editor.]
- Pinoli, Pietro [editor.]
- Ragone, Azzurra [editor.]
- Ruta, Michele [editor.]
- Scioscia, Floriano [editor.]
- Srivastava, Abhishek [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 1668
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.
|
|
3634.
|
|
|
3635.
|
|
|
3636.
|
Agile Processes in Software Engineering and Extreme Programming – Workshops [electronic resource] : XP 2022 Workshops, Copenhagen, Denmark, June 13–17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13–16, 2023, Revised Selected Papers / by Series: Lecture Notes in Business Information Processing ; 489
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
3637.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 14500
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
3638.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 14499
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
3639.
|
Algorithms and Architectures for Parallel Processing, Part I [electronic resource] : 11th International Conference, ICA3PP 2011, Melbourne, Australia,October 24-26, 2011, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 7016
Edition: 1st ed. 2011.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
In:
Springer Nature eBook
Availability: No items available.
|
|
3640.
|
|