-
1كتاب إلكتروني
المساهمون: 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
-
2كتاب إلكتروني
المساهمون: 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