東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Gorrieri Roberto)
該当件数:6件
Process algebras for petri nets : the alphabetization of distributed systems / Roberto Gorrieri
Cham : Springer , c2017. - (Monographs in theoretical computer science : an EATCS series)
図書
Foundations of security analysis and design II : FOSAD 2001/2002 tutorial lectures / Riccardo Focardi, Roberto Gorrieri (eds.)
Berlin : Springer , c2004. - (Lecture notes in computer science ; 2946)
Foundations of security analysis and design : tutorial lectures / Riccardo Focardi, Roberto Gorrieri (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2171)
Introduction to concurrency theory : transition systems and CCS / Roberto Gorrieri, Cristian Versari
Cham : Springer , c2015. - (Texts in theoretical computer science ; An EATCS series)
Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7-11, 1997 : proceedings / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.)
Berlin : Springer , c1997. - Tokyo. - (Lecture notes in computer science ; 1256)