[ 61 ].
Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations
| Penulis | : |
Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer
|
| Jenis | : |
buku
|
| Tahun | : |
2022-05-30
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 62 ].
Engineering Haptic Devices 3rd
| Penulis | : |
Thorsten A. Kern, Christian Hatzfeld, Alireza Abbasimoshaei
|
| Jenis | : |
buku
|
| Tahun | : |
2023-02-14
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 63 ].
Electronic Voting : 7th International Joint Conference, E-Vote-ID 2022 Bregenz, Austria, October 4–7, 2022 Proceedings
| Penulis | : |
Robert Krimmer, Melanie Volkamer, David Duenas-Cid, Peter Rønne, Micha Germann
|
| Jenis | : |
buku
|
| Tahun | : |
2022-02-08
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 64 ].
Efficient Learning Machines : Theories, Concepts, and Applications for Engineers and System Designers
| Penulis | : |
Mariette Awad, Rahul Khanna
|
| Jenis | : |
buku
|
| Tahun | : |
2015-04-16
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Apress Oper
|
[ 65 ].
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
|
[ 66 ].
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
|
[ 67 ].
Creativity in Art, Design and Technology
| Penulis | : |
Susan Liggett, Rae Earnshaw, Jill Townsley
|
| Jenis | : |
buku
|
| Tahun | : |
2023-03-15
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 68 ].
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
|
[ 69 ].
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
|
[ 70 ].
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
|
[ 71 ].
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
|
[ 72 ].
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
|
[ 73 ].
Automated Machine Learning : Methods, Systems, Challenges
| Penulis | : |
Frank Hutter, Lars Kotthoff, Joaquin Vanschoren
|
| Jenis | : |
buku
|
| Tahun | : |
2019-07-10
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 74 ].
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
|
[ 75 ].
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
|
[ 76 ].
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
|
[ 77 ].
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
|
[ 78 ].
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
|
[ 79 ].
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
|
[ 80 ].
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
|
.
