This book constitutes the thoroughly refereed proceedings of the 8th International Workshop on Computational Processing of ...
WeiterlesenThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
WeiterlesenThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
WeiterlesenThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
WeiterlesenThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
WeiterlesenThis book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of ...
WeiterlesenThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
WeiterlesenThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
WeiterlesenThis book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
WeiterlesenThis book provides an in-depth view of the current issues, problems and approaches in the computation of meaning as expressed ...
WeiterlesenExplores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
WeiterlesenExplores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
WeiterlesenThis book presents novel theoretical, empirical and experimental work exploring the nature of mental representations that ...
WeiterlesenThis book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...
WeiterlesenThis book shows that a conceptual design approach for spatio-temporal databases is both feasible and easy to apprehend. While ...
Weiterlesenth The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 – 21, ...
WeiterlesenConceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
WeiterlesenConceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
WeiterlesenConcurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
WeiterlesenThe volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
Weiterlesen