concurrency in action

Transactions on Petri Nets and Other Models of Concurrency XV【電子書籍】Transactions on Petri Nets and Other Models of Concurrency XVII【電子書籍】Functional Programming for Java Developers Tools for Better Concurrency, Abstraction, and Agility【電子書籍】 Dean WamplerTransactions on Petri Nets and Other Models of Concurrency IV TRANSACTIONS ON PETRI NETS O Kurt JensenTransactions on Petri Nets and Other Models of Concurrency X【電子書籍】洋書 Concurrency Control in Transactions Processing Systems: A Bit-Level Locking Technique洋書 Transactions on Petri Nets and Other Models of Concurrency XIII (Lecture Notes in Computer Science)Expert SQL Server Transactions and Locking Concurrency Internals for SQL Server Practitioners【電子書籍】 Dmitri KorotkevitchTransactions on Petri Nets and Other Models of Concurrency XIV【電子書籍】Transactions on Petri Nets and Other Models of Concurrency XVI【電子書籍】Transactions on Petri Nets and Other Models of Concurrency XII【電子書籍】MySQL Concurrency Locking and Transactions for MySQL Developers and DBAs【電子書籍】 Jesper Wisborg KroghTransactions on Petri Nets and Other Models of Concurrency XIII【電子書籍】洋書 Springer Paperback, Transactions on Petri Nets and Other Models of Concurrency IV (Lecture Notes in Computer Science (6550))洋書 Paperback, Transactions on Petri Nets and Other Models of Concurrency IX (Lecture Notes in Computer Science (8910))【中古】【未使用 未開封品】C Concurrency in ActionOracle Database Transactions and Locking Revealed Building High Performance Through Concurrency【電子書籍】 Darl KuhnTransactions on Petri Nets and Other Models of Concurrency IX【電子書籍】Transactions on Petri Nets and Other Models of Concurrency XI【電子書籍】
 

