[ 101 ].
Designing Data Spaces : The Ecosystem Approach to Competitive Advantage
| Penulis | : |
Boris Otto, Michael ten Hompel, Stefan Wrobel
|
| Jenis | : |
buku
|
| Tahun | : |
2022-06-15
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 102 ].
Data Science for Economics and Finance :Methodologies and Applications
| Penulis | : |
Sergio Consoli, Diego Reforgiato Recupero, Michaela Saisana
|
| Jenis | : |
buku
|
| Tahun | : |
2021-06-09
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 103 ].
Creativity in Art, Design and Technology
| Penulis | : |
Susan Liggett, Rae Earnshaw, Jill Townsley
|
| Jenis | : |
buku
|
| Tahun | : |
2023-03-15
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 104 ].
Computer Aided Verification : 35th International Conference, CAV 2023 Paris, France, July 17–22, 2023 Proceedings, Part II
| Penulis | : |
Constantin Enea · Akash Lal
|
| Jenis | : |
buku
|
| Tahun | : |
2023-02-07
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 105 ].
Computer Aided Verification 35th International Conference, CAV 2023 Paris, France, July 17–22, 2023 Proceedings, Part I
| Penulis | : |
Constantin Enea, Akash Lal
|
| Jenis | : |
buku
|
| Tahun | : |
2023-10-11
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 106 ].
Computer Aided Verification : 35th International Conference, CAV 2023 Paris, France, July 17–22, 2023 Proceedings, Part III
| Penulis | : |
Constantin Enea, Akash Lal
|
| Jenis | : |
buku
|
| Tahun | : |
2023-07-11
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 107 ].
Computer Aided Verification : 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part I
| Penulis | : |
Alexandra Silva, K. Rustan M. Leino
|
| Jenis | : |
buku
|
| Tahun | : |
2021-06-29
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 108 ].
Automated Reasoning: 11th International Joint Conference, IJCAR 2022 Haifa, Israel, August 8–10, 2022 Proceedings
| Penulis | : |
Jasmin Blanchette, Laura Kovács, Dirk Pattinson
|
| Jenis | : |
buku
|
| Tahun | : |
2022-06-07
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 109 ].
Automated Machine Learning : Methods, Systems, Challenges
| Penulis | : |
Frank Hutter, Lars Kotthoff, Joaquin Vanschoren
|
| Jenis | : |
buku
|
| Tahun | : |
2019-07-10
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 110 ].
Automated Deduction CADE29 : 29th International Conference on Automated Deduction Rome, Italy, July 1–4, 2023 Proceedings
| Penulis | : |
Brigitte Pientka, Cesare Tinelli
|
| Jenis | : |
buku
|
| Tahun | : |
2023-05-16
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 111 ].
Automated Deduction CADE 28: 28th International Conference on Automated Deduction Virtual Event, July 12–15, 2021 Proceedings
| Penulis | : |
André Platzer, Geoff Sutcliffe
|
| Jenis | : |
buku
|
| Tahun | : |
2021-10-26
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 112 ].
Algorithms for Big Data : DFG Priority Program 1736
| Penulis | : |
Hannah Bast, Claudius Korzen, Ulrich Meyer, Manuel Penschuck
|
| Jenis | : |
buku
|
| Tahun | : |
2022-11-15
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 113 ].
Artificial Intelligence and Cognitive Science: 30th Irish Conference, AICS 2022 Munster, Ireland, December 8–9, 2022 Revised Selected Papers
| Penulis | : |
Luca Longo, Ruairi O’Reilly
|
| Jenis | : |
buku
|
| Tahun | : |
2023-07-11
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 114 ].
Agile Processes in Software Engineering and Extreme Programming: 24th International Conference on Agile Software Development XP2023, Amsterdam, The Netherlands, June 13–16, 2023 Proceedings
| Penulis | : |
Christoph J. Stettina, Juan Garbajosa, Philippe Kruchten
|
| Jenis | : |
buku
|
| Tahun | : |
2023-08-15
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 115 ].
Agile Processes in Software Engineering and Extreme Programming: 23rd International Conference on Agile Software Development, XP 2022 Copenhagen, Denmark, June 13–17, 2022 Proceedings
| Penulis | : |
Viktoria Stray, Klaas-Jan Stol, Maria Paasivaara, Philippe Kruchten
|
| Jenis | : |
buku
|
| Tahun | : |
2022-05-17
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 116 ].
Agile Processes in Software Engineering and Extreme Programming: 22nd International Conference on Agile Software Development, XP 2021 Virtual Event, June 14–18, 2021 Proceedings
| Penulis | : |
Peggy Gregory, Casper Lassenius, Xiaofeng Wang, Philippe Kruchten
|
| Jenis | : |
buku
|
| Tahun | : |
2021-02-16
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 117 ].
Agile Processes in Software Engineering and Extreme Programming : 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8-12, 2020, Proceedings
| Penulis | : |
Viktoria Stray, Rashina Hoda, Maria Paasivaara, Philippe Kruchten
|
| Jenis | : |
buku
|
| Tahun | : |
2020-06-18
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 118 ].
Agile Processes in Software Engineering and Extreme Programming : 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings
| Penulis | : |
Philippe Kruchten, Steven Fraser, François Coallier
|
| Jenis | : |
buku
|
| Tahun | : |
2019-07-10
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer open
|
[ 119 ].
Participative urban health and healthy aging in the age of AI : 19th international conference, ICOST 2022, Paris, France, June 27-30, 2022 : proceedings
| Penulis | : |
Hamdi Aloulou, Bessam Abdulrazak, Antoine de Marassé-Enouf, Mounir Mokhtari
|
| Jenis | : |
buku
|
| Tahun | : |
2022-06-07
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 120 ].
Agile processes in software engineering and extreme programming : 19th International Conference, XP 2018 Porto, Portugal, May 21–25, 2018 : proceedings
| Penulis | : |
Juan Garbajosa, Xiaofeng Wang, Ademar Aguiar
|
| Jenis | : |
buku
|
| Tahun | : |
2018-07-11
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer open
|
.
