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 Programming Language Ada. Reference Manual [[electronic resource] ] : American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983 / / by David Hutchison, Takeo Kanade, Josef Kittler, Jon Kleinberg, Alfred Kobsa, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar M. Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Sudan Madhu, Demetri Terzopoulos, J. Doug Tygar, Gerhard Weikum
| The Programming Language Ada. Reference Manual [[electronic resource] ] : American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983 / / by David Hutchison, Takeo Kanade, Josef Kittler, Jon Kleinberg, Alfred Kobsa, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar M. Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Sudan Madhu, Demetri Terzopoulos, J. Doug Tygar, Gerhard Weikum |
| Autore | Hutchison David |
| Edizione | [1st ed. 1983.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1983 |
| Descrizione fisica | 1 online resource (IX, 333 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-46841-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lexical elements -- Declarations and types -- Names and expressions -- Statements -- Subprograms -- Packages -- Visibility rules -- Tasks -- Program structure and compilation issues -- Exceptions -- Generic units -- Representation clauses and implementation-dependent features -- Input-output. |
| Record Nr. | UNISA-996466335303316 |
Hutchison David
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quantum interaction : Third International Symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings / / Peter Bruza ... [et al.] (eds.)
| Quantum interaction : Third International Symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings / / Peter Bruza ... [et al.] (eds.) |
| Autore | Hutchison David |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (IX, 315 p.) |
| Disciplina | 539.72 |
| Altri autori (Persone) | BruzaPeter |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Artificial intelligence
Computer science Computer software Electronic data processing Information theory |
| ISBN | 3-642-00834-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorial -- to Quantum Probability for Social and Behavioral Scientists -- Invited Talk -- Revealing Quantum Entanglement via Locally Noneffective Operations -- Foundations -- Fractals and the Fock-Bargmann Representation of Coherent States -- Generalising Unitary Time Evolution -- Comparison of Quantum and Bayesian Inference Models -- Quantum-Like Representation of Macroscopic Configurations -- Quantum Cognition -- Experimental Evidence for Quantum Structure in Cognition -- Extracting Spooky-Activation-at-a-Distance from Considerations of Entanglement -- Quantum Amplitude Amplification Algorithm: An Explanation of Availability Bias -- Quantum Coherence without Quantum Mechanics in Modeling the Unity of Consciousness -- Quantum Mechanics and Decision Theory -- An Exploration of Type Indeterminacy in Strategic Decision-Making -- Classical Logical Versus Quantum Conceptual Thought: Examples in Economics, Decision Theory and Concept Theory -- Quantum Mechanics and Computation -- Quantum and Classical Structures in Nondeterminstic Computation -- A Symbolic Classical Computer Language for Simulation of Quantum Algorithms -- Quantum Theory, the Chinese Room Argument and the Symbol Grounding Problem -- Quantum Mechanics and Social Interaction -- Conservation of Information: A New Approach to Organizing Human-Machine-Robotic Agents under Uncertainty -- On Voting Process and Quantum Mechanics -- Nonseparability of Shared Intentionality -- Quantum Mechanics and Semantic Space -- Semantic Spaces: Measuring the Distance between Different Subspaces -- Characterizing Pure High-Order Entanglements in Lexical Semantic Spaces via Information Geometry -- Semantic Vector Combinations and the Synoptic Gospels -- Quantum Mechanics and Information Retrieval -- Eraser Lattices and Semantic Contents -- Beyond Ontology in Information Systems -- Structured Information Retrieval and Quantum Theory -- Quantum Mechanics and Economics -- Hilbert Space Models Commodity Exchanges -- Quantum Calculus (q-Calculus) and Option Pricing: A Brief Introduction. |
| Record Nr. | UNINA-9910483630103321 |
|
Hutchison David
|
||
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||