Electronic Books

Total Books: 81 - 100 /420

Computational Processing of the Portuguese Language : 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings

This book constitutes the thoroughly refereed proceedings of the 8th International Workshop on Computational Processing of ...

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

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; ...

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 ...

Computer Science Logic

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

Computer Science Logic

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

Computer Science Logic (vol. # 3634)

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...

Computing Meaning

This book provides an in-depth view of the current issues, problems and approaches in the computation of meaning as expressed ...

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, ...

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java / Therese Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge

Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...

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 ...

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 ...

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 ...

Conceptual Structures: Inspiration and Application

th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 – 21, ...

Conceptual Structures: Knowledge Architectures for Smart Applications

Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...

Conceptual Structures: Knowledge Architectures for Smart Applications

Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...

Concurrency Theory

Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...

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: ...

Total Books: 81 - 100 /420