• Bonsangue, Marcello M.,国内・海外在庫あり

    による検索結果
  • 1件〜11件(全11件)
書名
著者
出版社
ISBN
出版年月
装丁
言語
在庫状況
書籍表紙

Data Science and Artificial Intelligence

Second International Conference, DSAI 2024, Medan, Indonesia, November 13-15, 2024, Proceedings

Communications in Computer and Information Science

Anutariya, Chutiporn (EDT) Bonsangue, Marcello M. (EDT) Budhiarti-Nababan, Erna (EDT)
出版社:Springer Nature 出版年月:2024年 12月
装丁:PAP 言語:ENG 版次:2025
税込価格:

17,582円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Data Science and Artificial Intelligence

First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings

Communications in Computer and Information Science

Anutariya, Chutiporn (EDT) Bonsangue, Marcello M. (EDT)
出版社:Springer Verlag, Singapore 出版年月:2024年 01月
装丁:PAP 言語:ENG
税込価格:

28,136円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Formal Methods for Open Object-Based Distributed Systems

9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Lecture Notes in Computer Science

Bonsangue, Marcello M. (EDT) Johnsen, Einar Broch (EDT)
出版社:Springer 出版年月:2007年 06月
装丁:PAP 言語:ENG
税込価格:

11,719円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Coalgebraic Methods in Computer Science

Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8446

Herausgegeben von Bonsangue, Marcello M.
出版社:Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月:2014年 09月
装丁:PAP 版次:2014. 2014. x
税込価格:

11,254円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Formal Methods for Components and Objects

4th International Symposium, FMCO 2005, The Netherlands, November, 2005, Revised Lectures

Lecture Notes in Computer Science

de Boer, Frank S. (EDT) Bonsangue, Marcello M. (et al., EDT)
出版社:Springer 出版年月:2006年 08月
装丁:PAP 言語:ENG
税込価格:

11,719円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Formal Methods for Components and Objects

Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Programming and Software Engineering

Boer, Frank S. De (EDT) Bonsangue, Marcello M. (EDT) Graf, Susanne (
出版社:Springer-Verlag New York Inc 出版年月:2005年 11月
装丁:PAP 言語:ENG
税込価格:

11,719円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Formal Methods for Components and Objects

6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Lecture Notes in Computer Science

De Boer, Frank S. (EDT) Bonsangue, Marcello M. (EDT) Graf, Susanne (
出版社:Springer-Verlag New York Inc 出版年月:2008年 12月
装丁:PAP 言語:ENG
税込価格:

11,719円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Theoretical Aspects of Computing - ICTAC 2024

21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

Lecture Notes in Computer Science 15373

Herausgegeben:Anutariya, Chutiporn Bonsangue, Marcello M.
出版社:Springer, Berlin; Springer Nature Switzerland; Spring 出版年月:2024年 00月
装丁:PAP 言語:ENG 版次:2024. xviii
税込価格:

15,472円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Formal Methods for Components and Objects, FMCO 2002

First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures

Lecture Notes in Computer Science Vol.2852

Ed. by Frank S.de Boer, Marcello M. Bonsangue, Susanne Graf et al.
出版社:Springer, Berlin 出版年月:2003年 00月
装丁:PAP 言語:ENG 版次:2003. VIII
税込価格:

11,719円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Formal Methods for Components and Objects

11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Lecture Notes in Computer Science / Programming and Software Engineering .7866

Herausgegeben von Giachino, Elena Haehnle, Reiner de Boer, Frank S.
出版社:Springer, Berlin 出版年月:2013年 08月
装丁:PAP 版次:2013. x
税込価格:

10,784円

海外在庫あり 通常2~5週間で出荷
書籍表紙

Formal Methods for Components and Objects

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Lecture Notes in Computer Science / Programming and Software Engineering .7542

Herausgegeben von Beckert, Bernhard Damiani, Ferruccio de Boer, Frank S.
出版社:Springer, Berlin 出版年月:2013年 00月
装丁:PAP 版次:Repr. 2012. 2013. x
税込価格:

11,719円

海外在庫あり 通常2~5週間で出荷