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.
Models, Mindsets, Meta: The What, the How, and the Why Not? [[electronic resource] ] : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / / edited by Tiziana Margaria, Susanne Graf, Kim G. Larsen
| Models, Mindsets, Meta: The What, the How, and the Why Not? [[electronic resource] ] : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / / edited by Tiziana Margaria, Susanne Graf, Kim G. Larsen |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 431 p. 787 illus., 52 illus. in color.) |
| Disciplina | 004.01 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Machine theory Algorithms Models of Computation Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-030-22348-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Kiel 1983-87 -- Edinburgh 1987-89 -- Aarhus 1989-90 -- Aachen 1990-93 -- Passau 1993-97 -- Dortmund 1997 – Today. |
| Record Nr. | UNISA-996465614703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / / edited by Tiziana Margaria, Susanne Graf, Kim G. Larsen
| Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / / edited by Tiziana Margaria, Susanne Graf, Kim G. Larsen |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 431 p. 787 illus., 52 illus. in color.) |
| Disciplina |
004.01
005.743 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Machine theory Algorithms Models of Computation Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-030-22348-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Kiel 1983-87 -- Edinburgh 1987-89 -- Aarhus 1989-90 -- Aachen 1990-93 -- Passau 1993-97 -- Dortmund 1997 – Today. |
| Record Nr. | UNINA-9910337857803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nozioni di informatica per esami e concorsi : teoria e test / Fabiana Cardoni, Antonio Albanese
| Nozioni di informatica per esami e concorsi : teoria e test / Fabiana Cardoni, Antonio Albanese |
| Autore | Cardoni, Fabiana |
| Pubbl/distr/stampa | Napoli : Edizioni Simone, c1997 |
| Descrizione fisica | 176 p. ; 24 cm |
| Disciplina | 004.01 |
| Altri autori (Persone) | Albanese, Antonio |
| Collana | Simone |
| Soggetto non controllato |
Informatica
Informatica di base |
| ISBN | 88-244-2209-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990002869940403321 |
Cardoni, Fabiana
|
||
| Napoli : Edizioni Simone, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk
| Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk |
| Autore | Girault, Claude |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 2010 |
| Descrizione fisica | XVI, 607 p. : ill. ; 24 cm |
| Disciplina |
004.01
004.0151 |
| Altri autori (Persone) | Valk, Rüdiger |
| Soggetto topico |
Informatica - Metodi matematici
Reti di Petri |
| ISBN | 9783642074479 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0512982 |
|
Girault, Claude
|
||
| Berlin [etc.], : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Philosophy of Computing : Themes from IACAP 2019 / / edited by Björn Lundgren, Nancy Abigail Nuñez Hernández
| Philosophy of Computing : Themes from IACAP 2019 / / edited by Björn Lundgren, Nancy Abigail Nuñez Hernández |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (264 pages) |
| Disciplina |
005.7
004.01 |
| Collana | Philosophical Studies Series |
| Soggetto topico |
Technology - Philosophy
Computer science Philosophy of Technology Theory of Computation |
| Soggetto non controllato | Mathematics |
| ISBN | 3-030-75267-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Distributed computation and epistemic logic -- 1. “You will never know”: The topology of surprise, Alexandru Baltag -- 2. Distributed computing, epistemic logic and topology, Sergio Rajsbaum -- 3. Distributed Computing with Bounded Rational Agents, Armando Castañeda -- 4. Topological Models of Group Knowledge, Aldo Iván Ramírez-Abarca -- 5. Logic and Computation of Social Behavior, Sonja Smets -- 6. Stratified evidence logic, David Fernández-Duque -- 7. Reliability-based preference dynamics, Fernando Velázquez-Quesada -- 8. A Dynamic Logic for Learning Theory, Ana Lucia Vargas-Sandoval -- 9. Engineering distributed systems: how efficient is a computational model?, Alice -- Martin and Mathieu Magnaudet -- 10. Some phenomenological considerations in computational modeling of analogy, -- Eduardo García-Mendiola -- 11. Underdetermination after Computation, Don Berkich -- Philosophy of science and computation -- 1. Epistemology of Computer Simulations, Juan M. Duran -- 2. Inappropriate Notions of 'Theory' and their Practical Consequences in the Discipline -- of Software 'Engineering', Stefan Gruner -- 3. Mathematical Explanation and the Problem of Counterpossibles, Erlantz Etxeberria -- 4. Meta-Abduction. Inference to the Best Prediction, Christian J. Feldbacher Escamilla -- 5. Causal judgments and model implementation, Tomasz Wysocki -- 6. The Epiphenomenal Puzzle and the Formal Conception of Computational Dynamics, -- Mauricio Eduardo Bieletto Bueno -- 7. On the Conciliation of Traditional and Computer-Assisted Proofs, Lourdes Del -- Carmen González Huesca and Favio Ezequiel Miranda Perea -- 8. How Artificial is Data?, Robin Hill -- 9. On Computer Simulations, with particular Regard to their Application in -- Contemporary Astrophysics: some SciencePhilosophical Considerations, Stefan -- Gruner and Matthias Bartelmann -- 10. Lighthill's Anti Formalist Falsification of AI in Philosophical Context, Steven Meyer -- 11. Implementing algorithmic and computational design in philosophical pedagogy, -- Rocco Gangle -- 12. Is there anything special about the type of defectiveness involved in Big Data?: Some -- reflections on ignorance and Astrophysics, Maria Del Rosario Martinez Ordaz -- 13. The birth of Evil Genius, Mauricio Algalan-Meneses -- Computation and cognition -- 1. Integrating computation into the mechanistic hierarchy in the cognitive and neural -- science, Oron Shagrir and Lotem ElberDorozko -- 2. Types, Tokens and Turing Tests, Paul Schweizer -- 3. Fixed-parameter tractability of cognitive capacities and the usefulness of deductive -- reasoning, Nancy Abigail Nuñez Hernández -- 4. Boundedly Rational Concept Formation, David Abel and Mark Ho -- 5. Inferential Knowledge and Knowledge Representation, Yves Bouchard -- 6. Logic and Heuristics in Cognitive Psychology and Computational Sciences: Friends -- or Enemies?, Karen Gonzalez-Fernandez -- Ethical themes on artificial intelligence and robotics -- 1. Our Technology Fetish, John Weckert -- 2. AI-Driven Behavior Change and the Parameters of Ethical Permissibility, Fiona -- McEvoy -- 3. Self-driving Cars: An Ethical Overview, Björn Lundgren -- 4. Machiavellian Machines: Glitching AI, Steve T. McKinlay -- 5. Artificial Intelligence, Transparency, and Public Decision-Making - Why we should -- opt for explaining AI assistants, Karl de Fine Licht and Jenny de Fine Licht -- 6. Predictive Fairness, Anders Herlitz -- 7. Misdirection in Robot Teams: Methods and Ethical Considerations, Ronald Arkin -- 8. Creating Moral Ideals in AI through Buddhist Principles, Angelica Fleury -- 9. Kantian one day, Consequentialist the next: Moral emotions as mediators between -- ethical frameworks for robots, Alan Wagner, Jason Borenstein and Ronald Arkin -- 10. The Aristotelian Robot, Eduardo Mendieta and Alan Wagner -- 11. Castigation by Robot: Should Robots be Allowed to Punish Us?, Himavath Jois and -- Alan Wagner -- 12. Ethics and New Epistemology of Artificial Intelligence and Big Data, Ricardo Vigueras. |
| Record Nr. | UNINA-9910568259803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Probability and statistics for computer science / James L. Johnson
| Probability and statistics for computer science / James L. Johnson |
| Autore | Johnson, James Lee <1942- > |
| Pubbl/distr/stampa | Hoboken, : Wiley Interscience, c2008 |
| Descrizione fisica | XVI, 744 p. ; 24 cm. |
| Disciplina |
004.01
004.0151 |
| Soggetto topico |
Informatica - Metodi matematici
Probabilità Statistica - Metodi matematici |
| ISBN | 9780470383421 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UBO3562947 |
|
Johnson, James Lee <1942- >
|
||
| Hoboken, : Wiley Interscience, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Probability with R : an introduction with computer science applications / Jane M. Horgan
| Probability with R : an introduction with computer science applications / Jane M. Horgan |
| Autore | Horgan, Jane M. <1947- > |
| Pubbl/distr/stampa | Hoboken (N.J.), : Wiley, 2009 |
| Descrizione fisica | XVIII, 393 p. ; 25 cm |
| Disciplina |
004.01
004.015113 |
| Soggetto topico |
Informatica - Metodi matematici
Probabilità Microelaboratori elettronici - Programmazione - Linguaggio R |
| ISBN | 9780470280737 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNISANNIO-USM1830987 |
|
Horgan, Jane M. <1947- >
|
||
| Hoboken (N.J.), : Wiley, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Proceedings / / Symposium on Computer Arithmetic
| Proceedings / / Symposium on Computer Arithmetic |
| Pubbl/distr/stampa | [New York, N.Y.] : , : [IEEE Computer Society], , [1978]- |
| Disciplina |
004.01
004/.01/51 |
| Soggetto topico |
Computer arithmetic
Computer programming Floating-point arithmetic Computer arithmetic and logic units |
| Soggetto genere / forma | Conference papers and proceedings. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280409903316 |
| [New York, N.Y.] : , : [IEEE Computer Society], , [1978]- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings / / Symposium on Computer Arithmetic
| Proceedings / / Symposium on Computer Arithmetic |
| Pubbl/distr/stampa | [New York, N.Y.] : , : [IEEE Computer Society], , [1978]- |
| Disciplina |
004.01
004/.01/51 |
| Soggetto topico |
Computer arithmetic
Computer programming Floating-point arithmetic Computer arithmetic and logic units |
| Soggetto genere / forma | Conference papers and proceedings. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910626178703321 |
| [New York, N.Y.] : , : [IEEE Computer Society], , [1978]- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Randomized algorithms / Rajeev Motwani, Prabhakar Raghavan
| Randomized algorithms / Rajeev Motwani, Prabhakar Raghavan |
| Autore | Motwani, Rajeev |
| Pubbl/distr/stampa | Cambridge : Cambridge University press, Copyr. 1995 |
| Descrizione fisica | XIV, 476 p. : ill. ; 28 cm |
| Disciplina | 004.01 |
| Altri autori (Persone) | Raghavan, Prabhakar |
| Soggetto topico |
Processi stocastici Elaborazione dei dati
Algoritmi |
| ISBN | 0-521-47465-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001245000203316 |
|
Motwani, Rajeev
|
||
| Cambridge : Cambridge University press, Copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
