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.
Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors
| Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2016 |
| Descrizione fisica | XIV, 276 p. : ill. ; 24 cm |
| Soggetto topico |
03C80 - Logic with extra quantifiers and operators [MSC 2020]
03B16 - Higher-order logic [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03B38 - Type theory [MSC 2020] |
| Soggetto non controllato |
Dependence Atoms
Dependence Logic Dependencies in Databases Independence Logic Inquisitive Logic Social Choice Theorem Theory of Secret-Sharing |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114602 |
| [Cham], : Birkhäuser, : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors
| Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2016 |
| Descrizione fisica | XIV, 276 p. : ill. ; 24 cm |
| Soggetto topico |
03B16 - Higher-order logic [MSC 2020]
03B38 - Type theory [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03C80 - Logic with extra quantifiers and operators [MSC 2020] |
| Soggetto non controllato |
Dependence Atoms
Dependence Logic Dependencies in Databases Independence Logic Inquisitive Logic Social Choice Theorem Theory of Secret-Sharing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00114602 |
| [Cham], : Birkhäuser, : Springer, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors
| Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors |
| Edizione | [[Cham] : Birkhäuser : Springer, 2016] |
| Pubbl/distr/stampa | XIV, 276 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
03C80 - Logic with extra quantifiers and operators [MSC 2020]
03B16 - Higher-order logic [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 03B38 - Type theory [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0114602 |
| XIV, 276 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Features and fluents : the representation of knowledge about dynamical systems 1. / Erik Sandewall
| Features and fluents : the representation of knowledge about dynamical systems 1. / Erik Sandewall |
| Autore | Sandewall, Erik |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1994 |
| Descrizione fisica | xvii, 328 p. : ill. ; 24 cm. |
| Soggetto topico |
68T30 - Knowledge representation [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68Q55 - Semantics in the theory of computing [MSC 2020] 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] |
| ISBN | 01-985384-5-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0063393 |
Sandewall, Erik
|
||
| Oxford, : Clarendon, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors
| From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiv, 293 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00B30 - Festschriften [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] 68M25 - Computer security [MSC 2020] |
| Soggetto non controllato |
Abstract Interpretation
Cyber Security Cyber-hygiene Data Privacy Finite State Machines Game Theory Healthcare Internet of Things Lambda calculus Logic Markov Processes Optimization Probabilistic computation Process calculi Program Analysis Program semantics Program verification Slicing Type theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249184 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors
| From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiv, 293 p. : ill. ; 24 cm |
| Soggetto topico |
00B30 - Festschriften [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68-XX - Computer science [MSC 2020] 68M25 - Computer security [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] |
| Soggetto non controllato |
Abstract Interpretation
Cyber Security Cyber-Hygiene Data Privacy Finite State Machines Game Theory Healthcare Internet of Things Lambda calculus Logic Markov Processes Optimization Probabilistic computation Process calculi Program Analysis Program Semantics Program verification Slicing Type theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00249184 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
| Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan |
| Autore | Huth, Michael R. A. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cambridge, : Cambridge University, 2004 [stampa 2018] |
| Descrizione fisica | xiv, 427 p. ; 25 cm |
| Altri autori (Persone) | Ryan, Mark D. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68-XX - Computer science [MSC 2020] 68Q55 - Semantics in the theory of computing [MSC 2020] 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] 68T27 - Logic in artificial intelligence [MSC 2020] |
| Soggetto non controllato |
Binary Decision Diagrams
Boolean Functions Contract-Programming Paradigm Data Structures Logic of knowledge Modal Logic Model Checking Multiagent systems Natural deduction Object modeling Predicate logic Program verification Propositional logic |
| ISBN | 978-05-215-4310-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00309866 |
|
Huth, Michael R. A.
|
||
| Cambridge, : Cambridge University, 2004 [stampa 2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logica e computer / Morton L. Schagrin, William J. Rapaport, Randall R. Dipert
| Logica e computer / Morton L. Schagrin, William J. Rapaport, Randall R. Dipert |
| Autore | Schagrin, Morton L. |
| Pubbl/distr/stampa | Milano, : McGraw-Hill Libri, 1986 |
| Descrizione fisica | 379 p. ; 21 cm |
| Altri autori (Persone) |
Dipert, Randall R.
Rapaport, William J. |
| Soggetto topico |
68N17 - Logic programming [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68Q55 - Semantics in the theory of computing [MSC 2020] |
| ISBN | 978-88-386-0605-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0051440 |
|
Schagrin, Morton L.
|
||
| Milano, : McGraw-Hill Libri, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logica e computer / Morton L. Schagrin, William J. Rapaport, Randall R. Dipert
| Logica e computer / Morton L. Schagrin, William J. Rapaport, Randall R. Dipert |
| Autore | Schagrin, Morton L. |
| Pubbl/distr/stampa | Milano, : McGraw-Hill Libri, 1986 |
| Descrizione fisica | 379 p. ; 21 cm |
| Altri autori (Persone) |
Dipert, Randall R.
Rapaport, William J. |
| Soggetto topico |
03B70 - Logic in computer science [MSC 2020]
68N17 - Logic programming [MSC 2020] 68Q55 - Semantics in the theory of computing [MSC 2020] |
| ISBN | 978-88-386-0605-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00051440 |
|
Schagrin, Morton L.
|
||
| Milano, : McGraw-Hill Libri, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logica e computer / Morton L. Schagrin, William J. Rapaport, Randall R. Dipert
| Logica e computer / Morton L. Schagrin, William J. Rapaport, Randall R. Dipert |
| Autore | Schagrin, Morton L. |
| Edizione | [Milano : McGraw-Hill Libri, 1986] |
| Descrizione fisica | Tit. orig.: Logic : a Computer Approach. |
| Altri autori (Persone) |
Rapaport, William J.
Dipert, Randall R. |
| Soggetto topico |
68N17 - Logic programming [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68Q55 - Semantics in the theory of computing [MSC 2020] |
| ISBN | 978-88-386-0605-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-SUN0051440 |
|
Schagrin, Morton L.
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
03B70 - Logic in computer science [MSC 2020]
(25)
- 03-XX - Mathematical logic and foundations [MSC 2020] (10)
- 68-XX - Computer science [MSC 2020] (8)
- 68Q55 - Semantics in the theory of computing [MSC 2020] (5)
- 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] (4)