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.
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 | ||
| ||
Artificial Intelligence in Theory and Practice II : IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy / / edited by Max Bramer
| Artificial Intelligence in Theory and Practice II : IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy / / edited by Max Bramer |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | New York, NY : , : Springer US : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XVIII, 462 p.) |
| Disciplina |
535.2
537.6 |
| Altri autori (Persone) | BramerMax |
| Collana | IFIP Advances in Information and Communication Technology |
| Soggetto topico |
Artificial intelligence
Electrodynamics Computer science Computers - History Artificial Intelligence Classical Electrodynamics Theory of Computation History of Computing |
| ISBN |
9780387096957
0387096957 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agents 1 -- A Light-Weight Multi-Agent System Manages 802.11 Mesh Networks -- Decisions with multiple simultaneous goals and uncertain causal effects -- Agent Based Frequent Set Meta Mining: Introducing EMADS -- Agents 2 -- On the evaluation of MAS development tools -- Information-Based Planning and Strategies -- Teaching Autonomous Agents to Move in a Believable Manner within Virtual Institutions -- Data Mining -- Mining Fuzzy Association Rules from Composite Items -- P-Prism: A Computationally Efficient Approach to Scaling up Classification Rule Induction -- Applying Data Mining to the Study of Joseki -- A Fuzzy Semi-Supervised Support Vector Machines Approach to Hypertext Categorization -- Neural Networks -- Estimation of Neural Network Parameters for Wheat Yield Prediction -- Enhancing RBF-DDA Algorithm’s Robustness: Neural Networks Applied to Prediction of Fault-Prone Software Modules -- Learning -- A Study with Class Imbalance and Random Sampling for a Decision Tree Learning System -- Answer Extraction for Definition Questions using Information Gain and Machine Learning -- Batch Reinforcement Learning for Controlling a Mobile Wheeled Pendulum Robot -- Knowledge Management -- Optimizing Relationships Information in Repertory Grids -- Modeling Stories in the Knowledge Management Context to Improve Learning Within Organizations -- Knowledge Modeling Framework for System Engineering Projects -- Foundations -- Machines with good sense: How can computers become capable of sensible reasoning? -- Making Use of Abstract Concepts–Systemic-Functional Linguistics and Ambient Intelligence -- Making Others Believe What They Want -- Foundation for Virtual Experiments to Evaluate Thermal Conductivity of Semi- and Super-Conducting Materials -- Applications 1 -- Intelligent Systems Applied to Optimize Building’s Environments Performance -- A Comparative Analysis of One-class Structural Risk Minimization by Support Vector Machines and Nearest Neighbor Rule -- Estimation of the Particle Size Distribution of a Latex using a General Regression Neural Network -- Intelligent Advisory System for Designing Plastics Products -- Applications 2 -- Modeling the Spread of Preventable Diseases: Social Culture and Epidemiology -- An Intelligent Decision Support System for the Prompt Diagnosis of Malaria and Typhoid Fever in the Malaria Belt of Africa -- Detecting Unusual Changes of Users Consumption -- Techniques -- Optimal Subset Selection for Classification through SAT Encodings -- Multi-objective Model Predictive Optimization using Computational Intelligence -- An Intelligent Method for Edge Detection based on Nonlinear Diffusion -- Semantic Web -- A Survey of Exploiting WordNet in Ontology Matching -- Using Competitive Learning between Symbolic Rules as a Knowledge Learning Method -- Knowledge Conceptualization and Software Agent based Approach for OWL Modeling Issues -- Representation, Reasoning and Search -- Context Search Enhanced by Readability Index -- Towards an Enhanced Vector Model to Encode Textual Relations: Experiments Retrieving Information -- Efficient Two-Phase Data Reasoning for Description Logics -- Some Issues in Personalization of Intelligent Systems: An Activity Theory Approach for Meta Ontology Development -- Short Papers -- Smart communications network management through a synthesis of distributed intelligence and information -- An Abductive Multi-Agent System for Medical Services Coordination -- A New Learning Algorithm for Neural Networks with Integer Weights and Quantized Non-linear Activation Functions -- Neural Recognition of Minerals -- Bayesian Networks Optimization Based on Induction Learning Techniques -- Application of Business Intelligence for Business Process Management -- Learning Life Cycle in Autonomous Intelligent Systems -- A Map-based Integration of Ontologies into an Object-Oriented Programming Language. |
| Record Nr. | UNINA-9910485052203321 |
| New York, NY : , : Springer US : , : Imprint : Springer, , 2008 | ||
| 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 | ||
| ||
A Brief History of Computing / / by Gerard O'Regan
| A Brief History of Computing / / by Gerard O'Regan |
| Autore | O'Regan Gerard |
| Edizione | [4th ed. 2026.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
| Descrizione fisica | 1 online resource (488 pages) |
| Disciplina | 004.09 |
| Collana | Computer Science Series |
| Soggetto topico |
Computers - History
Technology History Science - History History of Computing History of Technology History of Science |
| ISBN | 3-032-04255-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- What is a Computer? -- Computing in Early Civilisations -- Foundations of Computing -- The First Digital Computers -- The First Commercial Computers -- Early Commercial Computers and the Invention of the Transistor -- Integrated Circuit and Silicon Valley -- The IBM System/360 -- Minicomputers and Later Mainframes -- The Microprocessor Revolution -- Home Computers -- The IBM Personal Computer.-History of Operating Systems -- Birth of Software Industry and Human Computer Interaction -- History of Programming Languages -- History of Software Engineering -- A Short History of Telecommunications -- The Internet Revolution -- The Smartphone and Social Media -- A Miscellany of Innovation -- History of Databases -- History of Artificial Intelligence -- Ethics and Professional Responsibility -- Legal Aspects of Computing.-Computer Crime and Cybersecurity -- Epilogue -- References -- Glossary -- Index. |
| Record Nr. | UNINA-9911049088603321 |
|
O'Regan Gerard
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 | ||
| 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 | ||
| ||
Soggetto topico
-
History of Computing
(89)
- Computers (46)
- Computers - History (42)
- History (20)
- Computer science (17)