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 Deduction -- CADE-23 [[electronic resource] ] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings / / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans
| Automated Deduction -- CADE-23 [[electronic resource] ] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings / / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIII, 508 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Software engineering Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering |
| ISBN | 3-642-22438-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465476903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
FM 2015: Formal Methods [[electronic resource] ] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / / edited by Nikolaj Bjørner, Frank de Boer
| FM 2015: Formal Methods [[electronic resource] ] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / / edited by Nikolaj Bjørner, Frank de Boer |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVI, 610 p. 156 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Computer logic Management information systems Computer science Computers Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Management of Computing and Information Systems Computation by Abstract Devices |
| ISBN | 3-319-19249-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains. |
| Record Nr. | UNINA-9910483074103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
FM 2015: Formal Methods [[electronic resource] ] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / / edited by Nikolaj Bjørner, Frank de Boer
| FM 2015: Formal Methods [[electronic resource] ] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / / edited by Nikolaj Bjørner, Frank de Boer |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVI, 610 p. 156 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Computer logic Management information systems Computer science Computers Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Management of Computing and Information Systems Computation by Abstract Devices |
| ISBN | 3-319-19249-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains. |
| Record Nr. | UNISA-996200020603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic for Programming, Artificial Intelligence, and Reasoning [[electronic resource] ] : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings / / edited by Nikolaj Bjørner, Andrei Voronkov
| Logic for Programming, Artificial Intelligence, and Reasoning [[electronic resource] ] : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings / / edited by Nikolaj Bjørner, Andrei Voronkov |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XI, 446 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Artificial intelligence Computer science Machine theory Computer programming Compilers (Computer programs) Software Engineering Artificial Intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Programming Techniques Compilers and Interpreters |
| ISBN | 3-642-28717-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466261903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Perspectives of System Informatics [[electronic resource] ] : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers / / edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
| Perspectives of System Informatics [[electronic resource] ] : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers / / edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (279 pages) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer networks Computers, Special purpose Machine theory Computer programming Logic programming Computer Science Logic and Foundations of Programming Computer Communication Networks Special Purpose and Application-Based Systems Formal Languages and Automata Theory Programming Techniques Logic in AI |
| ISBN | 3-030-37487-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mathematics of Computing -- Information Systems -- Formal Languages -- Automata Theory -- Algebraic Language Theory -- Logic -- Semantics and Reasoning -- Architectures -- Parallel Architectures -- Software and its engineering -- Document management and text processing. . |
| Record Nr. | UNISA-996466188603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Perspectives of System Informatics [[electronic resource] ] : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers / / edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
| Perspectives of System Informatics [[electronic resource] ] : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers / / edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (279 pages) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer networks Computers, Special purpose Machine theory Computer programming Logic programming Computer Science Logic and Foundations of Programming Computer Communication Networks Special Purpose and Application-Based Systems Formal Languages and Automata Theory Programming Techniques Logic in AI |
| ISBN | 3-030-37487-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mathematics of Computing -- Information Systems -- Formal Languages -- Automata Theory -- Algebraic Language Theory -- Logic -- Semantics and Reasoning -- Architectures -- Parallel Architectures -- Software and its engineering -- Document management and text processing. . |
| Record Nr. | UNINA-9910364954303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||