Listing 1 - 10 of 14 | << page >> |
Sort by
|
Choose an application
English literature --- English literature. --- LITERARY CRITICISM --- Radicalism in literature. --- Radicalism in literature. --- Sentimentalism in literature. --- Sentimentalism in literature. --- History and criticism --- European --- English, Irish, Scottish, Welsh. --- 1700-1820. --- Great Britain --- Great Britain. --- History
Choose an application
Programming --- 681.3*D31 --- 681.3*F3 --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Logics and meanings of programs (Theory of computation) --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- Computer science. --- Logic design. --- Mathematical Logic and Formal Languages. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Programming languages
Choose an application
Programming --- 681.3*D22 --- 681.3*D31 --- 681.3*F32 --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering)
Choose an application
Programming --- #TCPW P3.0 --- 681.3*D21 --- 681.3*D22 --- 681.3*F31 --- 681.3*F32 --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- ML (Computer program language) --- ML (Computer program language). --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Computer science. --- Logic design. --- Programming Languages, Compilers, Interpreters. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Langages de programmation --- Programming languages (Electronic computers) --- Langages de programmation.
Choose an application
Choose an application
This book breaks new ground by presenting an interdisciplinary approach to a crucial problem – system dependability. Computer-based systems include hardware, software and people. Achieving dependability for such systems requires an interdisciplinary approach. In Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, computer scientists, sociologists, statisticians and psychologists bring together their latest research on the structure of dependable computer-based systems. The result is a highly readable overview of ways to achieve dependability in large computer-based systems with practical advice on designing dependable systems. Work on structure for dependability has usually come from a single discipline and has been concerned only with the computer systems. Stakeholders and system designers now agree that human and social issues cannot be separated from technical matters. The approach taken in this book demonstrates that interdisciplinarity delivers real benefits in the design and deployment of complex computer-based systems. This book is one of the outcomes of a six year Interdisciplinary Research Collaboration. Topics covered include fault tolerance, system evolution, determining software specifications, HCI, architecture, certification, dependability arguments, organisations, diagrams, time and procedures. System developers, stakeholders, decision makers, policymakers and researchers will find this book a unique resource which highlights the core issues for all those involved in improving dependability in complex computer-based environments. .
Computer science. --- Software engineering. --- Computers. --- User interfaces (Computer systems). --- Computers and civilization. --- Computer Science. --- Computer Science, general. --- Software Engineering. --- Models and Principles. --- Information Systems Applications (incl. Internet). --- User Interfaces and Human Computer Interaction. --- Computers and Society. --- Reliability (Engineering) --- Human-computer interaction. --- Computer software engineering --- Engineering --- Computer-human interaction --- Human factors in computing systems --- Interaction, Human-computer --- Human engineering --- User-centered system design --- User interfaces (Computer systems) --- Reliability of equipment --- Systems reliability --- Maintainability (Engineering) --- Probabilities --- Systems engineering --- Plant performance --- Safety factor in engineering --- Structural failures --- Information Technology --- Computer Science (Hardware & Networks) --- Informatics --- Science --- Application software. --- Civilization and computers --- Civilization --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace
Choose an application
Formal methods (Computer science) --- Real-time data processing --- Méthodes formelles (Informatique) --- Temps réel --- Congresses. --- Congrès --- Björner, D. --- Zhou, Chaochen, --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Software Engineering --- Bjørner, D. --- Bjørner, Dines --- Bjørner, Dines, --- Chaochen, Zhou, --- Computer science. --- Computer organization. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer Systems Organization and Communication Networks. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Logic design. --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Chaochen, Zhou. --- Computer engineering. --- Computer networks. --- Machine theory. --- Computer Science Logic and Foundations of Programming. --- Computer Engineering and Networks. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computers --- Distributed processing --- Design and construction
Choose an application
Electronic data processing --- Computers --- Computers. --- Electronic data processing.
Choose an application
Choose an application
Listing 1 - 10 of 14 | << page >> |
Sort by
|