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 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
| Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
| Autore | Platzer André |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (655 p.) |
| Altri autori (Persone) | SutcliffeGeoff |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Mathematical theory of computation Computer programming / software development Software Engineering |
| Soggetto non controllato |
Artificial Intelligence
Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming automata theory boolean functions computer programming first order logic formal languages formal logic logic programming model checking program verification semantics software architecture software design software quality software verification theorem provers theorem proving Mathematical theory of computation Computer programming / software engineering Computer architecture & logic design |
| ISBN | 3-030-79876-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Automated Deduction â CADE 28
Automated Deduction - CADE 28 |
| Record Nr. | UNISA-996464423903316 |
Platzer André
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Digital Humanities 2012 - Conference Abstracts. University of Hamburg, Germany; July 16-22, 2012
| Digital Humanities 2012 - Conference Abstracts. University of Hamburg, Germany; July 16-22, 2012 |
| Pubbl/distr/stampa | Hamburg, : Hamburg University Press, 2012 |
| Descrizione fisica | 1 online resource (580) |
| Disciplina | 005.1 |
| Soggetto topico | Computer programming / software development |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910149668503321 |
| Hamburg, : Hamburg University Press, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Digital Humanities 2012 - Conference Abstracts. University of Hamburg, Germany; July 16-22, 2012
| Digital Humanities 2012 - Conference Abstracts. University of Hamburg, Germany; July 16-22, 2012 |
| Pubbl/distr/stampa | Hamburg, : Hamburg University Press, 2012 |
| Descrizione fisica | 1 online resource (580) |
| Disciplina | 005.1 |
| Soggetto topico | Computer programming / software development |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996320154503316 |
| Hamburg, : Hamburg University Press, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Evolutionary Application Service Providing (eASP). Ein Ansatz der Softwarebereitstellung
| Evolutionary Application Service Providing (eASP). Ein Ansatz der Softwarebereitstellung |
| Autore | Jackewitz Iver |
| Pubbl/distr/stampa | Hamburg, : Hamburg University Press, 2006 |
| Descrizione fisica | 1 online resource (295) |
| Soggetto topico | Computer programming / software development |
| ISBN | 9783937816227 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Altri titoli varianti | Evolutionary Application Service Providing |
| Record Nr. | UNINA-9910149675203321 |
|
Jackewitz Iver
|
||
| Hamburg, : Hamburg University Press, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Mobile Commerce Prospects: A Strategic Analysis of Opportunities in the Banking Sector
| The Mobile Commerce Prospects: A Strategic Analysis of Opportunities in the Banking Sector |
| Autore | Tiwari Rajnish |
| Pubbl/distr/stampa | Hamburg, : Hamburg University Press, 2007 |
| Descrizione fisica | 1 online resource (233) |
| Soggetto topico | Computer programming / software development |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Altri titoli varianti | Mobile Commerce Prospects |
| Record Nr. | UNINA-9910149674403321 |
|
Tiwari Rajnish
|
||
| Hamburg, : Hamburg University Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Mobile Commerce Prospects: A Strategic Analysis of Opportunities in the Banking Sector
| The Mobile Commerce Prospects: A Strategic Analysis of Opportunities in the Banking Sector |
| Autore | Tiwari Rajnish |
| Pubbl/distr/stampa | Hamburg, : Hamburg University Press, 2007 |
| Descrizione fisica | 1 online resource (233) |
| Soggetto topico | Computer programming / software development |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Altri titoli varianti | Mobile Commerce Prospects |
| Record Nr. | UNISA-996320158303316 |
|
Tiwari Rajnish
|
||
| Hamburg, : Hamburg University Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software-Infrastruktur. Von analytischer Perspektive zu konstruktiver Orientierung
| Software-Infrastruktur. Von analytischer Perspektive zu konstruktiver Orientierung |
| Autore | Bleek Wolf G |
| Pubbl/distr/stampa | Hamburg, : Hamburg University Press, 2003 |
| Descrizione fisica | 1 online resource (320) |
| Soggetto topico | Computer programming / software development |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910149664603321 |
|
Bleek Wolf G
|
||
| Hamburg, : Hamburg University Press, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
