Info
The Algorithmic Dimension : Five Artists in Conversation / / by Francesca Franco
| The Algorithmic Dimension : Five Artists in Conversation / / by Francesca Franco |
| Autore | Franco Francesca |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (185 pages) |
| Disciplina | 929.605 |
| Collana | Springer Series on Cultural Computing |
| Soggetto topico |
Application software
User interfaces (Computer systems) Human-computer interaction Coding theory Information theory Computers - History Computer and Information Systems Applications User Interfaces and Human Computer Interaction Coding and Information Theory History of Computing |
| ISBN |
9783319611679
9783319611662 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Acknowledgements -- Introduction -- Interview with Ernest Edmonds -- Interview with Manfred Mohr -- Interview with Vera Molnar -- Interview with Frieder Nake -- Interview with Roman Verostko -- Visual Documentation. |
| Record Nr. | UNINA-9910631095203321 |
Franco Francesca
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Attack Vectors : The History of Cybersecurity / / by Morey Haber
| Attack Vectors : The History of Cybersecurity / / by Morey Haber |
| Autore | Haber Morey |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2025 |
| Descrizione fisica | 1 online resource (306 pages) |
| Disciplina | 005.8 |
| Collana | Professional and Applied Computing Series |
| Soggetto topico |
Data protection
Data protection - Law and legislation Computers - History Data and Information Security Privacy History of Computing |
| ISBN | 9798868817090 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: The History of Attack Vectors -- Chapter 2: Business Justification -- Chapter 3: Definitions -- Chapter 4: Malware -- Chapter 5: Exploits -- Chapter 6: Breaches -- Chapter 7: Regulations -- Chapter 8: People -- Chapter 9: Syndicates -- Chapter 10: Social Engineering -- Chapter 11: Solutions -- Chapter 12: The Human Threat -- Chapter 13: Lateral Movement -- Chapter 14: Return on Investment -- Chapter 15: It’s Not If, But When -- Chapter 16: Supply Chain Attacks -- Chapter 17: Been Hacked? -- Chapter 18: History Lesson -- Chapter 19: Conclusion. |
| Record Nr. | UNINA-9911035049303321 |
|
Haber Morey
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2025 | ||
| 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 | ||
| ||