著者
書誌事項
Lecture notes in computer science
Springer
- タイトル別名
-
LNCS
この図書・雑誌をさがす
-
21
- Databases theory and applications : 34th Australasian Database Conference, ADC 2023, Melbourne, VIC, Australia, November 1-3, 2023 : proceedings
-
Zhifeng Bao ... [et al.], editors
Springer c2024 Lecture notes in computer science 14386
: [pbk.]
所蔵館1館
-
22
- Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, VOL:pt. 2
-
Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, editors
Springer c2024 Lecture notes in computer science 14740 . Lecture notes in artificial intelligence
所蔵館1館
-
23
- Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, VOL:pt. 1
-
Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, editors
Springer c2024 Lecture notes in computer science 14739 . Lecture notes in artificial intelligence
所蔵館1館
-
24
- Combinatorial algorithms : 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1–3, 2024 : proceedings
-
Adele Anna Rescigno, Ugo Vaccaro, editors
Springer c2024 Lecture notes in computer science 14764 . Advanced research in computing and software science
所蔵館1館
-
25
- Unconventional computation and natural computation : 21st International Conference, UCNC 2024, Pohang, South Korea, June 17–21, 2024 : proceedings
-
Da-Jung Cho, Jongmin Kim, editors
Springer c2024 Lecture notes in computer science 14776
所蔵館1館
-
26
- Logics and type systems in theory and practice : essays dedicated to Herman Geuvers on the occasion of his 60th birthday
-
Venanzio Capretta, Robbert Krebbers, Freek Wiedijk, editors
Springer c2024 Lecture notes in computer science 14560 . Festschrift
所蔵館1館
-
27
- Logic, language, information, and computation : 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024 : proceedings
-
George Metcalfe, Thomas Studer, Ruy de Queiroz, editors
Springer c2024 Lecture notes in computer science 14672 . FOLLI publications on logic,
language and infomation 所蔵館1館
-
28
- Reversible computation : 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024 : proceedings
-
Torben Ægidius Mogensen, Łukasz Mikulski, editors
Springer c2024 Lecture notes in computer science 14680
所蔵館1館
-
29
- Combinatorial optimization : 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024 : revised selected papers
-
Amitabh Basu, Ali Ridha Mahjoub, Juan José Salazar González, editors
Springer c2024 Lecture notes in computer science 14594
所蔵館1館
-
30
- Structural information and communication complexity : 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024 : proceedings
-
Yuval Emek, editors
Springer c2024 Lecture notes in computer science 14662
所蔵館1館
-
31
- Integer programming and combinatorial optimization : 25th International Conference, IPCO 2024, Wrocław, Poland, July 3-5, 2024 : proceedings
-
Jens Vygen, Jarosław Byrka, editors
Springer c2024 Lecture notes in computer science 14679
所蔵館1館
-
32
- Foundations of software science and computation structures : 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings
-
Naoki Kobayashi, James Worrell, editors
Springer c2024 Lecture notes in computer science 14575 . Advanced research in computing and software science
: pt. 2
所蔵館1館
-
33
- Foundations of software science and computation structures : 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings
-
Naoki Kobayashi, James Worrell, editors
Springer c2024 Lecture notes in computer science 14574 . Advanced research in computing and software science
: pt. 1
所蔵館1館
-
34
- Autonomous agents and multiagent systems : best and visionary papers : AAMAS 2023 Workshops, London, UK, May 29-June 2, 2023 : revised selected papers
-
Francesco Amigoni, Arunesh Sinha, editors
Springer c2024 Lecture notes in computer science 14456 . Lecture notes in artificial intelligence . LNCS sublibrary ; SL 7 . Artificial intelligence
所蔵館1館
-
35
- LATIN 2024: theoretical informatics : 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024 : proceedings
-
José A. Soto, Andreas Wiese, editors
Springer c2024 Lecture notes in computer science 14579 . Advanced research in computing and software science
pt. 2
所蔵館1館
-
36
- LATIN 2024: theoretical informatics : 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024 : proceedings
-
José A. Soto, Andreas Wiese, editors
Springer c2024 Lecture notes in computer science 14578 . Advanced research in computing and software science
pt. 1
所蔵館1館
-
37
- Algorithms and discrete applied mathematics : 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024 : proceedings
-
Subrahmanyam Kalyanasundaram, Anil Maheshwari, editors
Springer c2024 Lecture notes in computer science 14508
所蔵館1館
-
38
- SOFSEM 2024: theory and practice of computer science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024 : proceedings
-
Henning Fernau, Serge Gaspers, Ralf Klasing, editors
Springer c2024 Lecture notes in computer science 14519 . Advanced research in computing and software science
所蔵館1館
-
39
- Information integration and web intelligence : 25th International Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4-6, 2023, proceedings
-
Pari Delir Haghighi ... [et al.] , editors
Springer 2024 Lecture notes in computer science 14416
所蔵館1館
-
40
- Advanced computational applications of geometric algebra : First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022 : proceedings
-
David W. Silva, Eckhard Hitzer, Dietmar Hildenbrand, editors
Springer c2024 Lecture notes in computer science 13771
: [pbk.]
所蔵館1館