Computational Methods in Systems Biology (vol. # 4210)
This book constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, ...
Weiterlesen
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Weiterlesen
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Weiterlesen
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Weiterlesen
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Weiterlesen
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Weiterlesen
Computer Supported Cooperative Work in Design I
The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial ...
Weiterlesen
Computer Supported Cooperative Work in Design II
This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported ...
Weiterlesen
Computer Supported Cooperative Work in Design III
The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Weiterlesen
Computer Supported Cooperative Work in Design III
The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Weiterlesen
Concurrency Theory
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
Weiterlesen
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
Weiterlesen
Cooperative Design, Visualization, and Engineering
The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...
Weiterlesen
Cooperative Design, Visualization, and Engineering
The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...
Weiterlesen
Cooperative Design, Visualization, and Engineering (vol. # 3675)
This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, ...
Weiterlesen
Coordination Models and Languages
he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Weiterlesen
Coordination Models and Languages
he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Weiterlesen
Coordination, Organizations, Institutions, and Norms in Agent Systems III : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers
This book constitutes the refereed post-workshop proceedings of the International Workshop on Coordination, Organization, ...
Weiterlesen
Crypto Wars : Faked Deaths, Missing Billions and Industry Disruption / Erica Stanford
Unveils the biggest scams and frauds that have shocked the world of cryptocurrency, from the disappearing Crypto Queen with ...
Weiterlesen
Crypto-Finance, Law and Regulation : Governing an Emerging Ecosystem / Joseph Lee
Explores the emergence of a decentralised and disintermediated crypto-market and investigates the way in which it can transform ...
Weiterlesen
