theory and practice of computation の通販比較

洋書 Theory and Practice of Computation: Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, Proceedings (Proceedings in Information and Communications Technology)

ショップ Glomarket

価格￥11,593

商品の説明

*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個人ではない法人・団体名義での購入はできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。・お名前にカタカナが入っている場合法人である可能性が高いため当店システムから自動保留します。カタカナで記載が必要な場合はカタカナ変わりローマ字で記載してください。・お名前またはご住所が法人・団体名義（XX株式会社等）、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。・当店でご購入された商品は、原則として、「個...

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8,【電子書籍】

ショップ楽天Kobo電子書籍ストア

価格￥6,076

商品の詳細ページへ(楽天市場)

商品の説明

＜p＞This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.＜/p＞＜p＞The 31 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: types; recursion and fixed-points; verification and program analysis; automata, logic, games; probabilistic and timed systems; proof theory and lambda calculus; algorithms for infinite systems; and monads.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。

Theory And Practice Of Computation - Proceedings Of Workshop On Computation: Theory And Practice Wctp2013【電子書籍】[ Shin-ya Nishizaki ]

ショップ楽天Kobo電子書籍ストア

価格￥5,221

商品の詳細ページへ(楽天市場)

商品の説明

＜p＞This is the proceedings of the Third Workshop on Computing: Theory and Practice, WCTP 2013 devoted to theoretical and practical approaches to computation. This workshop was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, University of the Philippines ー Diliman, and De La Salle University. The proceedings provides a comprehensive view of the current development of fundamental research in formal method, programming language and programming development environment, bioinformatics, empathic and intelligent systems, and computing gaming in Japan and the Philippines.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。

Advances in Theory and Practice of Computational Mechanics Proceedings of the 21st International Conference on Computational Mechanics and Modern Applied Software Systems【電子書籍】

ショップ楽天Kobo電子書籍ストア

価格￥18,231

商品の詳細ページへ(楽天市場)

商品の説明

＜p＞This book discusses physical and mathematical models, numerical methods, computational algorithms and software complexes, which allow high-precision mathematical modeling in fluid, gas, and plasma mechanics; general mechanics; deformable solid mechanics; and strength, destruction and safety of structures. These proceedings focus on smart technologies and software systems that provide effective solutions to real-world problems in applied mechanics at various multi-scale levels. Highlighting the training of specialists for the aviation and space industry, it is a valuable resource for experts in the field of applied mathematics and mechanics, mathematical modeling and information technologies, as well as developers of smart applied software systems.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。

洋書 Theory and Practice of Computation: 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings (Proceedings in Information and Communications Technology)

ショップ Glomarket

価格￥11,754

商品の詳細ページへ(楽天市場)

商品の説明

*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個人ではない法人・団体名義での購入はできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。・お名前にカタカナが入っている場合法人である可能性が高いため当店システムから自動保留します。カタカナで記載が必要な場合はカタカナ変わりローマ字で記載してください。・お名前またはご住所が法人・団体名義（XX株式会社等）、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。・当店でご購入された商品は、原則として、「個...

Theory And Practice Of Computation - Proceedings Of Workshop On Computation: Theory And Practice Wctp2014【電子書籍】[ Shin-ya Nishizaki ]

ショップ楽天Kobo電子書籍ストア

価格￥6,016

商品の詳細ページへ(楽天市場)

商品の説明

＜p＞This is the proceedings of the Third Workshop on Computing: Theory and Practice, WCTP 2014 devoted to theoretical and practical approaches to computation. This workshop was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, University of the Philippines - Diliman, and De La Salle University. The proceedings provides a view of the current movement in research in these two countries. The papers included in the proceedings focus on the two research areas: theoretical and practical aspects of computation.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。

Theory and Practice of Computation Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Philippines【電子書籍】

ショップ楽天Kobo電子書籍ストア

価格￥10,009

商品の詳細ページへ(楽天市場)

商品の説明

＜p＞This book provides a collection of papers from the Ninth Workshop on Computing: Theory and Practice, WCTP 2019 devoted to theoretical and practical approaches to computation, which was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, the University of the Philippines Diliman, and De La Salle University. The proceedings provide a broad overview of recent research trends in computer science research in Asia, particularly in these two countries. The papers included in the proceedings focus on both theoretical and practical aspects of computations, such as programming language theory, modeling of software systems, applications of machine learning, empathic computing, and various applications of information technology.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Pr【電子書籍】

ショップ楽天Kobo電子書籍ストア

価格￥6,076

商品の詳細ページへ(楽天市場)

商品の説明

＜p＞This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.＜/p＞＜p＞The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。

Advances in Theory and Practice of Computational Mechanics Proceedings of the 22nd International Conference on Computational Mechanics and Modern Applied Software Systems (CMMASS 2021)【電子書籍】

ショップ楽天Kobo電子書籍ストア

価格￥27,955

商品の詳細ページへ(楽天市場)

商品の説明

＜p＞This book is a collection of peer-reviewed best selected research papers presented at 22nd International Conference on Computational Mechanics and Modern Applied Software Systems (CMMASS 2021), held at the Alushta Health and Educational Center, The Republic of Crimea, during 4?13 September 2021. The proceedings is dedicated to solving the real-world problems of applied mechanics using smart computational technology. Physical and mathematical models, numerical methods, computational algorithms and software complexes are discussed, which allow to carry out high-precision mathematical modelling in fluid, gas and plasma mechanics, in general mechanics, deformable solid mechanics, in strength, destruction and safety of structures, etc. Smart technologies and software systems that provide effective solutions to the problems at various multi scale-levels are considered. Special attention is paid to the training of highly qualified specialists for the aviation and space industry.＜/p＞...

洋書 Theory And Practice Of Computation - Proceedings Of Workshop On Computation: Theory And Practice Wctp2013

ショップ Glomarket

価格￥21,752

商品の詳細ページへ(楽天市場)

商品の説明

*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個人ではない法人・団体名義での購入はできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。・お名前にカタカナが入っている場合法人である可能性が高いため当店システムから自動保留します。カタカナで記載が必要な場合はカタカナ変わりローマ字で記載してください。・お名前またはご住所が法人・団体名義（XX株式会社等）、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。・当店でご購入された商品は、原則として、「個...

Theory and Practice of Computation Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2018), September 17-18, 2018, Manila, The Philippines【電子書籍】

ショップ楽天Kobo電子書籍ストア

価格￥8,278

商品の詳細ページへ(楽天市場)

商品の説明

＜p＞This volume contains the papers presented at the 8th Workshop on Computing: Theory and Practice, WCTP 2018 and is devoted to theoretical and practical approaches to computation. The conference was organized by four top universities in Japan and the Philippines: the Tokyo Institute of Technology, Osaka University, the University of the Philippines Diliman, and De La Salle University. The proceedings provide a broad view of the recent developments in computer science research in Asia, with an emphasis on Japan and the Philippines. The papers focus on both theoretical and practical aspects of computations, such as programming language theory, modeling of software systems, empathic computing, and various applications of information technology.＜br /＞ The book will be of interest to academic and industrial researchers interested in recent developments in computer science research.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※...