著者
書誌事項
Lecture notes in computer science
Springer
- タイトル別名
-
LNCS
この図書・雑誌をさがす
-
1
- 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館
-
2
- 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館
-
3
- 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館
-
4
- 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館
-
5
- 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館
-
6
- 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館
-
7
- 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館
-
8
- 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館
-
9
- 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館
-
10
- 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館
-
11
- 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館
-
12
- 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館
-
13
- 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館
-
14
- 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館
-
15
- 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館
-
16
- Computing and combinatorics : 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings
-
Weili Wu, Guangmo Tong, editors
Springer c2024 Lecture notes in computer science 14423
pt. 2
所蔵館1館
-
17
- Computing and combinatorics : 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings
-
Weili Wu, Guangmo Tong, editors
Springer c2024 Lecture notes in computer science 14422
pt. 1
所蔵館1館
-
18
- Graph drawing and network visualization : 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023 : revised selected papers
-
Michael A. Bekos, Markus Chimani, editors
Springer c2023 Lecture notes in computer science 14466
pt. 2
所蔵館1館
-
19
- Graph drawing and network visualization : 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023 : revised selected papers
-
Michael A. Bekos, Markus Chimani, editors
Springer c2023 Lecture notes in computer science 14465
pt. 1
所蔵館1館
-
20
- Formal concept analysis : 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, proceedings
-
Dominik Dürrschnabel, Domingo López Rodríguez, editors
Springer c2023 Lecture notes in computer science 13934. Lecture notes in artificial intelligence
所蔵館1館