[ 161 ].
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
|
[ 162 ].
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
|
[ 163 ].
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
|
[ 164 ].
Automated Machine Learning : Methods, Systems, Challenges
| Penulis | : |
Frank Hutter, Lars Kotthoff, Joaquin Vanschoren
|
| Jenis | : |
buku
|
| Tahun | : |
2019-07-10
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 165 ].
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
|
[ 166 ].
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
|
[ 167 ].
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
|
[ 168 ].
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
|
[ 169 ].
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
|
[ 170 ].
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
|
[ 171 ].
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
|
[ 172 ].
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
|
[ 173 ].
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
|
[ 174 ].
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
|
[ 175 ].
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
|
[ 176 ].
Cyber Security : 19th China Annual Conference, CNCERT 2022 Beijing, China, August 16–17, 2022 Revised Selected Papers
| Penulis | : |
Wei Lu, Yuqing Zhang, Weiping Wen, Hanbing Yan, Chao Li
|
| Jenis | : |
buku
|
| Tahun | : |
2022-06-14
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 177 ].
Advances in Intelligent Data Analysis XVIII : 18th International Symposium on Intelligent Data Analysis, IDA 2020 Konstanz, Germany, April 27–29, 2020 Proceedings
| Penulis | : |
Michael R. Berthold, Ad Feelders, Georg Krempl
|
| Jenis | : |
buku
|
| Tahun | : |
2020-06-09
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer open
|
[ 178 ].
Agile Processes in Software Engineering and Extreme Programming : 18th International Conference, XP 2017 Cologne, Germany, May 22–26, 2017 Proceedings
| Penulis | : |
Hubert Baumeister, Horst Lichter, Matthias Riebisch
|
| Jenis | : |
buku
|
| Tahun | : |
2017-06-06
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 179 ].
Cyber Security: 18th China Annual Conference, CNCERT 2021 Beijing, China, July 20–21, 2021 Revised Selected Papers
| Penulis | : |
Wei Lu, Yuqing Zhang, Weiping Wen, Chao Li
|
| Jenis | : |
buku
|
| Tahun | : |
2022-06-07
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 180 ].
Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023 Prague, Czech Republic, September 20–22, 2023 Proceedings
| Penulis | : |
Uli Sattler, Martin Suda
|
| Jenis | : |
buku
|
| Tahun | : |
2023-06-12
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
.
