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.
Software Security and Reliability-Companion (SERE-C), 2014 IEEE Eighth International Conference on / / Institute of Electrical and Electronics Engineers
| Software Security and Reliability-Companion (SERE-C), 2014 IEEE Eighth International Conference on / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2014 |
| Descrizione fisica | 1 online resource (441 pages) |
| Disciplina | 005 |
| Soggetto topico | Computer software - Reliability |
| ISBN | 1-4799-5843-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
2014 IEEE Eighth International Conference on Software Security and Reliability-Companion
Software Security and Reliability-Companion |
| Record Nr. | UNISA-996279401803316 |
| Piscataway, New Jersey : , : IEEE, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Security and Reliability-Companion (SERE-C), 2014 IEEE Eighth International Conference on / / Institute of Electrical and Electronics Engineers
| Software Security and Reliability-Companion (SERE-C), 2014 IEEE Eighth International Conference on / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2014 |
| Descrizione fisica | 1 online resource (441 pages) |
| Disciplina | 005 |
| Soggetto topico | Computer software - Reliability |
| ISBN | 1-4799-5843-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
2014 IEEE Eighth International Conference on Software Security and Reliability-Companion
Software Security and Reliability-Companion |
| Record Nr. | UNINA-9910135625303321 |
| Piscataway, New Jersey : , : IEEE, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software systems for structural optimization / edited H. R.E. M. Hornelein K. Schittkowski
| Software systems for structural optimization / edited H. R.E. M. Hornelein K. Schittkowski |
| Pubbl/distr/stampa | Basel : Birkhauser Verlag, 1993 |
| Descrizione fisica | VII, 283 p. ; 24 cm |
| Disciplina | 005 |
| Collana | International series of numerical mathematics |
| ISBN | 3-7643-2836-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000861940403321 |
| Basel : Birkhauser Verlag, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software testing & validation techniquesTutorial : tutorial / Edward Miller, William E. Howden
| Software testing & validation techniquesTutorial : tutorial / Edward Miller, William E. Howden |
| Autore | Miller, Edward |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | New York : IEEE computer society, ©1981 |
| Descrizione fisica | 499 p. : ill. ; 28 cm |
| Disciplina | 005 |
| Altri autori (Persone) | Howden, William E. |
| Soggetto non controllato | Programmazione |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000468340403321 |
Miller, Edward
|
||
| New York : IEEE computer society, ©1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software testing, verification & reliability
| Software testing, verification & reliability |
| Pubbl/distr/stampa | [Chichester, Sussex, England], : John Wiley & Sons |
| Descrizione fisica | 1 online resource |
| Disciplina | 005 |
| Soggetto topico |
Computer software - Testing
Computer software - Verification Computer software - Reliability Logiciels - Essais Logiciels - Vérification Logiciels - Fiabilité |
| Soggetto genere / forma | Periodicals. |
| Soggetto non controllato | Computing, mathematics and information systems |
| ISSN | 1099-1689 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Software testing, verification and reliability
STVR Software |
| Record Nr. | UNISA-996211934303316 |
| [Chichester, Sussex, England], : John Wiley & Sons | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software testing, verification & reliability
| Software testing, verification & reliability |
| Pubbl/distr/stampa | [Chichester, Sussex, England], : John Wiley & Sons |
| Descrizione fisica | 1 online resource |
| Disciplina | 005 |
| Soggetto topico |
Computer software - Testing
Computer software - Verification Computer software - Reliability Logiciels - Essais Logiciels - Vérification Logiciels - Fiabilité |
| Soggetto genere / forma | Periodicals. |
| Soggetto non controllato | Computing, mathematics and information systems |
| ISSN | 1099-1689 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Software testing, verification and reliability
STVR Software |
| Record Nr. | UNINA-9910139251003321 |
| [Chichester, Sussex, England], : John Wiley & Sons | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software, practice & experience
| Software, practice & experience |
| Pubbl/distr/stampa | Chichester, : John Wiley & Sons |
| Disciplina | 005 |
| Soggetto topico |
Computer software
Computer programming Computer programs Programmation (Informatique) Langages de programmation Logiciels 54.50 computer software: general Business Computers and office automation industries Software industry |
| Soggetto genere / forma | Journals - contents and abstracts. |
| Soggetto non controllato | software construction |
| ISSN | 1097-024X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Software, practice & experience
Software: practice & experience SP & E Software, practice and experience Software SP&E Softw. pract. exper Software:Practice and Experience Software: Practice and Experience |
| Record Nr. | UNISA-996214963103316 |
| Chichester, : John Wiley & Sons | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software, practice & experience
| Software, practice & experience |
| Pubbl/distr/stampa | Chichester, : John Wiley & Sons |
| Disciplina | 005 |
| Soggetto topico |
Computer software
Computer programming Computer programs Programmation (Informatique) Langages de programmation Logiciels 54.50 computer software: general Business Computers and office automation industries Software industry |
| Soggetto genere / forma | Journals - contents and abstracts. |
| Soggetto non controllato | software construction |
| ISSN | 1097-024X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Software, practice & experience
Software: practice & experience SP & E Software, practice and experience Software SP&E Softw. pract. exper Software:Practice and Experience Software: Practice and Experience |
| Record Nr. | UNINA-9910142905703321 |
| Chichester, : John Wiley & Sons | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Some new global optimization algorithms / Sami Viitanen
| Some new global optimization algorithms / Sami Viitanen |
| Autore | Viitanen, Sami |
| Pubbl/distr/stampa | Åbo : Åbo Akademis Förlag, 1997 |
| Descrizione fisica | 1 v. ; 25 cm |
| Disciplina | 005 |
| Collana | Acta Academiae Aboensis. Series B, Mathematica et physica ; 57/2 |
| Soggetto topico | Informatica - Programmazione |
| ISBN | 9529616864 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002218909707536 |
|
Viitanen, Sami
|
||
| Åbo : Åbo Akademis Förlag, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Spatial database systems : design, implementation and project management / by Albert K.W. Yeung and G. Brent Hall
| Spatial database systems : design, implementation and project management / by Albert K.W. Yeung and G. Brent Hall |
| Autore | Yeung, Albert K.W. |
| Pubbl/distr/stampa | Dordrecht : Springer, c2007 |
| Descrizione fisica | xii, 553 p. : ill. ; 24 cm |
| Disciplina | 005 |
| Altri autori (Persone) | Hall, G. Brent |
| Collana | Geojournal Library ; 87 |
| ISBN | 9781402053917 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003880799707536 |
|
Yeung, Albert K.W.
|
||
| Dordrecht : Springer, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
