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.
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I / / edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt
| Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I / / edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (XVI, 482 p. 89 illus., 42 illus. in color.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Machine theory
Software engineering Artificial intelligence Computer engineering Computer networks Computer science Formal Languages and Automata Theory Software Engineering Artificial Intelligence Computer Engineering and Networks Computer Science Logic and Foundations of Programming Intel·ligència artificial Teoria de màquines Enginyeria de programari Enginyeria d'ordinadors Xarxes d'ordinadors |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031634987
3031634985 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910869155103321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II / / edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt
| Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II / / edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (XV, 424 p. 87 illus., 34 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Machine theory Computer engineering Computer networks Computer science Artificial Intelligence Software Engineering Formal Languages and Automata Theory Computer Engineering and Networks Computer Science Logic and Foundations of Programming Intel·ligència artificial Enginyeria de programari Teoria de màquines Enginyeria d'ordinadors Xarxes d'ordinadors |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031635014
3031635019 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910869164203321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamental Discrete Structures / / by V. Ravichandran, Atul Kumar Razdan
| Fundamental Discrete Structures / / by V. Ravichandran, Atul Kumar Razdan |
| Autore | Raviccantiran̲ Vikkiravāṇṭi Vi |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (1161 pages) |
| Disciplina | 511.1 |
| Altri autori (Persone) | RazdanAtul Kumar |
| Collana | University Texts in the Mathematical Sciences |
| Soggetto topico |
Discrete mathematics
Graph theory Machine theory Algebra, Universal Discrete Mathematics Applications of Discrete Mathematics Graph Theory Formal Languages and Automata Theory General Algebraic Systems Matemàtica discreta Teoria de grafs Teoria de màquines Àlgebra universal |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9789819600694
9789819600687 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mathematical Logic -- Sets and Relations -- Functions -- Methods of Proofs -- Elementary Combinatorics -- Recurrences and Generating Functions -- Graph Theory -- Algebraic Systems -- Posets, Lattices and Boolean Algebras -- Automata Theory and Formal Languages -- Some Further Applications. |
| Record Nr. | UNINA-9910984694303321 |
Raviccantiran̲ Vikkiravāṇṭi Vi
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Institution-independent Model Theory / / by Răzvan Diaconescu
| Institution-independent Model Theory / / by Răzvan Diaconescu |
| Autore | Diaconescu Răzvan |
| Edizione | [2nd ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 |
| Descrizione fisica | 1 online resource (568 pages) |
| Disciplina | 511.3 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Logic, Symbolic and mathematical
Machine theory Logic Model theory Mathematical Logic and Foundations Formal Languages and Automata Theory Model Theory Lògica Teoria de màquines Teoria de models Llenguatges formals |
| Soggetto genere / forma | Llibres electrònics. |
| ISBN | 9783031688546 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | - Introduction -- Part I Basics -- Categories -- Institutions -- Theories and Models -- Internal Logic -- Part II Advanced Topics -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Part III Extensions -- Institutions with Proofs -- Models with States -- Many-valued Truth Institutions -- Part IV Applications to Computing -- Grothendieck Institutions -- Specification -- Logic Programming. |
| Record Nr. | UNINA-9910986146103321 |
|
Diaconescu Răzvan
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic Functions and Equations [[electronic resource] ] : Fundamentals and Applications using the XBOOLE-Monitor / / by Bernd Steinbach, Christian Posthoff
| Logic Functions and Equations [[electronic resource] ] : Fundamentals and Applications using the XBOOLE-Monitor / / by Bernd Steinbach, Christian Posthoff |
| Autore | Steinbach Bernd |
| Edizione | [3rd ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (818 pages) |
| Disciplina | 511.324 |
| Soggetto topico |
Electronic circuits
Logic design Computer science - Mathematics Discrete mathematics Electronic Circuits and Systems Logic Design Discrete Mathematics in Computer Science Àlgebra de Boole Lògica matemàtica Teoria de màquines |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-88945-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index. |
| Record Nr. | UNISA-996479368403316 |
|
Steinbach Bernd
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic Functions and Equations : Fundamentals and Applications using the XBOOLE-Monitor / / by Bernd Steinbach, Christian Posthoff
| Logic Functions and Equations : Fundamentals and Applications using the XBOOLE-Monitor / / by Bernd Steinbach, Christian Posthoff |
| Autore | Steinbach Bernd |
| Edizione | [3rd ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (818 pages) |
| Disciplina |
511.324
511.3 |
| Soggetto topico |
Electronic circuits
Logic design Computer science - Mathematics Discrete mathematics Electronic Circuits and Systems Logic Design Discrete Mathematics in Computer Science Àlgebra de Boole Lògica matemàtica Teoria de màquines |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-88945-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index. |
| Record Nr. | UNINA-9910574861303321 |
|
Steinbach Bernd
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings / / edited by Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque
| Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings / / edited by Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque |
| Autore | Glässer Uwe |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (386 pages) |
| Disciplina | 511.35 |
| Altri autori (Persone) |
Creissac CamposJose
MéryDominique PalanquePhilippe |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Machine theory
Formal Languages and Automata Theory Aprenentatge automàtic Teoria de màquines |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031331633
9783031331626 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Pattern-based Refinemnt Generation Through Domain Specifi Languages -- Inductive Construction in B with the Theory Plugin -- Validation of Formal Models by Interactive Simulation -- Thread-Local, Step-Local Proof Obligations for Refnement of State-Based Concurrent Systems -- Encoding TLA+ Proof Obligations Safely for SMT -- Compositional I/O Abstract State Machines -- Crucible Tools for Test Generation and Animation of Alloy Models -- Modelling an Automotive Software System with TASTD -- TASTD a real-time extension for ASTD -- Validation by Abstraction and Refiement -- Verifying Event-B Hybrid Models using Cyclone -- Exploration of Reflectie ASMs for Security -- Standalone Event-B models analysis relying on the EB4EB meta-theory -- Adding records to Alloy -- Designing Secure Systems using Hierarchical STPA and Event-B -- Behavioural Theory of Reflectie Algorithms -- Specification in the Event-B Institution -- Verifying temporal relational models with Pardinus -- AMAN Case Study -- Analysis of a Safety-critical Interactive System through VOs -- Task Model Design and Analysis with Alloy -- Modeling and Verifying an Arrival Manager using Event-B -- Formal MVC: a Pattern for the Integration of ASM Specification in UI Development -- Exploring a methodology for formal verificatio of safety-critical systems -- Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems -- A framework for formal verificatio and validation of railway systems -- Reconstruction of TLAPS proofs solved by veriT in Lambdapi. |
| Record Nr. | UNINA-9910725089303321 |
|
Glässer Uwe
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
