Book News 551号
8.計 算 機 科 学
*191 Benzmuller,C./Heule,M./Schmidt,R.(eds.):
Automated Reasoning: 12th Int'l Joint Conf. IJCAR
2024, Part. I.
(Lecture Notes in Computer Science, Vol. 14739)
June 2024 482 pp.
(Springer) 9783031634970 10,360.
*192 Benzmuller,C./Heule,M./Schmidt,R.(eds.):
Automated Reasoning: 12th Int'l Joint Conf. IJCAR
2024, Part. II.
(Lecture Notes in Computer Science, Vol. 14740)
June 2024 424 pp.
(Springer) 9783031635007 19,160.
*193 Cho,D.J./KIm,J.(eds.):
Unconventional Computation and Natural
Computation: 21st Int'l Conf. UCNC 2024.
(Lecture Notes in Computer Science, Vol. 14776)
June 2024 288 pp.
(Springer) 9783031637414 15,020.
194 Decker,W./Eder,C./Fieker,C./Horn,M./Joswig,M.:詳報掲載
The Computer Algebra System OSCAR: Algorithms and Examples.
(Algorithms and Combinatorics, Vol. 32)
Sep. 2024 420 pp.
(Springer) 9783031621260 33,670.
*195 Dey,S.:
Perturbed Functional Iterations.
(Monographs and Research Notes in Mathematics )
July 2024 296 pp.
(C R C Press) 9781032350295 48,170.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
196 O'neill,M./Regazzoni,F./Guneysu,T./Waller,A.:
Lattice-Based Cryptography: From Theory to Practice.
( Information Security and Cryptography )
Jan. 2024 220 pp.
(Springer) 9783031599170 46,620.
*197 Rescigno,A./Vaccaro,U.(eds.):
Combinatorial Algorithms: 35th Int'l Workshop, IWOCA 2024.
(Lecture Notes in Computer Science, Vol. 14764)
June 2024 538 pp.
(Springer) 9783031630200 21,230.
*198 Sharma,D./Hota,H./Rasheed Rababaah, A.(eds.):
Machine Learning for Real World Applications.
(Transactions on Computer Systems and Networks )
Sep. 2024 240 pp.
(Springer) 9789819718993 41,440.