[ 41 ].
Creativity in Art, Design and Technology
Penulis | : |
Susan Liggett, Rae Earnshaw, Jill Townsley
|
Jenis | : |
buku
|
Tahun | : |
2023-03-15
|
Bahasa | : |
inggris
|
Penerbit | : |
Springer
|
[ 42 ].
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
|
[ 43 ].
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
|
[ 44 ].
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
|
[ 45 ].
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
|
[ 46 ].
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
|
[ 47 ].
Automated Machine Learning : Methods, Systems, Challenges
Penulis | : |
Frank Hutter, Lars Kotthoff, Joaquin Vanschoren
|
Jenis | : |
buku
|
Tahun | : |
2019-07-10
|
Bahasa | : |
inggris
|
Penerbit | : |
Springer
|
[ 48 ].
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
|
[ 49 ].
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
|
[ 50 ].
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
|
[ 51 ].
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
|
[ 52 ].
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
|
[ 53 ].
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
|
[ 54 ].
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
|
[ 55 ].
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
|
[ 56 ].
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
|
[ 57 ].
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
|
[ 58 ].
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
|
[ 59 ].
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
|
[ 60 ].
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
|
.