Book News 540号
8. 計 算 機 科 学



*121  Abraham,E./Paolieri,M.(eds.):
       Quantitative Evaluation of Systems: 
        19th International Conference, QEST 2022.  
           (Lecture Notes in Computer Science, Vol. 13479)
             Sep. 2022	399 pp.
             (Springer)     9783031163357   14,190.
 122  Brattka,V./Hertling,P.:
       Handbook of 
        Computability and Complexity in Analysis.  
           (Theory and Applications of Computability)
             June 2022	427 pp.
             (Springer)     9783030592363   15,050.

*123  Dang,T./Stolz,V.(eds.):
       Runtime Verification: 
        22nd International Conference, RV 2022.  
           (Lecture Notes in Computer Science, Vol. 13498)
             Sep. 2022	347 pp.
             (Springer)     9783031171956   14,190.
*124  Fine,B. et al.:
       Geometry and Discrete Mathenatics: 
        A Selection of Highlights, 2nd ed. 
           (de Gruyter Textbook)
             Aug. 2022	....
             (de Gruyter)   9783110740776   11,160.
*125  Joswig,M.:
       Essentials of Tropical Combinatorics. 
        					(Now in Softcover ed.)   
           (Graduate Studies in Mathematics, Vol. 219)
             Jan. 2022	398 pp.
             (A.M.S.)       9781470467418   18,370.
 126  Lee,C./Soep,E.:
       Code for What?: 
        Computer Science for Storytelling and Social Justice. 
             Jan. 2022	224 pp.
             (M.I.T.)       9780262047456    6,120.
 127  Pettorossi,A.:
       Automata Theory and 
        Formal Languages. 
           (Undergraduate Topics in Computer Science)
             Sep. 2022	280 pp.
             (Springer)     9783031119644   11,820.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*128  Schlingloff,B.(ed.):
       Software Engineering and Formal Methods: 
        20th Intrnational Conference, SEFM 2022.   
           (Lecture Notes in Computer Science, Vol. 13550)
             Sep. 2022	369 pp.
             (Springer)     9783031171079   13,970.
*129  Vovk,V./Gammerman,A./Shafer,G.:
       Algorithmic Learning in A Random World, 2nd ed.
             Oct. 2022	546 pp.
             (Springer)     9783031066481   34,400.