商品の説明

  • <p>The 15th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, and the 19th International Conference on Application of Concurrency to System Design, ACSD 2019.</p> <p>The papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, communication protocols, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.</p>画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場...
  •  

    商品の説明

  • <p>Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XVII. These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process.<br /> ToPNoC contains:<br /> ? Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences<br /> ? Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series)<br /> ? Other papers invited for publication in ToPNoC<br /> ? Papers submitted directly to ToPNoC by their authors<br /> The 17th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers prese...
  •  

    商品の説明

  • <p>Software development today is embracing functional programming (FP), whether it's for writing concurrent programs or for managing Big Data. Where does that leave Java developers? This concise book offers a pragmatic, approachable introduction to FP for Java developers or anyone who uses an object-oriented language.</p> <p>Dean Wampler, Java expert and author of <em>Programming Scala</em> (O'Reilly), shows you how to apply FP principles such as immutability, avoidance of side-effects, and higher-order functions to your Java code. Each chapter provides exercises to help you practice what you've learned. Once you grasp the benefits of functional programming, you’ll discover that it improves all of the code you write.</p> <ul> <li>Learn basic FP principles and apply them to object-oriented programming</li> <li>Discover how FP is more concise and modular than OOP</li> <li>Get useful FP lessons for your Java type designーsuch as avoiding nulls</li> <li>Desig...
  •  

    商品の説明

  • TRANSACTIONS ON PETRI NETS & O Kurt Jensen Susanna Donatelli Maciej Koutny SPRINGER NATURE2011 Paperback 2011 English ISBN:9783642182211 洋書 Computers & Science(コンピューター&科学) Computers
  •  

    商品の説明

  • <p>These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains:</p> <p>- Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences</p> <p>- Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series)</p> <p>- Other papers invited for publication in ToPNoC</p> <p>- Papers submitted directly to ToPNoC by their authors</p> <p>The 10th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 35th International Conference on Application and Theory of Petri Net...
  •  

    商品の説明

  • *** 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株式会社等)、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。 ・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。 ・当店でご購入された商品は、原則として、「個...
  •  

    商品の説明

  • *** 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株式会社等)、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。 ・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。 ・当店でご購入された商品は、原則として、「個...
  •  

    商品の説明

  • <p>Master SQL Server’s Concurrency Model so you can implement high-throughput systems that deliver transactional consistency to your application customers. This book explains how to troubleshoot and address blocking problems and deadlocks, and write code and design database schemas to minimize concurrency issues in the systems you develop.</p> <p>SQL Server’s Concurrency Model is one of the least understood parts of the SQL Server Database Engine. Almost every SQL Server system experiences hard-to-explain concurrency and blocking issues, and it can be extremely confusing to solve those issues without a base of knowledge in the internals of the Engine. While confusing from the outside, the SQL Server Concurrency Model is based on several well-defined principles that are covered in this book.</p> <p>Understanding the internals surrounding SQL Server’s Concurrency Model helps you build high-throughput systems in multi-user environments. This book guides you through the Concur...
  •  

    商品の説明

  • <p>The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the 18th International Conference on Application of Concurrency to System Design, ACSD 2018.</p> <p>The 10 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, communication protocols, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.</p>画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらな...
  •  

    商品の説明

  • <p>The 16th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 41st International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2020, and the 20th International Conference on Application of Concurrency to System Design, ACSD 2020.</p> <p>The papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, distributed simulations, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.</p>画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場...
  •  

    商品の説明

  • <p>The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. It also contains one paper submitted directly to ToPNoC.</p> <p>The 9 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, databases, communication protocols, business processes, and distributed systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.</p>画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願...
  •  

    商品の説明

  • <p>Know how locks work in MySQL and how they relate to transactions. This book explains the major role that locks play in database systems, showing how locks are essential in allowing high-concurrency workloads. You will learn about lock access levels and lock granularities from the user level as well as table locks to record and gap locks. Most importantly, the book covers troubleshooting techniques when locking becomes a pain point.</p> <p>Several of the lock types in MySQL have a duration of a transaction. For this reason, it is important to understand how transactions work. This book covers the basics of transactions as well as transaction isolation levels and how they affect locking. The book is meant to be your go-to resource for solving locking contention and similar problems in high-performance MySQL database applications.</p> <p>Detecting locking issues when they occur is the first key to resolving such issues. <em>MySQL Concurrency</em> provides techniques fo...
  •  

    商品の説明

  • <p>The 13th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 38th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2017, and the 17th International Conference on Application of Concurrency to System Design, ACSD 2017.</p> <p>The 9 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: fault-tolerance, service composition, databases, communication protocols, business processes, and distributed systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.</p>画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちら をクリック...
  •  

    商品の説明

  • *** 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株式会社等)、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。 ・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。 ・当店でご購入された商品は、原則として、「個...
  •  

    商品の説明

  • *** 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株式会社等)、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。 ・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。 ・当店でご購入された商品は、原則として、「個...
  •  

    商品の説明

  • 【中古】【未使用・未開封品】C++ Concurrency in Action【メーカー名】【メーカー型番】【ブランド名】Manning Publications Education & Reference, Parallel Processing Computers, C, Paperback Store, Amazon Student ポイント還元(洋書), Amazonアプリキャンペーン対象商品(洋書), 洋書(アダルト除く) Williams, Anthony: Author【商品説明】C++ Concurrency in Action【注意】こちらは輸入品となります。当店では初期不良に限り、商品到着から7日間は返品を 受付けております。こちらは当店海外ショップで一般の方から買取した未使用・未開封品です。買取した為、中古扱いとしております。他モールとの併売品の為、完売の際はご連絡致しますのでご了承ください。ご注文からお届けまで1、ご注文⇒ご注文は24時間受け付けております。2、注文確認⇒ご注文後、当店から注文確認メールを送信します。3、当店海外倉庫から当店日本倉庫を経由しお届けしますので10〜30営業日程度でのお届けとなります。4、入金確認⇒前払い決済をご選択の場合、ご入金確認後、配送手配を致します。5、出荷⇒配送準備が整い次第、出荷致します。配送業者、追跡番号等の詳細をメール送信致しま...
  •  

    商品の説明

  • <p>Access much-needed information for building scalable, high-concurrency applications and deploying them against the Oracle Database. This new edition is updated to be current with Oracle Database 19. It includes a new chapter with troubleshooting recipes to help you quickly diagnose and resolve locking problems that are urgent and block production.</p> <p>Good transaction design is an important facet of highly-concurrent applications that are run by hundreds, even thousands, of users who are executing transactions at the same time. Transaction design, in turn, relies on a good understanding of how the database engine manages the locking of resources to prevent access conflicts and data loss that might otherwise result from concurrent access to data in the database. This book provides a solid and accurate explanation of how locking and concurrency are dealt with by Oracle Database. You will learn how the Oracle Database architecture accommodates user transactions, and how you...
  •  

    商品の説明

  • <p>These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The 9th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 34th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2013) and the 13th Interna...
  •  

    商品の説明

  • <p>The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC.</p> <p>The 16 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, communication protocols, business processes, distributed systems, and multi-agent systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.</p>画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ペー...
  • 上に戻る