Advances in computers / edited by Franz Alt, Morris Rubinoff |
Pubbl/distr/stampa | New York : Academic Press, 1960-1975 |
Descrizione fisica | 14 v. ; 23 cm. |
Disciplina | 004.611 |
Altri autori (Persone) |
Alt, Franz
Rubinoff, Morris |
Soggetto topico | Computer science - Congresses |
Classificazione |
AMS 68-06
LC QA76.A3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000647329707536 |
New York : Academic Press, 1960-1975 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
AICA 93 Congresso annuale : atti 22-24 settembre 1993 - Gallipoli (Lecce) / Associazione Italiana per l'Informatica ed il Calcolo Automatico |
Autore | Associazione italiana per il calcolo automatico |
Pubbl/distr/stampa | Bari : Laterza, 1993 |
Descrizione fisica | xix, 796 p. ; 24 cm |
Disciplina | 001.64 |
Soggetto topico | Computer science - Congresses |
Classificazione |
AMS 68-06
AMS 68-XX |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991000648719707536 |
Associazione italiana per il calcolo automatico | ||
Bari : Laterza, 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
AICA 93 International section : parallel and distributed architectures and algorithms : conference proceedings 22-24 settembre 1993 - Gallipoli (Lecce) / Associazione Italiana per l'Informatica ed il Calcolo Automatico |
Autore | Associazione italiana per il calcolo automatico |
Pubbl/distr/stampa | Bari : Laterza, 1993 |
Descrizione fisica | xv, 319 p. ; 24 cm |
Disciplina | 001.64 |
Soggetto topico | Computer science - Congresses |
Classificazione |
AMS 68-06
AMS 68-XX |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000648789707536 |
Associazione italiana per il calcolo automatico | ||
Bari : Laterza, 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 / edited by A. P. Ershov and D.E. Knuth |
Autore | Ershov, Andrei P. |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
Descrizione fisica | xi, 487 p. : ill. ; 24 cm. |
Disciplina |
001.642
511.8 |
Altri autori (Persone) | Knuth, Donald E. |
Soggetto topico |
Computer algorithms - Congresses
Computer science - Congresses Programming - Congresses |
ISBN | 3540111573 |
Classificazione |
AMS 68-06
AMS 68-XX |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000669669707536 |
Ershov, Andrei P. | ||
Berlin : Springer-Verlag, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Analysis, combinatorics and computing / Tian-Xiao He, Peter J. S. Shiue, Zhongkai Li, editors |
Autore | International Symposium on Analysis, Combinatorics and Computing <2000 ; Dalian, Liaoning Sheng, China> |
Pubbl/distr/stampa | New York : Nova Science Publishers, c2002 |
Descrizione fisica | xxiii, 488 p. : ill. ; 26 cm |
Altri autori (Persone) |
He, Tian-Xiao author
Shiue, Peter Jau-Shyong Li, Zhongkai Hsu, Lizhi C. |
Altri autori (Enti) |
Dalian li gong da xue
Guo jia zi ran ke xue ji jin wei yuan hui (China) |
Soggetto topico |
Mathematical analysis - Congresses
Combinatorial analysis - Congresses Computer science - Congresses Functional analysis - Congresses |
ISBN | 1590334051 |
Classificazione | LC QA299.6.I58 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991004075789707536 |
International Symposium on Analysis, Combinatorics and Computing <2000 ; Dalian, Liaoning Sheng, China> | ||
New York : Nova Science Publishers, c2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI |
Autore | Brakhage, Helmut |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
Descrizione fisica | viii, 292 p. : ill. ; 25 cm. |
Disciplina | 001.642 |
Altri autori (Enti) | Gesellschaft fur Informatik |
Soggetto topico |
Computer science - Congresses
Formal languages - Congresses Machine theory - Congresses |
ISBN | 3540074074 |
Classificazione |
AMS 68Q45
AMS 68Q68 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000708409707536 |
Brakhage, Helmut | ||
Berlin ; New York : Springer-Verlag, 1975 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
|
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981, proceedings / edited by J. Díaz and I. Ramos |
Autore | Díaz, Josep I. |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
Descrizione fisica | vii, 478 p. : ill. ; 25 cm. |
Disciplina | 001.642 |
Altri autori (Persone) | Ramos, Isidro |
Soggetto topico |
Computer science - Congresses
Electronic digital computers-programming - Congresses |
ISBN | 3540106995 |
Classificazione | AMS 68-XX |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000902179707536 |
Díaz, Josep I. | ||
Berlin : Springer-Verlag, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Foundations of computational mathematics : selected papers of a conference held at Rio de Janeiro, January 1997 / Felipe Cucker, Michael Shub (eds.) |
Autore | Cucker, Felipe |
Pubbl/distr/stampa | Berlin : Springer-Verlag, c1997 |
Descrizione fisica | xv, 441 p. ; 24 cm |
Disciplina | 511.8 |
Altri autori (Persone) | Shub, Michael author |
Soggetto topico | Computer science - Congresses |
ISBN | 3540616470 |
Classificazione | AMS 65-06 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000904859707536 |
Cucker, Felipe | ||
Berlin : Springer-Verlag, c1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Foundations of software technology and theoretical computer science : fourth conf. held in Bangalora, India, December 13-15, 1984 / eds. Mathai Joseph, Rudrapatna Shymasundar |
Autore | Joseph, Mathai |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1984 |
Descrizione fisica | viii, 468 p. ; 24 cm. |
Disciplina | 001.642 |
Altri autori (Persone) | Shyamasundar, Rudrapatna |
Soggetto topico |
Computer science - Congresses
Computer software - Congresses Integrated circuits |
ISBN | 3040138838 |
Classificazione |
AMS 68-06
AMS 68-XX CR B.7 CR D.1 CR D.2 QA76.751 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000907389707536 |
Joseph, Mathai | ||
Berlin ; New York : Springer-Verlag, 1984 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|