Naoki Kobayashi – författare
Visar alla böcker från författaren Naoki Kobayashi. Handla med fri frakt och snabb leverans.
13 produkter
Foundations of Software Science and Computation Structures
27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
Av Naoki Kobayashi, James Worrell
Häftad, 2024
443 kr
Lägg i varukorg
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed …
Foundations of Software Science and Computation Structures
27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
Av Naoki Kobayashi, James Worrell
Häftad, 2024
441 kr
Lägg i varukorg
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed …
Theoretical Aspects of Computer Software
4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings
Av Naoki Kobayashi, Benjamin C. Pierce
Häftad, 2001
568 kr
Lägg i varukorg
This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001. The TACS symposium focuses on the theoretical foundations of progr- ming and their applications. As this …
Programming Languages and Systems
4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
Häftad, 2006
568 kr
Lägg i varukorg
This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006. The symposium was sponsored by the Asian Association for Foundation of Software. In response to the call for papers, 70 full submissions …
Programming Languages and Systems
4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
E-bok, 2006
739 kr
Lägg i varukorg
This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006. The symposium was sponsored by the Asian Association for Foundation of Software. In response to the call for papers, 70 full submissions …
Functional and Logic Programming
10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
Av Matthias Blume, Naoki Kobayashi m. fl.
Häftad, 2010
568 kr
Lägg i varukorg
This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010),held in Sendai, Japan, April 19-21, 2010 at Aoba Memorial Hall, Tohoku University. FLOPS is a forum for research on all issues concerning declarative progr- ming, including …
Functional and Logic Programming
10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
Av German Vidal-Oriola, Naoki Kobayashi m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
Concurrent Objects and Beyond
Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Av Gul Agha, Atsushi Igarashi m. fl.
Häftad, 2014
568 kr
Lägg i varukorg
This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also …
Concurrent Objects and Beyond
Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Av Kenjiro Taura, Etsuya Shibayama m. fl.
E-bok, 2014
755 kr
Lägg i varukorg
This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also …
Automata, Languages, and Programming
42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Av Magnús M. Halldórsson, Kazuo Iwama m. fl.
Häftad, 2015
568 kr
Lägg i varukorg
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 …
Automata, Languages, and Programming
42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Av Bettina Speckmann, Naoki Kobayashi m. fl.
E-bok, 2015
718 kr
Lägg i varukorg
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 …
Automata, Languages, and Programming
42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Av Magnús M. Halldórsson, Kazuo Iwama m. fl.
Häftad, 2015
1129 kr
Lägg i varukorg
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 …
Automata, Languages, and Programming
42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Av Bettina Speckmann, Naoki Kobayashi m. fl.
E-bok, 2015
1459 kr
Lägg i varukorg
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 …
