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.
The design and analysis of algorithms / Dexter C. Kozen
| The design and analysis of algorithms / Dexter C. Kozen |
| Autore | Kozen, Dexter C. |
| Pubbl/distr/stampa | New York [etc.], : Springer, c1992 |
| Descrizione fisica | X, 320 p. ; 25 cm |
| Disciplina | 005.1 |
| Collana | Texts and monographs in computer science |
| Soggetto topico |
Algoritmi
Elaboratori elettronici - Programmazione |
| ISBN |
0387976876
3540976876 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10012212 |
Kozen, Dexter C.
|
||
| New York [etc.], : Springer, c1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
The mythical man-month : essays on software engineering / Frederick P. Brooks, Jr
| The mythical man-month : essays on software engineering / Frederick P. Brooks, Jr |
| Autore | Brooks, Frederick Phillips <Jr.> |
| Edizione | [Reprinted with corrections] |
| Pubbl/distr/stampa |
Reading, Mass |
| Descrizione fisica | xi, 195 p ; 23 cm |
| Disciplina | 005.1068 |
| Soggetto topico | Elaboratori elettronici - Programmazione |
| ISBN | 0201006502 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-PUV0173301 |
|
Brooks, Frederick Phillips <Jr.>
|
||
| Reading, Mass <etc.>, : Addison-Wesley, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
The Olduvai imperative : case and the state of software engineering practice / Peter DeGrace and Leslie Hulet Stahl
| The Olduvai imperative : case and the state of software engineering practice / Peter DeGrace and Leslie Hulet Stahl |
| Autore | De Grace, Peter |
| Pubbl/distr/stampa | [London], : Prentice-Hall international, c1993 |
| Descrizione fisica | XXIII, 511 p. ; 24 cm |
| Disciplina | 005.1 |
| Altri autori (Persone) | Stahl, Leslie Hulet |
| Collana | Yourdon press computing series |
| Soggetto topico |
Programmi per elaboratori - Sviluppo
Elaboratori elettronici - Programmazione |
| ISBN | 0132201046 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0395317 |
|
De Grace, Peter
|
||
| [London], : Prentice-Hall international, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
The programmer's apprentice / Charles Rich, Richard C. Waters
| The programmer's apprentice / Charles Rich, Richard C. Waters |
| Autore | Rich, Charles <1951- > |
| Pubbl/distr/stampa | New York, : ACM press |
| Descrizione fisica | XI, 238 p. ; 24 cm |
| Disciplina | 005.1 |
| Altri autori (Persone) | Waters, Richard C. |
| Collana | ACM press frontier series |
| Soggetto topico |
Elaboratori elettronici - Programmazione
Elaboratori elettronici - Programmi - Sviluppo |
| ISBN | 0201524252 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-PUV0018262 |
|
Rich, Charles <1951- >
|
||
| New York, : ACM press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
The project manager' s guide to software engineering' s best practices / Mark J. Christensen and Richard H. Thayer
| The project manager' s guide to software engineering' s best practices / Mark J. Christensen and Richard H. Thayer |
| Autore | Christensen, Mark J. <1947- > |
| Pubbl/distr/stampa | Los Alamitos (CA) [etc.], : IEEE computer society, 2001 |
| Descrizione fisica | XV, 534 p. ; 26 cm |
| Disciplina | 005.1 |
| Altri autori (Persone) | Thayer, Richard H. |
| Collana | Best practices series |
| Soggetto topico | Elaboratori elettronici - Programmazione |
| ISBN | 9780769511993 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0513232 |
|
Christensen, Mark J. <1947- >
|
||
| Los Alamitos (CA) [etc.], : IEEE computer society, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
The temporal logic of reactive and concurrent systems : specification / Zohar Manna, Amir Pnueli
| The temporal logic of reactive and concurrent systems : specification / Zohar Manna, Amir Pnueli |
| Autore | Manna, Zohar |
| Pubbl/distr/stampa | New York [etc.], : Springer, c1992 |
| Descrizione fisica | XIV, 427 p. : ill. ; 25 cm |
| Disciplina | 005.1 |
| Altri autori (Persone) | Pnueli, Amir |
| Soggetto topico |
Logica matematica
Logica simbolica Elaboratori elettronici - Programmazione |
| ISBN |
0387976647
3540976647 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10001366 |
|
Manna, Zohar
|
||
| New York [etc.], : Springer, c1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Theoretical aspects of object-oriented programming : types, semantics, and language design / edited by Carl A. Gunter, John C. Mitchell
| Theoretical aspects of object-oriented programming : types, semantics, and language design / edited by Carl A. Gunter, John C. Mitchell |
| Pubbl/distr/stampa | Cambridge, (MA) ; London, : MIT press, c1994 |
| Descrizione fisica | VII, 548 p. ; 24 cm. |
| Disciplina |
005.1
005.117 |
| Collana | Foundations of computing series |
| Soggetto topico |
Elaboratori elettronici - Programmazione
Elaboratori elettronici - Programmazione - Linguaggi |
| ISBN | 026207155X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-RMS0045115 |
| Cambridge, (MA) ; London, : MIT press, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Types in logic programming / edited by Frank Pfenning
| Types in logic programming / edited by Frank Pfenning |
| Pubbl/distr/stampa | Cambridge (Mass.), : The MIT press, ©1992 |
| Descrizione fisica | XVIII, 357 p. ; 24 cm |
| Disciplina |
005.1
005.115 |
| Collana | Logic programming |
| Soggetto topico |
Programmazione logica
Elaboratori elettronici - Programmazione |
| ISBN | 0262161311 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-RMS1740935 |
| Cambridge (Mass.), : The MIT press, ©1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
UML distilled : guida rapida allo standard object modeling language : aggiornata alla versione 1.3 OMG UML standard / Martin Fowler ; con Kendall Scott ; premessa di Grady Booch, Ivar Jacobson e James Rumbaugh
| UML distilled : guida rapida allo standard object modeling language : aggiornata alla versione 1.3 OMG UML standard / Martin Fowler ; con Kendall Scott ; premessa di Grady Booch, Ivar Jacobson e James Rumbaugh |
| Autore | Fowler, Martin <1963- > |
| Pubbl/distr/stampa | Milano, : Addison Wesley Longman Italia, 2000 |
| Descrizione fisica | XX, 157 p. ; 24 cm. |
| Disciplina |
005.1
005.117 |
| Collana | Professionale |
| Soggetto topico |
Elaboratori elettronici - Linguaggio UML
Elaboratori elettronici - Programmi - Sviluppo Elaboratori elettronici - Programmazione |
| ISBN | 8871920872 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNISANNIO-RMS0097681 |
|
Fowler, Martin <1963- >
|
||
| Milano, : Addison Wesley Longman Italia, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
UML for systems engineering : watching the wheels / J. Holt
| UML for systems engineering : watching the wheels / J. Holt |
| Autore | Holt, Jon |
| Pubbl/distr/stampa | London, : Institution of Electrical Engineers, c2001 |
| Descrizione fisica | XXX, 287 p. ; 25 cm. |
| Disciplina |
005.1
005.117 |
| Collana | IEE professional applications of computing series |
| Soggetto topico |
Elaboratori elettronici - Programmazione
Elaboratori elettronici - Linguaggio UML |
| ISBN | 0852961057 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-PUV0913257 |
|
Holt, Jon
|
||
| London, : Institution of Electrical Engineers, c2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
