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; ...
Lee mas
Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead
This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of ...
Lee mas
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lee mas
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lee mas
Computer Science Logic (vol. # 3634)
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Lee mas
Computing Meaning
This book provides an in-depth view of the current issues, problems and approaches in the computation of meaning as expressed ...
Lee mas
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python / Therese Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
Lee mas
Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java / Therese Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
Lee mas
Concepts, Frames and Cascades in Semantics, Cognition and Ontology
This book presents novel theoretical, empirical and experimental work exploring the nature of mental representations that ...
Lee mas
Conceptual Modeling - ER 2006
The International Conference on Conceptual Modeling provides the premiere - rum for presenting and discussing current research ...
Lee mas
Conceptual Modeling - ER 2007
Conceptual modeling is fundamental to the development of complex systems, because it provides the key communication means ...
Lee mas
Conceptual Modeling - ER 2007
Conceptual modeling is fundamental to the development of complex systems, because it provides the key communication means ...
Lee mas
Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...
Lee mas
Conceptual Modeling for Traditional and Spatio-Temporal Applications
This book shows that a conceptual design approach for spatio-temporal databases is both feasible and easy to apprehend. While ...
Lee mas
Conceptual Structures: Inspiration and Application
th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 – 21, ...
Lee mas
Conceptual Structures: Knowledge Architectures for Smart Applications
Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
Lee mas
Conceptual Structures: Knowledge Architectures for Smart Applications
Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
Lee mas
Concurrency Theory
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
Lee mas
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: ...
Lee mas
Consciousness
This book brings together the fundamental ideas of information theory and the statistical mechanics of phase transitions ...
Lee mas
