top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui