Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computer arithmetic and validity [[electronic resource] ] : theory, implementation, and applications / / Ulrich Kulisch
| Computer arithmetic and validity [[electronic resource] ] : theory, implementation, and applications / / Ulrich Kulisch |
| Autore | Kulisch Ulrich |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Berlin, : De Gruyter, 2013 |
| Descrizione fisica | 1 online resource (434 p.) |
| Disciplina | 005.101/5113 |
| Collana |
De Gruyter Studies in Mathematics
De Gruyter studies in mathematics |
| Soggetto topico |
Computer arithmetic
Computer arithmetic and logic units Floating-point arithmetic |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-11-030179-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Foreword to the second edition -- Preface -- Contents -- Introduction -- Part I. Theory of computer arithmetic -- Chapter 1. First concepts -- Chapter 2. Ringoids and vectoids -- Chapter 3. Definition of computer arithmetic -- Chapter 4. Interval arithmetic -- Part II. Implementation of arithmetic on computers -- Chapter 5. Floating-point arithmetic -- Chapter 6. Implementation of floating-point arithmetic on a computer -- Chapter 7. Hardware support for interval arithmetic -- Chapter 8. Scalar products and complete arithmetic -- Part III. Principles of verified computing -- Chapter 9. Sample applications -- Appendix A. Frequently used symbols -- Appendix B. On homomorphism -- Bibliography -- List of figures -- List of tables -- Index |
| Record Nr. | UNINA-9910452844603321 |
Kulisch Ulrich
|
||
| Berlin, : De Gruyter, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer arithmetic and validity [[electronic resource] ] : theory, implementation, and applications / / Ulrich Kulisch
| Computer arithmetic and validity [[electronic resource] ] : theory, implementation, and applications / / Ulrich Kulisch |
| Autore | Kulisch Ulrich |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Berlin, : De Gruyter, 2013 |
| Descrizione fisica | 1 online resource (434 p.) |
| Disciplina | 005.101/5113 |
| Collana |
De Gruyter Studies in Mathematics
De Gruyter studies in mathematics |
| Soggetto topico |
Computer arithmetic
Computer arithmetic and logic units Floating-point arithmetic |
| ISBN | 3-11-030179-2 |
| Classificazione | SK 900 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Foreword to the second edition -- Preface -- Contents -- Introduction -- Part I. Theory of computer arithmetic -- Chapter 1. First concepts -- Chapter 2. Ringoids and vectoids -- Chapter 3. Definition of computer arithmetic -- Chapter 4. Interval arithmetic -- Part II. Implementation of arithmetic on computers -- Chapter 5. Floating-point arithmetic -- Chapter 6. Implementation of floating-point arithmetic on a computer -- Chapter 7. Hardware support for interval arithmetic -- Chapter 8. Scalar products and complete arithmetic -- Part III. Principles of verified computing -- Chapter 9. Sample applications -- Appendix A. Frequently used symbols -- Appendix B. On homomorphism -- Bibliography -- List of figures -- List of tables -- Index |
| Record Nr. | UNINA-9910779734903321 |
|
Kulisch Ulrich
|
||
| Berlin, : De Gruyter, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer arithmetic and validity : theory, implementation, and applications / / Ulrich Kulisch
| Computer arithmetic and validity : theory, implementation, and applications / / Ulrich Kulisch |
| Autore | Kulisch Ulrich |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Berlin, : De Gruyter, 2013 |
| Descrizione fisica | 1 online resource (434 p.) |
| Disciplina | 005.101/5113 |
| Collana |
De Gruyter Studies in Mathematics
De Gruyter studies in mathematics |
| Soggetto topico |
Computer arithmetic
Computer arithmetic and logic units Floating-point arithmetic |
| ISBN | 3-11-030179-2 |
| Classificazione | SK 900 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Foreword to the second edition -- Preface -- Contents -- Introduction -- Part I. Theory of computer arithmetic -- Chapter 1. First concepts -- Chapter 2. Ringoids and vectoids -- Chapter 3. Definition of computer arithmetic -- Chapter 4. Interval arithmetic -- Part II. Implementation of arithmetic on computers -- Chapter 5. Floating-point arithmetic -- Chapter 6. Implementation of floating-point arithmetic on a computer -- Chapter 7. Hardware support for interval arithmetic -- Chapter 8. Scalar products and complete arithmetic -- Part III. Principles of verified computing -- Chapter 9. Sample applications -- Appendix A. Frequently used symbols -- Appendix B. On homomorphism -- Bibliography -- List of figures -- List of tables -- Index |
| Record Nr. | UNINA-9910811185003321 |
|
Kulisch Ulrich
|
||
| Berlin, : De Gruyter, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, Language, Information, and Computation [[electronic resource] ] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings / / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz
| Logic, Language, Information, and Computation [[electronic resource] ] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings / / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 283 p. 15 illus.) |
| Disciplina | 005.101/5113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Computer science—Mathematics Computer science Formal Languages and Automata Theory Artificial Intelligence Symbolic and Algebraic Manipulation Computer Science |
| ISBN | 3-642-39992-4 |
| Classificazione |
004
DAT 540f DAT 710f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic and Agent Programming Languages -- Natural Models of Homotopy Type Theory (Abstract) -- Modelling Infinite Structures with Atoms -- Counting in SPARQL Property Paths: Perspectives from Theory and Practice -- Quantitative Approaches to Information Protection -- Perspectives of Dynamic Complexity -- Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach -- First Order Extensions of Residue Classes and Uniform Circuit Complexity -- Quantum Probabilistic Dyadic Second-Order Logic -- Structural Extensions of Display Calculi: A General Recipe -- The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic -- Boolean Dependence Logic and Partially-Ordered Connectives -- Extended Modal Dependence Logic EMDL -- Dependence Logic with Generalized Quantifiers: Axiomatizations -- Continuous Truth II: Reflections -- A Simple Separation Logic -- Independence in Database Relations -- Substructural Logic of Proofs -- Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics -- A Finite Model Property for G¨odel Modal Logics -- Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice -- Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL -- Information, Awareness and Substructural Logics. |
| Record Nr. | UNISA-996465952903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings / / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz
| Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings / / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 283 p. 15 illus.) |
| Disciplina | 005.101/5113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Computer science—Mathematics Computer science Formal Languages and Automata Theory Artificial Intelligence Symbolic and Algebraic Manipulation Computer Science |
| ISBN | 3-642-39992-4 |
| Classificazione |
004
DAT 540f DAT 710f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic and Agent Programming Languages -- Natural Models of Homotopy Type Theory (Abstract) -- Modelling Infinite Structures with Atoms -- Counting in SPARQL Property Paths: Perspectives from Theory and Practice -- Quantitative Approaches to Information Protection -- Perspectives of Dynamic Complexity -- Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach -- First Order Extensions of Residue Classes and Uniform Circuit Complexity -- Quantum Probabilistic Dyadic Second-Order Logic -- Structural Extensions of Display Calculi: A General Recipe -- The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic -- Boolean Dependence Logic and Partially-Ordered Connectives -- Extended Modal Dependence Logic EMDL -- Dependence Logic with Generalized Quantifiers: Axiomatizations -- Continuous Truth II: Reflections -- A Simple Separation Logic -- Independence in Database Relations -- Substructural Logic of Proofs -- Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics -- A Finite Model Property for G¨odel Modal Logics -- Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice -- Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL -- Information, Awareness and Substructural Logics. |
| Record Nr. | UNINA-9910483554103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reversible Computation [[electronic resource] ] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers / / edited by Robert Glück, Tetsuo Yokoyama
| Reversible Computation [[electronic resource] ] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers / / edited by Robert Glück, Tetsuo Yokoyama |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 241 p. 70 illus.) |
| Disciplina | 005.101/5113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Logic design
Computer logic Computers Algorithms Software engineering Logic Design Logics and Meanings of Programs Computation by Abstract Devices Algorithm Analysis and Problem Complexity Software Engineering |
| ISBN | 3-642-36314-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theoretical Considerations -- Tutorial: Graphical Calculus for Quantum Circuits -- One-Way Reversible Multi-head Finite Automata -- A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads -- Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically Reversible Abstract Machines -- Synthesizing Loops for Program Inversion -- Frugal Encoding in Reversible MOQA: A Case Study for Quicksort -- Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots -- Reversible and Quantum Circuits -- Reversible and Quantum Circuit Optimization: A Functional Approach -- Properties of Quantum Templates -- Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits -- Design of an Online Testable Ternary Circuit from the Truth Table -- Physical Realizations and Design Garbageless Reversible Implementation of Integer Linear Transformations -- Garbage-Free Reversible Integer Multiplication with Constants of the Form 2k ± 2l ± 1 -- Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams -- Using πDDs in the Design of Reversible Circuits (Work-In-Progress) -- Distributed Systems -- A Verification Technique for Reversible Process Algebra -- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway -- Controlled Reversibility and Compensations. |
| Record Nr. | UNISA-996466269103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reversible computation : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, revised papers / / Robert Gluck, Tetsuo Yokoyama (eds.)
| Reversible computation : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, revised papers / / Robert Gluck, Tetsuo Yokoyama (eds.) |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | New York, : Springer, 2013 |
| Descrizione fisica | 1 online resource (X, 241 p. 70 illus.) |
| Disciplina | 005.101/5113 |
| Altri autori (Persone) |
GluckRobert
YokoyamaTetsuo |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Physics - Data processing
Physics - Computer simulation Mathematical physics - Data processing |
| ISBN | 3-642-36314-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theoretical Considerations -- Tutorial: Graphical Calculus for Quantum Circuits -- One-Way Reversible Multi-head Finite Automata -- A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads -- Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically Reversible Abstract Machines -- Synthesizing Loops for Program Inversion -- Frugal Encoding in Reversible MOQA: A Case Study for Quicksort -- Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots -- Reversible and Quantum Circuits -- Reversible and Quantum Circuit Optimization: A Functional Approach -- Properties of Quantum Templates -- Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits -- Design of an Online Testable Ternary Circuit from the Truth Table -- Physical Realizations and Design Garbageless Reversible Implementation of Integer Linear Transformations -- Garbage-Free Reversible Integer Multiplication with Constants of the Form 2k ± 2l ± 1 -- Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams -- Using πDDs in the Design of Reversible Circuits (Work-In-Progress) -- Distributed Systems -- A Verification Technique for Reversible Process Algebra -- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway -- Controlled Reversibility and Compensations. |
| Record Nr. | UNINA-9910485047203321 |
| New York, : Springer, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rewriting Logic and Its Applications [[electronic resource] ] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / / edited by Francisco Durán
| Rewriting Logic and Its Applications [[electronic resource] ] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / / edited by Francisco Durán |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (VIII, 241 p. 51 illus.) |
| Disciplina | 005.101/5113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer programming Compilers (Computer programs) Machine theory Computer Science Logic and Foundations of Programming Software Engineering Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory Models of Computation |
| ISBN | 3-642-34005-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Rigorous Component-Based System Design (Invited Paper) -- Program Analysis Scenarios in Rascal -- K Framework Distilled -- Design and Analysis of Cloud-Based Architectures with KLAIM and Maude -- Making Maude Definitions More Interactive -- Model Checking LTLR Formulas under Localized Fairness -- Modelling and Analyzing Adaptive Self-assembly Strategies with Maude -- Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude -- Order-Sorted Equality Enrichments Modulo Axioms -- Timed CTL Model Checking in Real-Time Maude -- Using Narrowing to Test Maude Specifications -- A Rule-Based Framework for Building Superposition-Based Decision Procedures. |
| Record Nr. | UNISA-996465648703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||