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.
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 | ||
| ||
Cybernetic Government : Informationstechnologie und Regierungsrationalität von 1943-1970 / / von Benjamin Seibel
| Cybernetic Government : Informationstechnologie und Regierungsrationalität von 1943-1970 / / von Benjamin Seibel |
| Autore | Seibel Benjamin |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer VS, , 2016 |
| Descrizione fisica | 1 online resource (278 p.) |
| Disciplina | 100 |
| Collana | Frankfurter Beiträge zur Soziologie und Sozialpsychologie |
| Soggetto topico |
Technology—Philosophy
Computers—History Knowledge, Sociology of Technology History Philosophy of Technology History of Computing Sociology of Knowledge and Discourse History of Technology |
| ISBN | 3-658-12490-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Politische Technologien -- Kybernetik als Dispositiv -- Bedeutungslose Botschaften -- Entscheidungsprobleme -- Regeln und regeln lassen. . |
| Record Nr. | UNINA-9910483413603321 |
Seibel Benjamin
|
||
| Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer VS, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dependable and Historic Computing [[electronic resource] ] : Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday / / edited by Cliff B. Jones, John L. Lloyd
| Dependable and Historic Computing [[electronic resource] ] : Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday / / edited by Cliff B. Jones, John L. Lloyd |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XII, 523 p. 137 illus., 60 illus. in color.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computers—History
Operating systems (Computers) Data protection Microprogramming Software engineering Compilers (Computer programs) History of Computing Operating Systems Data and Information Security Control Structures and Microprogramming Software Engineering Compilers and Interpreters |
| ISBN | 3-642-24541-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part A: Biographical -- What I Learned from Brian (Hermann Kopetz) -- Brian Randell: A Biographical Note (John L. Lloyd and Tom Anderson) -- Part B: Conference Papers -- On Building a Referee’s Avatar (Algirdas Avizienis) -- From Theory to Practice: The Invention of Programming, 1947-51 (Martin Campbell-Kelly) -- Transactions: From Local Atomicity to Atomicity in the Cloud (David Lomet) -- From DSS to MILS (John Rushby) -- Pre-electronic Computing (Doron Swade) -- Whetstone Wanderings (Brian Wichmann) -- Part C: Contributed Papers -- Using Real-Time Road Traffic Data to Evaluate Congestion (Jean Bacon, Andrei Iu. Bejan, Alastair R. Beresford, David Evans, Richard J. Gibbens, and Ken Moody) -- Fault Tolerant Autonomic Computing Systems in a Chemical Setting (Jean-Pierre Banatre, Christine Morin, and Thierry Priol) -- Out of a Closet: The Early Years of the Computer Museum (Gordon Bell) -- Timing Faults and Mixed Criticality Systems (Alan Burns and Sanjoy Baruah) -- Professor Brian Randell and the History of Computing (Paul E. Ceruzzi) -- Computer Storage Fragmentation: Pioneering Work of Brian Randell (Ed Coffman) -- IBM-ACS: Reminiscences and Lessons Learned from a 1960’s Supercomputer Project (Lynn Conway) -- The Belgian Electronic Mathematical Machine (1951-1962): An Account (Pierre-Jacques Courtois) -- On the Resilience of the Dependability Framework to the Intrusion of New Security Threats (Marc Dacier) -- Virtual Fault Tolerance (Peter J. Denning) -- Recovery Blocks (Tony Hoare) -- The Development and Writing of “Process Structuring” (J.J. Horning) -- A Tolerant Approach to Faults (Michael Jackson) -- Causality in Structured Occurrence Nets (Jetty Kleijn and Maciej Koutny) -- Diversity (John C. Knight) -- Swords and Ploughshares: Connections between Computer Projects for War and Peace, 1945–55 (Simon Lavington) -- The Evolution of the Arjuna Transaction Processing System (M.C. Little and S.K. Shrivastava) -- Making Experiments Dependable (Roy Maxion) -- Wallpaper Maps (M. Douglas McIlroy) -- Incremental Design: Programming with Holes and Evolvers (Ron Morrison, Dharini Balasubramaniam, and Brian Warboys) -- Carrying Goals to Newcastle: A Tribute to Brian Randell (Peter G. Neumann) -- Distributed Computing in the 21st Century: Some Aspects of Cloud Computing (Fabio Panzieri, Ozalp Babaoglu, Stefano Ferretti, Vittorio Ghini, and Moreno Marzolla) -- Software Engineering: Multi-person Development of Multi-version Programs (David Lorge Parnas) -- Tolerance of Design Faults (David Powell, Jean Arlat, Yves Deswarte, and Karama Kanoun) -- On the Implementation of Concurrent Objects (Michel Raynal) -- Beyond Traces and Independence (Fred B. Schneider) -- Socio-technical Complex Systems of Systems: Can We Justifiably Trust Their Resilience? (Luca Simoncini) -- Safety, Security and Dependability in Crowd Computing (W_ladys_law M. Turski) -- Achieving Dependability in Service-Oriented Systems (Jie Xu). |
| Record Nr. | UNISA-996465873603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Gambler and the Scholars [[electronic resource] ] : Herbert Yardley, William & Elizebeth Friedman, and the Birth of Modern American Cryptology / / by John F. Dooley
| The Gambler and the Scholars [[electronic resource] ] : Herbert Yardley, William & Elizebeth Friedman, and the Birth of Modern American Cryptology / / by John F. Dooley |
| Autore | Dooley John F |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (XIII, 332 p. 1 illus.) |
| Disciplina | 004.09 |
| Collana | History of Computing |
| Soggetto topico |
Computers—History
Cryptography Data encryption (Computer science) Data protection History of Computing Cryptology Data and Information Security |
| ISBN | 3-031-28318-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Beginnings – Herbert Yardley -- 3. Beginnings – William Friedman and Elizebeth Smith -- 4. The Great War – Meetings -- 5. Wars End -- 6. What Might Have Been -- 7. The Cipher Bureau: Early Days -- 8. The Lone Cryptologists: Escape from Riverbank -- 9. The Cipher Bureau: Success and Decline -- 10. The Lone Cryptologists: Washington Life -- 11. Cryptologic Endings and Beginnings -- 12. The American Black Chamber -- 13. A Pretty Young Woman in a Pink Dress -- 14. One Career After Another -- 15. Red and Purple -- 16. Yardley Abroad -- 17. The Friedmans at War – William -- 18. The Friedmans at War – Elizebeth -- 19. Yardley’s War -- 20. Endings -- 21. Memories of Friedman and Yardley -- Appendix - A Few Words of Cryptology -- Bibliography -- Photo and Illustration Credits. |
| Record Nr. | UNISA-996546830603316 |
|
Dooley John F
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Membrane Computing [[electronic resource] ] : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers / / edited by Erzsebet Csuhaj-Varju, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil
| Membrane Computing [[electronic resource] ] : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers / / edited by Erzsebet Csuhaj-Varju, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 425 p. 104 illus.) |
| Disciplina | 006.3/842 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Software engineering Computers—History Image processing—Digital techniques Computer vision Theory of Computation Software Engineering History of Computing Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-642-36751-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- (Tissue) P Systems with Decaying Objects -- Alan Turing and John von Neumann - Their Brains and Their Computers -- Turing’s Three Pioneering Initiatives and Their Interplays -- An Outline of MP Modeling Framework -- Turing Computability and Membrane Computing -- Membrane Systems and Hypercomputation -- Regular Papers -- Case-Study on the Influence of Noise to Log-Gain Principles for Flux Dynamic Discovery -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems Characterize NFIN and coNFIN -- Sequential P Systems with Regular Control -- Mobile Membranes with Objects on Surface as Colored Petri Nets -- On Structures and Behaviors of Spiking Neural P Systems and Petri Nets -- 2D P Colonies -- Fast Distributed DFS Solutions for Edge-Disjoint Paths in Digraphs -- A New Approach for Solving SAT by P Systems with Active Membranes -- Maintenance of Chronobiological Information by P System Mediated Assembly of Control Units for Oscillatory Waveforms and Frequency -- Spiking Neural P Systems with Functional Astrocytes -- The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment -- DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution -- Membranes with Boundaries -- On Efficient Algorithms for SAT -- Multigraphical Membrane Systems Revisited -- An Analysis of Correlative and Static Causality in P Systems -- Sublinear-Space P Systems with Active Membranes -- Modelling Ecological Systems with the Calculus of Wrapped Compartments -- Observer/Interpreter P Systems -- Limits of the Power of Tissue P Systems with Cell Division -- Fast Hardware Implementations of P Systems. |
| Record Nr. | UNISA-996465972203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tales of Electrologica : Computers, Software and People / / edited by Gerard Alberts, Jan Friso Groote
| Tales of Electrologica : Computers, Software and People / / edited by Gerard Alberts, Jan Friso Groote |
| Autore | Alberts G (Gerard), <1954-> |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (205 pages) |
| Disciplina |
338.470040973
338.7610040922 |
| Collana | History of Computing |
| Soggetto topico |
Computers—History
Computer industry Computers Software engineering Indústria informàtica Història de la informàtica History of Computing The Computer Industry Computer Hardware Software Engineering |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031130335
3031130332 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Electrologica, A Gem (Gerard Alberts) -- Chapter 2. Philips and the Fate of Electrologica (Gerard Alberts) -- Chapter 3. From the X1 to the X8 (Huub de Beer) -- Chapter 4. Software Without Memory (Paul Klint) -- Chapter 5. The Mathematical Center, ALGOL 60 and the Electrologica X8 (Frans Kruseman Aretz) -- Chapter 6. History of Dekker’s Algorithm for Mutual Exclusion (Dirk Dekker) -- Chapter 7. The Electrologica X8 and the BOL Detector (René van Dantzig) -- Chapter 8. An Early Experiment in Algorithmic Composition (Lambert Meertens). |
| Record Nr. | UNINA-9910640380003321 |
|
Alberts G (Gerard), <1954->
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
