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.
Programming language pragmatics / Michael L. Scott
| Programming language pragmatics / Michael L. Scott |
| Autore | Scott, Michael L. |
| Pubbl/distr/stampa | San Francisco : Morgan Kaufmann, ©2000 |
| Descrizione fisica | xxi, 856 p. : ill. ; 23 cm |
| Disciplina | 005.13 |
| Soggetto non controllato | Linguaggi di programmazione |
| ISBN | 1-55860-578-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990003976100403321 |
Scott, Michael L.
|
||
| San Francisco : Morgan Kaufmann, ©2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming languages ; Nato advanced study institute / edited by F Genuys
| Programming languages ; Nato advanced study institute / edited by F Genuys |
| Autore | Genuys, F. |
| Pubbl/distr/stampa | London ; New York : Academic Press, 1968 |
| Descrizione fisica | 395 p. : ill. ; 24 cm |
| Disciplina | 651.8 |
| Soggetto non controllato | Linguaggi di programmazione |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000493290403321 |
|
Genuys, F.
|
||
| London ; New York : Academic Press, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming languages: structures and models / Herbert L. Dershem, Michael J. Jipping
| Programming languages: structures and models / Herbert L. Dershem, Michael J. Jipping |
| Autore | Dershem, Herbet L. |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Boston [Mass.] : PWS publishing company, c1995 |
| Descrizione fisica | xvi, 432 p. ; 24 cm |
| Disciplina | 005.13 |
| Collana | The PWS series in computer science |
| Soggetto non controllato |
Computer science
Linguaggi di programmazione |
| ISBN | 0-534-94740-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001443560403321 |
|
Dershem, Herbet L.
|
||
| Boston [Mass.] : PWS publishing company, c1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming systems and languages / edited by Saul Rosen
| Programming systems and languages / edited by Saul Rosen |
| Autore | Rosen, Saul |
| Pubbl/distr/stampa | New York [etc.] : McGraw-Hill, ©1967 |
| Descrizione fisica | 734 p. : ill. ; 23 cm |
| Disciplina |
005.133
651.8 |
| Collana | McGraw-Hill computer science series |
| Soggetto non controllato |
Linguaggi di programmazione
Programmazione |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000470620403321 |
| Rosen, Saul | ||
| New York [etc.] : McGraw-Hill, ©1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming with Qt / Matthias Kalle Dalheimer
| Programming with Qt / Matthias Kalle Dalheimer |
| Autore | Dalheimer, Matthias Kalle |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Sebastopol [Ca.], Beijing : O'Reilly, c2002 |
| Descrizione fisica | xviii, 499 p. : ill. ; 24 cm |
| Disciplina | 005.2 |
| Soggetto non controllato |
Programmazione per specifiche interfacce utenti
Interfacce grafiche Linguaggi di programmazione C++ |
| ISBN | 0-596-00064-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008286080403321 |
|
Dalheimer, Matthias Kalle
|
||
| Sebastopol [Ca.], Beijing : O'Reilly, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Real-time systems and their programming languages / Alan Burns, Andy Wellings
| Real-time systems and their programming languages / Alan Burns, Andy Wellings |
| Autore | Burns, Alan |
| Pubbl/distr/stampa | England : Addison-Wesley, ©1990 |
| Descrizione fisica | 575 p. : ill. ; 24 cm |
| Disciplina | 004.33 |
| Altri autori (Persone) | Wellings, Andrew J. |
| Collana | International computer science press |
| Soggetto non controllato |
Elaborazione dei dati in tempo reale
Linguaggi di programmazione |
| ISBN | 0-201-17529-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000512490403321 |
|
Burns, Alan
|
||
| England : Addison-Wesley, ©1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recursive functions in computer theory / Rozsa Peter
| Recursive functions in computer theory / Rozsa Peter |
| Autore | Peter, Rozsa |
| Pubbl/distr/stampa | Chichester [etc.] : John Wiley |
| Disciplina | 511.3 |
| Collana | Ellis Horwood series in computers and their applications |
| Soggetto non controllato |
Funzioni ricorsive - Computer science
Linguaggi di programmazione |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001270690403321 |
|
Peter, Rozsa
|
||
| Chichester [etc.] : John Wiley | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch
| Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch |
| Autore | Kulisch, U. |
| Pubbl/distr/stampa | San Diego : Academic Press, c1993 |
| Descrizione fisica | X, 612 p. ; 24 cm |
| Disciplina | 519.40285 |
| Altri autori (Persone) | Adams, Ernst |
| Collana | Mathematics in science and engineering |
| Soggetto non controllato |
Algoritmi numerici
Calcolo parallelo Linguaggi di programmazione Enclosure methods World problems - Simulazione numerica Computabilita - Programmi |
| ISBN | 0-12-044210-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001335010403321 |
|
Kulisch, U.
|
||
| San Diego : Academic Press, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Smart card application development using java / Uwe Hansmann, Martin S. Nicklous, Thomas Schack, Achim Schneider, Frank Seliger
| Smart card application development using java / Uwe Hansmann, Martin S. Nicklous, Thomas Schack, Achim Schneider, Frank Seliger |
| Autore | Hansmann, Uwe |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, c2002 |
| Descrizione fisica | xvi, 305 p. : ill. ; 23 cm + 1 smart card |
| Disciplina | 005.133 |
| Soggetto non controllato |
Linguaggi di programmazione
Java Smart cards |
| ISBN | 3-540-43202-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990003977410403321 |
|
Hansmann, Uwe
|
||
| Berlin : Springer-Verlag, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software security - Theories and systems : Mext-NSF-JSPS International Symposium, ISSS 2002 : Tokyo, Japan, November 8-10, 2002 : Revised papers / Mitsuhiro Okada ... [et al.] (Eds.)
| Software security - Theories and systems : Mext-NSF-JSPS International Symposium, ISSS 2002 : Tokyo, Japan, November 8-10, 2002 : Revised papers / Mitsuhiro Okada ... [et al.] (Eds.) |
| Autore | International Symposium on Software security <2002 ; Tokyo> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2003 |
| Descrizione fisica | XI, 470 p. : ill. ; 24 cm. |
| Disciplina | 005.82 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Reti di computer
Linguaggi di programmazione Crittografia |
| ISBN | 3-540-00708-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001893170203316 |
|
International Symposium on Software security <2002 ; Tokyo>
|
||
| Berlin [etc.] : Springer, copyr. 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
