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.
Simulation and Modeling Methodologies, Technologies and Applications : 12th International Conference, SIMULTECH 2022, Lisbon, Portugal, July 14-16, 2022, Revised Selected Papers
| Simulation and Modeling Methodologies, Technologies and Applications : 12th International Conference, SIMULTECH 2022, Lisbon, Portugal, July 14-16, 2022, Revised Selected Papers |
| Autore | Wagner Gerd |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2023 |
| Descrizione fisica | 1 online resource (232 pages) |
| Altri autori (Persone) |
WernerFrank
De RangoFloriano |
| Collana | Lecture Notes in Networks and Systems Series |
| ISBN | 3-031-43824-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910746950903321 |
Wagner Gerd
|
||
| Cham : , : Springer International Publishing AG, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Vivid Logic [[electronic resource] ] : Knowledge-Based Reasoning with Two Kinds of Negation / / by Gerd Wagner
| Vivid Logic [[electronic resource] ] : Knowledge-Based Reasoning with Two Kinds of Negation / / by Gerd Wagner |
| Autore | Wagner Gerd |
| Edizione | [1st ed. 1994.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (XIII, 155 p.) |
| Disciplina | 006.3/3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Mathematical logic Artificial Intelligence Programming Techniques Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 3-540-48288-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General introduction -- Vivid knowledge representation and reasoning -- Partiality, paraconsistency and constructivity -- Vivid reasoning on the basis of facts -- Lindenbaum-algebraic semantics of logic programs -- Logic programming with strong negation and inexact predicates -- Vivid reasoning on the basis of rules -- Further topics, open problems. |
| Record Nr. | UNISA-996466013203316 |
|
Wagner Gerd
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Web applications with JavaScript or Java . Volume 1 Constraint validation, enumerations, special datatypes / / Gerd Wagner and Mircea Diaconescu
| Web applications with JavaScript or Java . Volume 1 Constraint validation, enumerations, special datatypes / / Gerd Wagner and Mircea Diaconescu |
| Autore | Wagner Gerd |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter Odenbourg, , 2018 |
| Descrizione fisica | 1 online resource (272 pages) : illustrations, tables |
| Disciplina | 005.133 |
| Collana | De Gruyter Textbook |
| Soggetto topico |
Java (Computer program language)
Web applications JavaScript (Computer program language) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-11-049724-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Foreword -- List of Figures -- List of Tables -- Part I. Getting Started -- 1. A Quick Tour of the Foundations of Web Apps -- 2. More on JavaScript -- 3. Building a Minimal Web App with Plain JS in Seven Steps -- 4. Building a Minimal Web App with Java EE in Seven Steps -- 5. Information Modeling -- 6. Application Architecture -- Part II. Constraint Validation -- 7. Integrity Constraints and Data Validation -- 8. Implementing Constraint Validation in a Plain JS Web App -- 9. Implementing Constraint Validation in a Java EE Web App -- Part III. Enumerations -- 10. Enumerations and Enumeration Attributes -- 11. Implementing Enumeration Attributes in a Plain JS Web App -- 12. Implementing Enumeration Attributes in a Java EE Web App -- Part IV. Special Datatypes and Derived Properties -- 13. Special Datatypes -- 14. Derived Properties -- Glossary -- Index |
| Record Nr. | UNINA-9910467398903321 |
|
Wagner Gerd
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter Odenbourg, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web applications with JavaScript or Java . Volume 1 Constraint validation, enumerations, special datatypes / / Gerd Wagner and Mircea Diaconescu
| Web applications with JavaScript or Java . Volume 1 Constraint validation, enumerations, special datatypes / / Gerd Wagner and Mircea Diaconescu |
| Autore | Wagner Gerd |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter Odenbourg, , 2018 |
| Descrizione fisica | 1 online resource (272 pages) : illustrations, tables |
| Disciplina | 005.133 |
| Collana | De Gruyter Textbook |
| Soggetto topico |
Java (Computer program language)
Web applications JavaScript (Computer program language) |
| ISBN | 3-11-049724-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Foreword -- List of Figures -- List of Tables -- Part I. Getting Started -- 1. A Quick Tour of the Foundations of Web Apps -- 2. More on JavaScript -- 3. Building a Minimal Web App with Plain JS in Seven Steps -- 4. Building a Minimal Web App with Java EE in Seven Steps -- 5. Information Modeling -- 6. Application Architecture -- Part II. Constraint Validation -- 7. Integrity Constraints and Data Validation -- 8. Implementing Constraint Validation in a Plain JS Web App -- 9. Implementing Constraint Validation in a Java EE Web App -- Part III. Enumerations -- 10. Enumerations and Enumeration Attributes -- 11. Implementing Enumeration Attributes in a Plain JS Web App -- 12. Implementing Enumeration Attributes in a Java EE Web App -- Part IV. Special Datatypes and Derived Properties -- 13. Special Datatypes -- 14. Derived Properties -- Glossary -- Index |
| Record Nr. | UNINA-9910796606403321 |
|
Wagner Gerd
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter Odenbourg, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web applications with JavaScript or Java . Volume 1 Constraint validation, enumerations, special datatypes / / Gerd Wagner and Mircea Diaconescu
| Web applications with JavaScript or Java . Volume 1 Constraint validation, enumerations, special datatypes / / Gerd Wagner and Mircea Diaconescu |
| Autore | Wagner Gerd |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter Odenbourg, , 2018 |
| Descrizione fisica | 1 online resource (272 pages) : illustrations, tables |
| Disciplina | 005.133 |
| Collana | De Gruyter Textbook |
| Soggetto topico |
Java (Computer program language)
Web applications JavaScript (Computer program language) |
| ISBN | 3-11-049724-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Foreword -- List of Figures -- List of Tables -- Part I. Getting Started -- 1. A Quick Tour of the Foundations of Web Apps -- 2. More on JavaScript -- 3. Building a Minimal Web App with Plain JS in Seven Steps -- 4. Building a Minimal Web App with Java EE in Seven Steps -- 5. Information Modeling -- 6. Application Architecture -- Part II. Constraint Validation -- 7. Integrity Constraints and Data Validation -- 8. Implementing Constraint Validation in a Plain JS Web App -- 9. Implementing Constraint Validation in a Java EE Web App -- Part III. Enumerations -- 10. Enumerations and Enumeration Attributes -- 11. Implementing Enumeration Attributes in a Plain JS Web App -- 12. Implementing Enumeration Attributes in a Java EE Web App -- Part IV. Special Datatypes and Derived Properties -- 13. Special Datatypes -- 14. Derived Properties -- Glossary -- Index |
| Record Nr. | UNINA-9910822439803321 |
|
Wagner Gerd
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter Odenbourg, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||