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.
Aliasing in Object-Oriented Programming [[electronic resource] ] : Types, Analysis and Verification / / edited by David Clarke, Tobias Wrigstad, James Noble
| Aliasing in Object-Oriented Programming [[electronic resource] ] : Types, Analysis and Verification / / edited by David Clarke, Tobias Wrigstad, James Noble |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (VIII, 515 p. 134 illus.) : digital |
| Disciplina | 005.117 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Operating systems (Computers) Software engineering Programming languages (Electronic computers) Computers Programming Techniques Operating Systems Software Engineering Programming Languages, Compilers, Interpreters History of Computing |
| ISBN | 3-642-36946-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Beyond the Geneva Convention on the Treatment of Object Aliasing.- The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. . |
| Record Nr. | UNISA-996465604303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Aliasing in Object-Oriented Programming : Types, Analysis and Verification / / edited by David Clarke, Tobias Wrigstad, James Noble
| Aliasing in Object-Oriented Programming : Types, Analysis and Verification / / edited by David Clarke, Tobias Wrigstad, James Noble |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (VIII, 515 p. 134 illus.) : digital |
| Disciplina | 005.117 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Operating systems (Computers) Software engineering Programming languages (Electronic computers) Computers Programming Techniques Operating Systems Software Engineering Programming Languages, Compilers, Interpreters History of Computing |
| ISBN | 3-642-36946-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Beyond the Geneva Convention on the Treatment of Object Aliasing.- The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. . |
| Record Nr. | UNINA-9910739420403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Arto Salomaa: Mathematician, Computer Scientist, and Teacher : A Thematic Biography / / by Jukka Paakki
| Arto Salomaa: Mathematician, Computer Scientist, and Teacher : A Thematic Biography / / by Jukka Paakki |
| Autore | Paakki Jukka |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 303 p. 61 illus., 41 illus. in color.) |
| Disciplina | 004.09 |
| Soggetto topico |
Computers
Mathematics History Discrete mathematics Computer science—Mathematics History of Computing Theory of Computation History of Mathematical Sciences Discrete Mathematics Mathematics of Computing |
| ISBN | 3-030-16049-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Professor's Son -- Child and Youngster in Turku, Finland -- Master and Doctor of Science -- Master of Many-Valued Logic -- Prehistory of Automata and Formal Languages -- Father of Formal Languages -- Champion of L -- President of EATCS -- Master of Formal Power Series -- Champion of Cryptography -- Master of Biocomputing -- Academician, One of the Twelve -- All-Round Grand Champion -- Champion of Sauna, Master of Music and Sports -- Äijä: The Great Grandfather -- Q.E.D. -- App. A, References and Suggested Reading -- App. B, PhDs Supervised by Arto Salomaa -- App. C, Textbooks and Handbooks by Arto Salomaa -- Name Index. |
| Record Nr. | UNINA-9910349276703321 |
Paakki Jukka
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Book of Chatbots : From ELIZA to ChatGPT / / by Robert Ciesla
| The Book of Chatbots : From ELIZA to ChatGPT / / by Robert Ciesla |
| Autore | Ciesla Robert |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (167 pages) |
| Disciplina | 371.33/4 |
| Soggetto topico |
Natural language processing (Computer science)
Machine learning Artificial intelligence Computers - History Computers and civilization Natural Language Processing (NLP) Machine Learning Artificial Intelligence History of Computing Computers and Society |
| ISBN | 3-031-51004-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- About the Author -- 1. The Challenge of the Turing test -- 2. Developments in Artificial Intelligence and Linguistics -- 3. The Classic Era of Chatbots -- 4. The Current Era of Chatbots -- 5. AI and Chatbots in Healthcare -- 6. Chatbots in eCommerce -- 7. Chatbots as Villains – The Antisocial Uses of AI -- 8. Towards an Artificial General Intelligence. |
| Record Nr. | UNINA-9910800116003321 |
|
Ciesla Robert
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Calculation and Computation in the Pre-electronic Era : The Mechanical and Electrical Ages / / by Aristotle Tympas
| Calculation and Computation in the Pre-electronic Era : The Mechanical and Electrical Ages / / by Aristotle Tympas |
| Autore | Tympas Aristotle |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 243 p. 23 illus.) |
| Disciplina | 004.09 |
| Collana | History of Computing |
| Soggetto topico |
Computers
History of Computing |
| ISBN | 1-84882-742-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- The Delights of the Slide Rule -- Lighting Calculations Lightened -- Like the Poor, the Harmonics Will Always Be With Us -- The Inner Satisfaction That Comes With Each Use of the Alignment Chart -- The Appearance of a Neatly Finished Box -- Conclusion. |
| Record Nr. | UNINA-9910255454403321 |
|
Tympas Aristotle
|
||
| London : , : Springer London : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Carl Adam Petri : Life and Science / / by Einar Smith
| Carl Adam Petri : Life and Science / / by Einar Smith |
| Autore | Smith Einar |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (133 p.) |
| Disciplina | 004.0151 |
| Soggetto topico |
Computers
Mathematics Philosophy History of Computing Mathematics, general Philosophy, general Theory of Computation |
| ISBN | 3-662-48093-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Infancy and Youth -- University, Academe, Family -- Thesis on Automata -- The Maturing Years -- GMD - Home of the Petri Nets -- Net Foldings -- Morphisms and Topology -- Non-Sequential Processes and Concurrency Theory -- Communication Disciplines -- Theory of Measurement -- The Prosperity Years -- The Late Years -- References -- Index. |
| Record Nr. | UNINA-9910299254903321 |
|
Smith Einar
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Categories and Types in Logic, Language, and Physics [[electronic resource] ] : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday / / edited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
| Categories and Types in Logic, Language, and Physics [[electronic resource] ] : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday / / edited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 421 p. 61 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Computers—History Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming History of Computing Computer Science |
| ISBN | 3-642-54789-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semantic Unification: A Sheaf Theoretic Approach to Natural Language -- On Residuation -- Type Similarity for the Lambek-Grishin Calculus Revisited -- NP-Completeness of Grammars Based Upon Products of Free Pregroups -- Distributional Semantics: A Montagovian View -- A Logical Basis for Quantum Evolution and Entanglement -- Learning Lambek Grammars from Proof Frames -- Multi-Sorted Residuation -- Italian Clitic Patterns in Pregroup Grammar: State of the Art -- On Associative Lambek Calculus Extended with Basic Proper Axioms -- Classical Structures Based on Unitaries -- Initial Algebras of Terms with Binding and Algebraic Structure -- Abstract Tensor Systems as Monoidal Categories -- On Canonical Embeddings of Residuated Groupoids -- L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents -- A Note on Multidimensional Dyck Languages -- Extended Lambek Calculi and First-Order Linear Logic -- A Categorial Type Logic -- Chasing Diagrams in Cryptography -- The Monotone Lambek Calculus Is NP-Complete -- A Mathematical Analysis of Masaccio’s Trinity -- Conjoin ability in 1-Discontinuous Lambek Calculus -- The Hidden Structural Rules of the Discontinuous Lambek Calculus. |
| Record Nr. | UNISA-996203614303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Categories and Types in Logic, Language, and Physics : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday / / edited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
| Categories and Types in Logic, Language, and Physics : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday / / edited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 421 p. 61 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Computers—History Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming History of Computing Computer Science |
| ISBN | 3-642-54789-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semantic Unification: A Sheaf Theoretic Approach to Natural Language -- On Residuation -- Type Similarity for the Lambek-Grishin Calculus Revisited -- NP-Completeness of Grammars Based Upon Products of Free Pregroups -- Distributional Semantics: A Montagovian View -- A Logical Basis for Quantum Evolution and Entanglement -- Learning Lambek Grammars from Proof Frames -- Multi-Sorted Residuation -- Italian Clitic Patterns in Pregroup Grammar: State of the Art -- On Associative Lambek Calculus Extended with Basic Proper Axioms -- Classical Structures Based on Unitaries -- Initial Algebras of Terms with Binding and Algebraic Structure -- Abstract Tensor Systems as Monoidal Categories -- On Canonical Embeddings of Residuated Groupoids -- L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents -- A Note on Multidimensional Dyck Languages -- Extended Lambek Calculi and First-Order Linear Logic -- A Categorial Type Logic -- Chasing Diagrams in Cryptography -- The Monotone Lambek Calculus Is NP-Complete -- A Mathematical Analysis of Masaccio’s Trinity -- Conjoin ability in 1-Discontinuous Lambek Calculus -- The Hidden Structural Rules of the Discontinuous Lambek Calculus. |
| Record Nr. | UNINA-9910484856503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Causality for Artificial Intelligence : From a Philosophical Perspective / / by Jordi Vallverdú
| Causality for Artificial Intelligence : From a Philosophical Perspective / / by Jordi Vallverdú |
| Autore | Vallverdú Jordi |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (110 pages) |
| Disciplina | 006.3 |
| Soggetto topico |
Artificial intelligence
Science - Philosophy Machine learning Cognitive neuroscience Computers - History Artificial Intelligence Philosophy of Science Machine Learning Cognitive Neuroscience Statistical Learning History of Computing |
| ISBN |
9789819731879
9789819731862 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Ground Zone: Definitions and Concepts about Causality -- Chapter 2. Causality and Artificial Intelligence -- Chapter 3. How Causality Works in non-Human Minds -- Chapter 4. Do Humans Think Causally, and How? Chapter 5. Pitfalls and Triumphs of Causal AI -- Chapter 6. Generative AI and Causality -- Chapter 7. Counterfactual Thinking for Machines -- Chapter 8. Defining and Debating Algorithmic Causality -- Chapter 9. Open Paradoxes: Retrocausality -- Chapter 10. My Kingdom for a Causal Algorithm. |
| Record Nr. | UNINA-9910869181103321 |
|
Vallverdú Jordi
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Code Breaking in the Pacific / / by Peter Donovan, John Mack
| Code Breaking in the Pacific / / by Peter Donovan, John Mack |
| Autore | Donovan Peter |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (397 p.) |
| Disciplina | 003.54 |
| Soggetto topico |
Data structures (Computer science)
Data encryption (Computer science) Coding theory Information theory Computer science - Mathematics Computers Computer security Data Structures and Information Theory Cryptology Coding and Information Theory Math Applications in Computer Science History of Computing Systems and Data Security |
| ISBN | 3-319-08278-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Communications and Sigint -- Japanese Expansion 1895-1941 -- The GCCS 1919-1941 -- William Friedman and the US Army -- Early American Naval Sigint -- Developments in Australia -- Preparedness for Attack?- Major Technical Encryption Systems -- JN-25 and its Cryptanalysis -- Using Common Book Groups -- Recovery of a Code Book -- Breaking Additive Systems -- Making Additive Systems Secure -- Redundant Encryption -- The Scanning Distribution -- Ciphers and the Submarines -- Central Bureau 1942-1945 -- Organisation and Reorganisation -- Security, Censorship and Leaks -- Conclusion -- From Pearl Harbor to Midway -- Guadalcanal and Papua -- Rabaul and the Philippines. |
| Record Nr. | UNINA-9910298979003321 |
|
Donovan Peter
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
History of Computing
(72)
- Computers (48)
- Computers - History (20)
- History (19)
- Computer science (14)