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.
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 | ||
| ||
Understanding intelligence / Rolf Pfeifer and Christian Scheier ; with figures by Alex Riegler and cartoons by Isabelle Follath
| Understanding intelligence / Rolf Pfeifer and Christian Scheier ; with figures by Alex Riegler and cartoons by Isabelle Follath |
| Autore | Pfeifer, Rolf |
| Pubbl/distr/stampa | Cambridge (Mass) [etc.], : The MIT press, 2001 |
| Descrizione fisica | XX, 697 p. : ill. ; 26 cm |
| Altri autori (Persone) | Scheier, Christian |
| ISBN | 0780262161818 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISOB-SOBE00044868 |
Pfeifer, Rolf
|
||
| Cambridge (Mass) [etc.], : The MIT press, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Understanding unemployment / Lawrence H. Summers
| Understanding unemployment / Lawrence H. Summers |
| Autore | Summers, Lawrence H. |
| Pubbl/distr/stampa | Cambridge (Mass.); London : The MIT press, c1990 |
| Descrizione fisica | XXIV, 360 p. ; 23 cm |
| Disciplina | 331.137 |
| Soggetto non controllato | Disoccupazione |
| ISBN |
0262192659
0262691574 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000025061 |
|
Summers, Lawrence H.
|
||
| Cambridge (Mass.); London : The MIT press, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Understanding unemployment / di Lawrence H. Summers.
| Understanding unemployment / di Lawrence H. Summers. |
| Autore | Summers, Lawrence H. |
| Pubbl/distr/stampa | Cambridge, : The MIT press, 1990 |
| Descrizione fisica | XIII, 337 p. ; 23 cm |
| Disciplina | 331.13 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990006083830403321 |
|
Summers, Lawrence H.
|
||
| Cambridge, : The MIT press, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Unemployment and macroeconomics / Assar Lindbeck
| Unemployment and macroeconomics / Assar Lindbeck |
| Autore | Lindbeck, Assar |
| Pubbl/distr/stampa | Cambridge (Mass.) ; London : The MIT press, c1993 |
| Descrizione fisica | VIII, 201 p. : graf. ; 21 cm |
| Disciplina |
339.5
331.137 |
| Collana | The Ohlin lectures |
| Soggetto non controllato |
Occupazione e disoccupazione
Lavoro - Domanda e offerta |
| ISBN | 0-262-12175-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000002181 |
|
Lindbeck, Assar
|
||
| Cambridge (Mass.) ; London : The MIT press, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Urban rail transit : its economics and technology / A. Scheffer Lang, Richard Soberman
| Urban rail transit : its economics and technology / A. Scheffer Lang, Richard Soberman |
| Autore | Lang, Scheffer |
| Pubbl/distr/stampa | Cambridge (Mass.) : The MIT press, c1964 |
| Descrizione fisica | XII, 139 p. : ill. ; 24 cm |
| Altri autori (Persone) | Soberman, Richard M. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910272658803321 |
|
Lang, Scheffer
|
||
| Cambridge (Mass.) : The MIT press, c1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Using MPI : portable parallel programming with the message-passing interface / William Gropp, Ewing Lusk, Anthony Skjellum
| Using MPI : portable parallel programming with the message-passing interface / William Gropp, Ewing Lusk, Anthony Skjellum |
| Autore | Gropp, William |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Cambridge, Mass., : The MIT press, 1999 |
| Descrizione fisica | XXII, 371 p. ; 23 cm. |
| Altri autori (Persone) |
Lusk, Ewing L.
Skjellum, Anthony |
| Soggetto topico | 68-XX - Computer science [MSC 2020] |
| ISBN | 02-625-7132-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0059160 |
|
Gropp, William
|
||
| Cambridge, Mass., : The MIT press, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Using Plapack : parallel linear algebra package / Robert A. van de Geijin
| Using Plapack : parallel linear algebra package / Robert A. van de Geijin |
| Autore | Geijin, Robert A. : van de |
| Pubbl/distr/stampa | Cambridge (Mass.) : The MIT press, 1997 |
| Descrizione fisica | XI, 194 p. : ill. ; 23 cm |
| Disciplina | 512.502 85 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000019062 |
|
Geijin, Robert A. : van de
|
||
| Cambridge (Mass.) : The MIT press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Vallingby and Farsta : from idea to reality : the new community development process in Stockholm / David Pass. -
| Vallingby and Farsta : from idea to reality : the new community development process in Stockholm / David Pass. - |
| Autore | Pass, David |
| Pubbl/distr/stampa | Cambridge : The MIT press, copyr. 1973 |
| Descrizione fisica | XIII, 190 p. : ill. ; 25 cm |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000658440403321 |
|
Pass, David
|
||
| Cambridge : The MIT press, copyr. 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Vector models for data parallel computing / Guy E. Blelloch
| Vector models for data parallel computing / Guy E. Blelloch |
| Autore | Blelloch, Guy E. |
| Pubbl/distr/stampa | Cambridge (Mass.) [etc.], : The MIT press, c1990 |
| Descrizione fisica | XVI, 255 p. ; 24 cm. |
| Disciplina |
004
004.35 |
| Collana | Artificial intelligence |
| Soggetto topico | Elaborazione parallela dei dati |
| ISBN | 026202313X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0069009 |
|
Blelloch, Guy E.
|
||
| Cambridge (Mass.) [etc.], : The MIT press, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
