Show simple item record

dc.contributor.authorCiobanu, Gabriel.
dc.contributor.authorMéry, Dominique.
dc.contributor.authorSpringerLink (Online service)
dc.date.accessioned2019-10-24T04:02:25Z
dc.date.available2019-10-24T04:02:25Z
dc.date.created2017-01-05 00:52
dc.identifieroai:ulbcat:1131473
dc.identifier9783319108827 (ebook)
dc.identifier3319108816
dc.identifier9783319108810
dc.identifierhttp://dx.doi.org/10.1007/978-3-319-10882-7
dc.identifier.urihttp://hdl.handle.net/20.500.12424/828981
dc.description.abstractedited by Gabriel Ciobanu, Dominique Méry.
dc.description.abstractAutomata theory and formal languages -- Principles and semantics of programming languages -- Theories of concurrency, mobility and reconfiguration -- Logics and their applications -- Software architectures and their models, refinement and verification -- Relationship between software requirements, models and code -- Static and dynamic program analysis and verification -- Software specification, refinement, verification and testing -- Model checking and theorem proving -- Models of object and component systems -- Coordination and feature interaction -- Integration of theories, formal methods and tools for engineering computing systems -- Service-oriented architectures: models and development methods -- Models of concurrency, security, and mobility -- Theories of distributed, grid and cloud computing -- Real-time, embedded, hybrid and cyber-physical systems -- Type and category theory in computer science -- Models for e-learning and education -- Case studies, theories, tools and experiments of verified systems -- Domain-specific modeling and technology: examples, frameworks and practical experience -- Challenges and foundations in environmental modeling and monitoring, healthcare, and disaster management.
dc.subjectComputer Science.
dc.subjectLogics and Meanings of Programs.
dc.subjectProgramming Languages, Compilers, Interpreters.
dc.subjectDiscrete Mathematics in Computer Science.
dc.subjectSoftware Engineering.
dc.subjectComputer science.
dc.subjectSoftware engineering.
dc.subjectLogic design.
dc.subjectComputational complexity.
dc.subjectInformatique
dc.subjectGénie logiciel
dc.subjectStructure logique
dc.subjectComplexité de calcul (Informatique)
dc.titleTheoretical Aspects of Computing - ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
ge.collectioncodeOAIDATA
ge.dataimportlabelOAI metadata object
ge.identifier.legacyglobethics:10425278
ge.identifier.permalinkhttps://www.globethics.net/gel/10425278
ge.lastmodificationdate2017-01-05 00:52
ge.lastmodificationuseradmin@pointsoftware.ch (import)
ge.submissions0
ge.oai.exportid148934
ge.oai.repositoryid97955
ge.oai.streamid2
ge.setnameGlobeEthicsLib
ge.setspecglobeethicslib
ge.linkhttps://dx.doi.org/10.1007/978-3-319-10882-7


This item appears in the following Collection(s)

Show simple item record