Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This textbook for courses in Digital Systems Design introduces students to the fundamental hardware used in modern computers. Coverage includes both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL) design approach (computer-based). Using this textbook enables readers to design digital systems using the modern HDL approach, but they have a broad foundation of knowledge of the underlying hardware and theory of their designs. This book is designed to match the way the material is actually taught in the classroom. Topics are presented in a manner which builds foundational knowledge before moving onto advanced topics. The author has designed the presentation with learning Goals and assessment at its core. Each section addresses a specific learning outcome that the student should be able to “do” after its completion. The concept checks and exercise problems provide a rich set of assessment tools to measure student performance on each outcome. · Written the way the material is taught, enabling a bottom-up approach to learning which culminates with a high-level of learning, with a solid foundation; · Emphasizes examples from which students can learn: contains a solved example for nearly every section in the book; · Includes more than 600 exercise problems, as well as concept check questions for each section, tied directly to specific learning outcomes.

Engineering. --- Logic design. --- Microprocessors. --- Electronic circuits. --- Circuits and Systems. --- Processor Architectures. --- Logic Design. --- Electron-tube circuits --- Design, Logic --- Design of logic systems --- Construction --- Systems engineering. --- Computer science. --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Design and construction --- Verilog (Computer hardware description language) --- Minicomputers --- Electric circuits --- Electron tubes --- Electronics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This textbook introduces readers to the fundamental hardware used in modern computers. The only pre-requisite is algebra, so it can be taken by college freshman or sophomore students or even used in Advanced Placement courses in high school. This book presents both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL) design approach (computer-based). This textbook enables readers to design digital systems using the modern HDL approach while ensuring they have a solid foundation of knowledge of the underlying hardware and theory of their designs. This book is designed to match the way the material is actually taught in the classroom. Topics are presented in a manner which builds foundational knowledge before moving onto advanced topics. The author has designed the content with learning goals and assessment at its core. Each section addresses a specific learning outcome that the learner should be able to “do” after its completion. The concept checks and exercise problems provide a rich set of assessment tools to measure learner performance on each outcome. This book can be used for either a sequence of two courses consisting of an introduction to logic circuits (Chapters 1-7) followed by logic design (Chapters 8-13) or a single, accelerated course that uses the early chapters as reference material. Written the way the material is taught, enabling a bottom-up approach to learning which culminates with a high-level of learning, with a solid foundation; Emphasizes examples from which students can learn: contains a solved example for nearly every section in the book; Includes more than 600 exercise problems, as well as concept check questions for each section, tied directly to specific learning outcomes.

Engineering. --- Logic design. --- Microprocessors. --- Electronic circuits. --- Circuits and Systems. --- Processor Architectures. --- Logic Design. --- Electron-tube circuits --- Design, Logic --- Design of logic systems --- Construction --- Systems engineering. --- Computer science. --- Informatics --- Science --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Design and construction --- Logic circuits. --- Minicomputers --- Electric circuits --- Electron tubes --- Electronics --- Computer architecture. --- Electronic Circuits and Systems. --- Architecture, Computer

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This unique treatise presents an integrated perspective on the relationship and interplay of set theory and graph theory, providing an extensive selection of examples that highlight how methods from one theory can be used to better solve problems originated in the other. This combined viewpoint not only simplifies the manipulation of sets and enriches the potential of graphs, but also permits a more profound understanding of the multi-faceted nature of sets and graphs. Topics and features: Explores the interrelationships between sets and graphs and their applications to finite combinatorics, with a focus on proof methods and proof technology Introduces the fundamental graph-theoretical notions from the standpoint of both set theory and dyadic logic, and presents a short discussion on set universes Explains how, and under what circumstances, sets can conveniently model graphs, discussing set graphs and set-theoretic representations of claw-free graphs Investigates when it is convenient to represent sets by graphs, covering counting and encoding problems, the random generation of sets, and the analysis of infinite sets Presents excerpts of formal proofs concerning graphs, whose correctness was verified by means of an automated proof-assistant Contains numerous exercises, examples, definitions, problems and insight panels throughout the text This accessible textbook/reference offers an illuminating read for graduate students of computer science and mathematics. The work is also ideal as a self-study resource for other non-specialists pursuing a deeper understanding of the subject matter. Dr. Eugenio G. Omodeo is a professor in the Department of Mathematics and Geosciences at the University of Trieste, Italy. His other publications include the Springer title Computational Logic and Set Theory. Dr. Alberto Policriti is a Professor of Computer Science in the Department of Mathematics, Computer Science, and Physics at the University of Udine, Italy. Together with Dr. Eugenio G. Omodeo, he is co-author of the Springer title Set Theory for Computing. Dr. Alexandru I. Tomescu is postdoctoral researcher in the Department of Computer Science at the University of Helsinki, Finland.

Computer science. --- Algorithms. --- Computer logic. --- Combinatorics. --- Graph theory. --- Computer Science. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Graph Theory. --- Logic design. --- Computer software. --- Combinatorics --- Algebra --- Mathematical analysis --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Graph theory --- Graphs, Theory of --- Theory of graphs --- Combinatorial analysis --- Topology --- Extremal problems --- Algorism --- Arithmetic --- Computer science logic --- Logic, Symbolic and mathematical --- Foundations

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017. The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.

Computer science. --- Special purpose computers. --- Software engineering. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Special Purpose and Application-Based Systems. --- Logics and Meanings of Programs. --- Operating Systems. --- Computer science logic --- Computer operating systems --- Computers --- Disk operating systems --- Computer software engineering --- Special purpose computers --- Informatics --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Operating systems --- Logic, Symbolic and mathematical --- Systems software --- Engineering --- Science --- Electronic data processing --- Languages, Artificial --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety assessment in the automotive domain; and case studies.

Computer science. --- Special purpose computers. --- Software engineering. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Special Purpose and Application-Based Systems. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Computer science logic --- Algorism --- Computer software engineering --- Special purpose computers --- Informatics --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical --- Algebra --- Arithmetic --- Engineering --- Computers --- Science --- Foundations --- Logic design. --- Computer software. --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory