Listing 1 - 10 of 38 | << page >> |
Sort by
|
Choose an application
Choose an application
Microcontrôleurs --- Surveillance --- monitoring --- Collecte de données --- data collection --- Électronique --- Electronics --- Logiciel --- Computer software --- Matériel informatique --- Computer hardware --- Microcontrôleurs
Choose an application
FPGA (field programmable gate array) --- VHDL (very high speed integrated circuit hardware description language) --- prototypen --- Electronics --- Computer architecture. Operating systems --- Field programmable gate arrays --- Prototypes, Engineering --- VHDL (Computer hardware description language) --- Réseaux logiques programmables par l'utilisateur --- Prototypes --- VHDL (Langage de description de matériel informatique) --- Design and construction --- Conception et construction --- FPGA --- VHDL --- Digitale techniek --- Prototypes, Engineering. --- VHDL (hardware description language) --- HDL --- VGA --- ASIC --- Xilinx --- Spartan --- Engineering prototypes --- Engineering design --- Engineering models --- Field programmable logic arrays --- FPGAs --- Gate array circuits --- Programmable logic devices --- Design and construction. --- Réseaux logiques programmables par l'utilisateur --- VHDL (Langage de description de matériel informatique) --- Very High Speed Integrated Circuits Hardware Description Language (Computer hardware description language) --- VHSIC Hardware Description Language (Computer hardware description language) --- Computer hardware description languages --- Integrated circuits --- Computer simulation
Choose an application
VHDL (Computer hardware description language) --- Digital integrated circuits --- Field programmable gate arrays --- VHDL (Langage de description de matériel informatique) --- Circuits intégrés numériques --- Réseaux logiques programmables par l'utilisateur --- Design and construction --- Conception et construction
Choose an application
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference. The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.
Computer software --- Electronic digital computers --- Logiciels --- Ordinateurs --- Verification --- Congresses. --- Evaluation --- Vérification --- Congrès --- Vérification --- Congrès --- Congresses --- Logic design. --- Information theory. --- Computer hardware. --- Software engineering. --- Computer science. --- Logics and Meanings of Programs. --- Theory of Computation. --- Computer Hardware. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Special Purpose and Application-Based Systems. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics
Choose an application
Fuzzy systems --- Automation --- Systèmes flous --- Automatisation --- 62-52 --- Automatically operated or controlled machines and processes --- 62-52 Automatically operated or controlled machines and processes --- Systèmes flous --- COMPUTERS --- FUZZY LOGIC --- Monograph --- Computers. --- Fuzzy logic. --- Nonlinear logic --- Fuzzy mathematics --- Logic, Symbolic and mathematical --- 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
Computers. --- Electronic data processing. --- Ordinateurs --- Informatique --- Computers --- Electronic data processing --- 681.3*A --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- 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 --- General literature --- Automation --- 681.3*A General literature
Choose an application
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems. The logical systems presented are: - Propositional calculus (including binary decision diagrams); - Predicate calculus; - Resolution; - Hoare logic; - Z; - Temporal logic. Answers to exercises (for instructors only) as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.com/978-1-85233-319-5 Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education.
Logic, Symbolic and mathematical --- Logic, Symbolic and mathematical. --- Mathematical logic --- Computer. Automation --- Computers. --- Mathematical logic. --- Theory of Computation. --- Mathematical Logic and Foundations. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- 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
The algorithmic solution of problems has always been one of the major concerns of mathematics. For a long time such solutions were based on an intuitive notion of algorithm. It is only in this century that metamathematical problems have led to the intensive search for a precise and sufficiently general formalization of the notions of computability and algorithm. In the 1930s, a number of quite different concepts for this purpose were pro posed, such as Turing machines, WHILE-programs, recursive functions, Markov algorithms, and Thue systems. All these concepts turned out to be equivalent, a fact summarized in Church's thesis, which says that the resulting definitions form an adequate formalization of the intuitive notion of computability. This had and continues to have an enormous effect. First of all, with these notions it has been possible to prove that various problems are algorithmically unsolvable. Among of group these undecidable problems are the halting problem, the word problem theory, the Post correspondence problem, and Hilbert's tenth problem. Secondly, concepts like Turing machines and WHILE-programs had a strong influence on the development of the first computers and programming languages. In the era of digital computers, the question of finding efficient solutions to algorithmically solvable problems has become increasingly important. In addition, the fact that some problems can be solved very efficiently, while others seem to defy all attempts to find an efficient solution, has called for a deeper under standing of the intrinsic computational difficulty of problems.
Numerical solutions of algebraic equations --- Computer science --- Computational Complexity --- Computational complexity --- Computational complexity. --- Complexité de calcul (Informatique) --- Combinatorics. --- Computers. --- Mathematical logic. --- Algorithms. --- Algebraic geometry. --- Theory of Computation. --- Mathematical Logic and Foundations. --- Algorithm Analysis and Problem Complexity. --- Algebraic Geometry. --- Algebraic geometry --- Geometry --- Algorism --- Algebra --- Arithmetic --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- 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 --- Combinatorics --- Mathematical analysis --- Foundations
Choose an application
French language --- Computer. Automation --- English language --- German language --- Computers --- -English language --- -Information technology --- -(038)004 --- Engels-Duits --- Engels-Frans --- informatica --- informatietechnologie --- vakwoordenboeken --- verklarende woordenboeken --- vertalende woordenboeken --- woordenboeken --- Germanic languages --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- 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 --- Dictionaries --- -French --- -German --- Woordenboeken computerkunde en computertechnologie --- Informatietechnologie --- Nieuwe media --- woordenboeken. --- Woordenboeken. --- Information technology --- (038)004 --- French --- Dictionaries&delete& --- German
Listing 1 - 10 of 38 | << page >> |
Sort by
|