المساهمون: Fisman, Dana, Rosu, Grigore

مصطلحات موضوعية: embedded systems, formal languages and automata theory, Formal methods and theory of security, Machine learning, Modeling and simulation, Semantics and reasoning, software and hardware verification, specification and verification techniques, static and dynamic program analysis, Symbolic and algebraic manipulation, system construction and transformation techniques, bic Book Industry Communication::U Computing & information technology::UY Computer science, bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GP Research & information: general::GPJ Coding theory & cryptology, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures, bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence

وصف الملف: application/pdf

Relation: Lecture Notes in Computer Science

URL الوصول: https://library.oapen.org/handle/20.500.12657/54031

المساهمون: Fisman, Dana, Rosu, Grigore

مصطلحات موضوعية: formal languages and automata theory, Formal methods and theory of security, Machine learning, Modeling and simulation, Semantics and reasoning, signal processing, software and hardware verification, specification and verification techniques, Symbolic and algebraic manipulation, system construction and transformation techniques, bic Book Industry Communication::U Computing & information technology::UY Computer science, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures, bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYM Computer modelling & simulation, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering

وصف الملف: application/pdf

Relation: Lecture Notes in Computer Science

URL الوصول: https://library.oapen.org/handle/20.500.12657/54030

المساهمون: Groote, Jan Friso, Larsen, Kim Guldstrand

مصطلحات موضوعية: Theory of Computation, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Logic in AI, Information Systems and Communication Service, Computer Engineering and Networks, architecture verification and validation, artificial intelligence, automata theory, computer networks, embedded systems, formal languages, formal logic, linguistics, mathematics, model checking, model-checking, SAT and SMT solving, signal processing, software and hardware verification, software architecture, software engineering, specification and verification techniques, static and dynamic program analysis, system construction and transforamtion techniques, theorem-proving, Computer science, Mathematical theory of computation, Computer networking & communications, Algorithms & data structures, bic Book Industry Communication::U Computing & information technology::UY Computer science, bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence

وصف الملف: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

URL الوصول: https://library.oapen.org/handle/20.500.12657/48220

المساهمون: Biere, Armin, Parker, David

مصطلحات موضوعية: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Software Engineering, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation, Maths for computer scientists, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation

وصف الملف: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

URL الوصول: http://library.oapen.org/handle/20.500.12657/37724

المساهمون: Biere, Armin, Parker, David

مصطلحات موضوعية: Theory of Computation, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Computer science, Mathematical theory of computation, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Maths for computer scientists, bic Book Industry Communication::U Computing & information technology::UY Computer science, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation

وصف الملف: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

URL الوصول: http://library.oapen.org/handle/20.500.12657/37722