Digest of papers : intellectual leverage
| Digest of papers : intellectual leverage |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1989 |
| Disciplina | 004 |
| Soggetto topico |
Computers - Congresses
Electronic data processing - Congresses Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996215150003316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1989 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 / under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg
| Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 / under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg |
| Autore | Ehrig, Hartmut |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1983 |
| Descrizione fisica | vii, 452 p. : ill. ; 25 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Nagl, Manfred
Rozenberg, Grzegorz |
| Soggetto topico |
Electronic data processing - Congresses
Graph grammars - Congresses |
| ISBN | 3540123105 |
| Classificazione |
AMS 68-XX
QA267.3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991000958319707536 |
Ehrig, Hartmut
|
||
| Berlin ; New York : Springer-Verlag, 1983 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
A history of computing in the twentieth century : a collection of essays / edited by N. Metropolis, J. Howlett, Gian-Carlo Rota ; contributors John Backus ... [et al.]
| A history of computing in the twentieth century : a collection of essays / edited by N. Metropolis, J. Howlett, Gian-Carlo Rota ; contributors John Backus ... [et al.] |
| Autore | Howlett, J. |
| Pubbl/distr/stampa | New York : Academic Press, 1980 |
| Descrizione fisica | xix, 659 p. : ill. ; 24 cm. |
| Disciplina | 001.609 |
| Altri autori (Persone) |
Metropolis, N.
Rota, Gian Carlo |
| Soggetto topico |
Circuits
Computers-history Electronic data processing - Congresses Information and communication |
| ISBN | 0124916503 |
| Classificazione |
AMS 01A60
AMS 68-03 QA75.5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000981099707536 |
Howlett, J.
|
||
| New York : Academic Press, 1980 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings / / A. Nerode, M. Taitslin (eds.)
| Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings / / A. Nerode, M. Taitslin (eds.) |
| Pubbl/distr/stampa | Springer Berlin Heidelberg |
| Disciplina | 004 |
| Altri autori (Persone) |
NerodeAnil
TaitslinMikhail A |
| Soggetto topico |
Computers - Congresses
Electronic data processing - Congresses Logic, Symbolic and mathematical - Congresses |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465772503316 |
| Springer Berlin Heidelberg | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 1990 Symposium on Applied Computing : April 5-6, 1990, University of Arkansas Conference Center, Fayetteville, Arkansas
| Proceedings of the 1990 Symposium on Applied Computing : April 5-6, 1990, University of Arkansas Conference Center, Fayetteville, Arkansas |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1990 |
| Disciplina | 004 |
| Soggetto topico |
Application software - Congresses
Electronic data processing - Congresses Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996218635103316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1990 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soft computing in intelligent systems and information processing : proceedings of the 1996 Asian Fuzzy Systems Symposium, Kenting, Taiwan, ROC, December 11-14, 1996
| Soft computing in intelligent systems and information processing : proceedings of the 1996 Asian Fuzzy Systems Symposium, Kenting, Taiwan, ROC, December 11-14, 1996 |
| Pubbl/distr/stampa | [Place of publication not identified], : Institute of Electrical and Electronics Engineers, 1996 |
| Soggetto topico |
Soft computing - Congresses
Artificial intelligence - Congresses Electronic data processing - Congresses Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996217399803316 |
| [Place of publication not identified], : Institute of Electrical and Electronics Engineers, 1996 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Worldwide computing and its applications, WWCA'98 : Second International Conference, Tsukuba, Japan, March 4-5, 1998 : proceedings / / Yoshifumi Masunaga, Takuya Katayama, Michihara Tsukamoto (eds.)
| Worldwide computing and its applications, WWCA'98 : Second International Conference, Tsukuba, Japan, March 4-5, 1998 : proceedings / / Yoshifumi Masunaga, Takuya Katayama, Michihara Tsukamoto (eds.) |
| Pubbl/distr/stampa | Springer Berlin / Heidelberg |
| Disciplina | 004/.36 |
| Altri autori (Persone) |
MasunagaY <1941-> (Yoshifumi)
KatayamaTakuya <1939-> |
| Soggetto topico | Electronic data processing - Congresses |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466081403316 |
| Springer Berlin / Heidelberg | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||