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.
ECI conference 1976 : proceedings of the 1st conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 / edited by K. Samelson
| ECI conference 1976 : proceedings of the 1st conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 / edited by K. Samelson |
| Autore | Samelson, Klaus |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1976 |
| Descrizione fisica | viii, 322 p. : ill. ; 25 cm. |
| Disciplina | 001.642 |
| Soggetto topico |
Computer architecture - Congresses
Computer science - Congresses Database management - Congresses Electronic data processing - Congresses Electronic digital computers - Congresses |
| ISBN | 3540078045 |
| Classificazione |
AMS 68-06
AMS 68-XX |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000839949707536 |
Samelson, Klaus
|
||
| Berlin : Springer-Verlag, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Error in digital computation : proceedings of an advanced seminar conducted by the Mathematics Research Center, United States Army, at the University of Wisconsin, Madison, October 5-7, 1964 / edited by Louis B. Rall
| Error in digital computation : proceedings of an advanced seminar conducted by the Mathematics Research Center, United States Army, at the University of Wisconsin, Madison, October 5-7, 1964 / edited by Louis B. Rall |
| Autore | Advanced Seminar on error in digital computation |
| Pubbl/distr/stampa | New York : John Wiley & Sons, 1965 |
| Descrizione fisica | 2 v. : ill. ; 23 cm. |
| Altri autori (Persone) | Rall, Louis B. |
| Soggetto topico | Electronic digital computers - Congresses |
| Classificazione |
519.8
621.3.8 QA3.U45 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000931669707536 |
|
Advanced Seminar on error in digital computation
|
||
| New York : John Wiley & Sons, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / edited by A. Salwicki
| Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / edited by A. Salwicki |
| Autore | Salwicki, Andrzej |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1983 |
| Descrizione fisica | vi, 324 p. : ill. ; 25 cm. |
| Disciplina | 001.642 |
| Soggetto topico |
Computer science - Congresses
Electronic digital computers - Congresses Programming - Congresses |
| ISBN | 3540119817 |
| Classificazione |
AMS 68-06
AMS 68N05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001096619707536 |
|
Salwicki, Andrzej
|
||
| Berlin : Springer-Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logics of Programs Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen
| Logics of Programs Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen |
| Autore | Kozen, Dexter |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1982 |
| Descrizione fisica | vi, 429 p. : ill. ; 24 cm. |
| Disciplina | 519.7 |
| Soggetto topico |
Computer programs - Congresses
Computer science - Congresses Electronic digital computers - Congresses Symbolic logic - Congresses |
| ISBN | 354011212X |
| Classificazione |
AMS 68-06
AMS 68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001096719707536 |
|
Kozen, Dexter
|
||
| Berlin : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974 / edited by E. Gelenbe and C. Kaiser
| Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974 / edited by E. Gelenbe and C. Kaiser |
| Autore | International symposium on operating systems <1974 ; Rocquencourt> |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1974 |
| Descrizione fisica | 310 p. : ill. ; 25 cm |
| Disciplina | 001.642 |
| Altri autori (Persone) |
Gelenbe, E.
Kaiser, Claude |
| Collana | Lecture notes in computer science, 0302-9743 ; 16 |
| Soggetto topico |
Electronic digital computers - Congresses
Operating systems - Congresses |
| ISBN | 354006849X |
| Classificazione | AMS 68N25 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001202109707536 |
|
International symposium on operating systems <1974 ; Rocquencourt>
|
||
| Berlin : Springer-Verlag, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Trends in information processing systems : 3rd conference of the European Cooperation in Informatics, Munich, October 20-22, 1981, proceedings / edited by A. J. W. Duijvestijn and P. C. Lockemann
| Trends in information processing systems : 3rd conference of the European Cooperation in Informatics, Munich, October 20-22, 1981, proceedings / edited by A. J. W. Duijvestijn and P. C. Lockemann |
| Autore | Duijvestijn, Arie J. W. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | xi, 348 p. : ill. ; 25 cm. |
| Disciplina | 001.64 |
| Altri autori (Persone) | Lockemann, Peter Christian |
| Soggetto topico |
Electronic data processing - Congresses
Electronic digital computers - Congresses |
| ISBN | 3540108858 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001462169707536 |
|
Duijvestijn, Arie J. W.
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
