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; ...
Continue reading
Computer Supported Cooperative Work in Design I
The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial ...
Continue reading
Computer Supported Cooperative Work in Design II
This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Concurrency Theory
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
Continue reading
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: ...
Continue reading
Cooperative Design, Visualization, and Engineering
The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...
Continue reading
Cooperative Design, Visualization, and Engineering
The cooperative design, visualization and engineering community sensed the economic pulse of a new giant economy where cooperation ...
Continue reading
Cooperative Design, Visualization, and Engineering (vol. # 3675)
This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, ...
Continue reading
Coordination Models and Languages
he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Continue reading
Coordination Models and Languages
he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Continue reading
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, ...
Continue reading
Data and Applications Security XXII : 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings
This volume contains the papers presented at the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security ...
Continue reading
Database Programming Languages
The papers here are organized in topical sections on semistructured data OL AP and data mining systems, schema integration, ...
Continue reading
Database and XMLTechnologies
This book discuss the use of and synergy between databases and XML. It provided theory and practice of XML data management ...
Continue reading
Database and XMLTechnologies
This book discuss the use of and synergy between databases and XML. It provided theory and practice of XML data management ...
Continue reading
Developments in Language Theory
It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; ...
Continue reading
Developments in Language Theory
It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; ...
Continue reading
Distributed Computing and Internet Technology
This book constitutes the proceedings of the 17th International Conference on Distributed Computing and Internet Technology, ...
Continue reading
