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.
Upgrading to Java 8 / / Budi Kurniawan
| Upgrading to Java 8 / / Budi Kurniawan |
| Autore | Kurniawan Budi |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | [Place of publication not identified] : , : Brainy Software Inc., , 2015 |
| Descrizione fisica | 1 online resource (109 p.) |
| Disciplina | 005.2762 |
| Soggetto topico |
Java (Computer program language)
Object-oriented programming languages |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Pages:1 to 25; Pages:26 to 50; Pages:51 to 75; Pages:76 to 100; Pages:101 to 109 |
| Record Nr. | UNINA-9910824704603321 |
Kurniawan Budi
|
||
| [Place of publication not identified] : , : Brainy Software Inc., , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Using WebSphere Studio Device Developer to build embedded Java applications [[electronic resource] /] / Kevin Gilhooly
| Using WebSphere Studio Device Developer to build embedded Java applications [[electronic resource] /] / Kevin Gilhooly |
| Autore | Gilhooly Kevin |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Armonk, N.Y., : IBM, c2004 |
| Descrizione fisica | 1 online resource (376 p.) |
| Collana | Redbooks |
| Soggetto topico |
Java (Computer program language)
Web servers - Programming Application software - Development |
| Soggetto genere / forma | Electronic books. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910450113003321 |
|
Gilhooly Kevin
|
||
| Armonk, N.Y., : IBM, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Using WebSphere Studio Device Developer to build embedded Java applications [[electronic resource] /] / Kevin Gilhooly
| Using WebSphere Studio Device Developer to build embedded Java applications [[electronic resource] /] / Kevin Gilhooly |
| Autore | Gilhooly Kevin |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Armonk, N.Y., : IBM, c2004 |
| Descrizione fisica | 1 online resource (376 p.) |
| Collana | Redbooks |
| Soggetto topico |
Java (Computer program language)
Web servers - Programming Application software - Development |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910783103103321 |
|
Gilhooly Kevin
|
||
| Armonk, N.Y., : IBM, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Using WebSphere Studio Device Developer to build embedded Java applications / / Kevin Gilhooly
| Using WebSphere Studio Device Developer to build embedded Java applications / / Kevin Gilhooly |
| Autore | Gilhooly Kevin |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Armonk, N.Y., : IBM, c2004 |
| Descrizione fisica | 1 online resource (376 p.) |
| Collana | Redbooks |
| Soggetto topico |
Java (Computer program language)
Web servers - Programming Application software - Development |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover -- Contents -- Notices -- Trademarks -- Preface -- The team that wrote this redbook -- Become a published author -- Comments welcome -- Part 1 WebSphere Studio Device Developer lecture materials -- Chapter 1. The IBM pervasive experience -- Chapter 2. WebSphere Studio Device Developer workshop introduction -- Chapter 3. WebSphere Studio Device Developer IDE -- Chapter 4. CVS in WebSphere Studio Device Developer -- Chapter 5. Building and launching on devices -- Chapter 6. Debugging and analysis -- Chapter 7. Introduction to the SmartLinker -- Chapter 8. Introduction to Java 2 Micro Edition -- Chapter 9. CLDC and the MIDP profile -- Chapter 10. CDC and the foundation profile -- Chapter 11. Introduction to the Service Management Framework -- Chapter 12. WebSphere programming model for pervasive devices -- Part 2 Lab exercises -- Chapter 13. Lab 1 - Installation -- 13.1 Introduction -- 13.1.1 Objectives -- 13.1.2 Procedure -- Chapter 14. Lab 2 - Using the IDE and debugger -- 14.1 Introduction -- 14.1.1 Objectives -- 14.1.2 Description -- 14.1.3 Procedure -- Chapter 15. Lab 3 - Using the MicroAnalyzer -- 15.1 Introduction -- 15.1.1 Objectives -- 15.1.2 Description -- 15.1.3 Procedure -- Chapter 16. Lab 4 - Creating a MIDP GUI application -- 16.1 Introduction -- 16.1.1 Description -- 16.1.2 Objectives -- 16.1.3 Procedure -- Chapter 17. Lab 5 - Creating a MIDP canvas application -- 17.1 Introduction -- 17.1.1 Description -- 17.1.2 Objective -- 17.1.3 Procedure -- Chapter 18. Lab 6 - Developing a foundation application -- 18.1 Introduction -- 18.1.1 Description -- 18.1.2 Objectives -- 18.1.3 Procedure -- Chapter 19. Lab 7 - Developing a Personal Profile application -- 19.1 Introduction -- 19.1.1 Description -- 19.1.2 Objective -- 19.1.3 Procedure -- Chapter 20. Lab 8 - Using the SMF platform -- 20.1 Introduction -- 20.1.1 Description.
20.1.2 Objectives -- 20.1.3 Procedure -- Chapter 21. Lab 9 - Creating an SMF servlet application -- 21.1 Introduction -- 21.1.1 Description -- 21.1.2 Objective -- 21.1.3 Procedure -- Part 3 Appendixes -- Appendix A. Java primer -- A.1 Introduction -- A.2 Definitions -- A.3 A simple class definition -- Appendix B. Installing the WebSphere Micro Environment on the device -- B.1 Installing the runtime environment on the PocketPC device -- B.2 Installing the runtime environment on the Palm device -- B.3 Running the application on the Palm device -- Appendix C. Installing and executing SMF on the PocketPC device -- C.1 Introduction -- C.2 Description -- C.3 Objective -- C.4 Procedure -- C.4.1 Setting up the software -- C.4.2 Prepare your connection -- C.4.3 Prepare SMF framework and prerequisites -- C.4.4 Copy PocketPC runtime -- C.4.5 Start SMF on the PocketPC device -- Appendix D. Additional material -- Locating the Web material -- Using the Web material -- System requirements for downloading the Web material -- How to use the Web material -- Related publications -- IBM Redbooks -- Other publications -- Online resources -- How to get IBM Redbooks -- Help from IBM -- Index -- Back cover. |
| Record Nr. | UNINA-9910818498703321 |
|
Gilhooly Kevin
|
||
| Armonk, N.Y., : IBM, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verification of object-oriented software : the KeY approach / / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (editors) ; foreword by K. Rustan M. Leino
| Verification of object-oriented software : the KeY approach / / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (editors) ; foreword by K. Rustan M. Leino |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (668 p.) |
| Disciplina | 005.14 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer software - Verification
Object-oriented methods (Computer science) Java (Computer program language) |
| ISBN | 3-540-69061-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A New Look at Formal Methods for Software Construction -- A New Look at Formal Methods for Software Construction -- I: Foundations -- First-Order Logic -- Dynamic Logic -- Construction of Proofs -- II: Expressing and Formalising Requirements -- Formal Specification -- Pattern-Driven Formal Specification -- Natural Language Specifications -- Proof Obligations -- From Sequential Java to Java Card -- III: Using the KeY System -- Using KeY -- Proving by Induction -- Java Integers -- Proof Reuse -- IV: Case Studies -- The Demoney Case Study -- The Schorr-Waite-Algorithm -- Appendices -- Predefined Operators in Java Card DL -- The KeY Syntax. |
| Record Nr. | UNINA-9910483428903321 |
| Berlin, Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verification of object-oriented software : the KeY approach / / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (editors) ; foreword by K. Rustan M. Leino
| Verification of object-oriented software : the KeY approach / / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (editors) ; foreword by K. Rustan M. Leino |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (668 p.) |
| Disciplina | 005.14 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer software - Verification
Object-oriented methods (Computer science) Java (Computer program language) |
| ISBN | 3-540-69061-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A New Look at Formal Methods for Software Construction -- A New Look at Formal Methods for Software Construction -- I: Foundations -- First-Order Logic -- Dynamic Logic -- Construction of Proofs -- II: Expressing and Formalising Requirements -- Formal Specification -- Pattern-Driven Formal Specification -- Natural Language Specifications -- Proof Obligations -- From Sequential Java to Java Card -- III: Using the KeY System -- Using KeY -- Proving by Induction -- Java Integers -- Proof Reuse -- IV: Case Studies -- The Demoney Case Study -- The Schorr-Waite-Algorithm -- Appendices -- Predefined Operators in Java Card DL -- The KeY Syntax. |
| Record Nr. | UNISA-996465586403316 |
| Berlin, Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Visual J++ developer's journal
| Visual J++ developer's journal |
| Pubbl/distr/stampa | Louisville, KY, : Cobb Group, ©1997- |
| Descrizione fisica | 1 online resource |
| Disciplina | 005 |
| Soggetto topico | Java (Computer program language) |
| Soggetto genere / forma | Periodicals. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Visual J plus plus developer's journal |
| Record Nr. | UNISA-996335763803316 |
| Louisville, KY, : Cobb Group, ©1997- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Visual J++ developer's journal
| Visual J++ developer's journal |
| Pubbl/distr/stampa | Louisville, KY, : Cobb Group, ©1997- |
| Descrizione fisica | 1 online resource |
| Disciplina | 005 |
| Soggetto topico | Java (Computer program language) |
| Soggetto genere / forma | Periodicals. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Visual J plus plus developer's journal |
| Record Nr. | UNINA-9910136054403321 |
| Louisville, KY, : Cobb Group, ©1997- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The visual J++ handbook / Chris H. Pappas, William H. Murray
| The visual J++ handbook / Chris H. Pappas, William H. Murray |
| Autore | Pappas, Chris H. |
| Pubbl/distr/stampa | Boston : AP Professional, c1997 |
| Descrizione fisica | xv, 574 p. : ill. ; 24 cm. |
| Disciplina | 005.262 |
| Altri autori (Persone) | Murray, William H. |
| Soggetto topico |
Java (Computer program language)
Microsoft Visual J++ |
| ISBN | 0125119151 |
| Classificazione |
AMS 68N15
CR D.3.2 QA76.73.J38M87 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001479229707536 |
|
Pappas, Chris H.
|
||
| Boston : AP Professional, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 | ||
| ||
