Titlebook: Models, Algorithms, Logics and Tools; Essays Dedicated to Luca Aceto,Giorgio Bacci,Radu Mardare Book 2017 Springer International Publishin

sesamoiditis

書目名稱Models, Algorithms, Logics and Tools影響因子(影響力)




書目名稱Models, Algorithms, Logics and Tools影響因子(影響力)學(xué)科排名




書目名稱Models, Algorithms, Logics and Tools網(wǎng)絡(luò)公開度




書目名稱Models, Algorithms, Logics and Tools網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Models, Algorithms, Logics and Tools被引頻次




書目名稱Models, Algorithms, Logics and Tools被引頻次學(xué)科排名




書目名稱Models, Algorithms, Logics and Tools年度引用




書目名稱Models, Algorithms, Logics and Tools年度引用學(xué)科排名




書目名稱Models, Algorithms, Logics and Tools讀者反饋




書目名稱Models, Algorithms, Logics and Tools讀者反饋學(xué)科排名

不可知論

0302-9743 concurrent, and probabilistic models of computation, logic .This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major cont

嫌惡

Book 2017tains 32 papers that feature the broad range of Kim Guldstrand Larsen‘s research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation..

協(xié)議

CLOWN

Luca Aceto,Giorgio Bacci,Radu MardareContains papers dedicated to Kim Guldstrand Larsen.Features the broad range of Kim Guldstrand Larsen‘s research topics, including real-time, concurrent, and probabilistic models of computation, logic

蛙鳴聲

AORTA

https://doi.org/10.1007/978-3-319-63121-9software engineering; semantics; model checking; artificial intelligence; specifications; verification; au

絆住

978-3-319-63120-2Springer International Publishing AG 2017

fleeting

Models, Algorithms, Logics and Tools978-3-319-63121-9Series ISSN 0302-9743 Series E-ISSN 1611-3349

nutrition