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.
50 esercizi in Basic / Jean-Pierre Lamoiter
| 50 esercizi in Basic / Jean-Pierre Lamoiter |
| Autore | Lamoiter, Jean-Pierre |
| Pubbl/distr/stampa | Milano : Jackson, 1982 |
| Descrizione fisica | viii, 195 p. ; 21 cm |
| Disciplina | 001.6424 |
| Soggetto topico |
Basic
Linguistics Programming languages |
| Classificazione |
AMS 68-XX
CR D.3.2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Altri titoli varianti | Cinquanta esercizi in Basic |
| Record Nr. | UNISALENTO-991000742269707536 |
Lamoiter, Jean-Pierre
|
||
| Milano : Jackson, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / ed. R. E. Shostak
| 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / ed. R. E. Shostak |
| Autore | International conference on automated deduction <7. ; 1984 ; Napa, California> |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1984 |
| Descrizione fisica | vi, 508 p. : ill. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Shostak, Robert E. |
| Soggetto topico |
Automatic theorem proving - Congresses
Symbolic logic - Congresses |
| ISBN | 3540960228 |
| Classificazione |
AMS 68-06
AMS 68-XX CR I.1 CR J.2 QA76.9.A96158 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001341109707536 |
|
International conference on automated deduction <7. ; 1984 ; Napa, California>
|
||
| Berlin ; New York : Springer-Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / ed. Peter J. L. Wallis
| Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / ed. Peter J. L. Wallis |
| Autore | Ada software tools interfaces workshop <1983 ; Bath> |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1984 |
| Descrizione fisica | 163 p. : ill. ; 25 cm. |
| Disciplina | 001.6424 |
| Altri autori (Persone) | Wallis, Peter J. L. |
| Soggetto topico |
Ada (Computer program language) - Congresses
Electronic digital computers-programming |
| ISBN | 3540138781 |
| Classificazione |
AMS 68-06
AMS 68-XX CR D.2.2 LC QA76.73.A35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000644239707536 |
|
Ada software tools interfaces workshop <1983 ; Bath>
|
||
| Berlin ; New York : Springer-Verlag, 1984 | ||
| 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
| 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
| 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 | ||
| ||
Algebra, combinatorics and logic in computer science / edited by J. Demetrovics, G. Katona, A. Salomaa
| Algebra, combinatorics and logic in computer science / edited by J. Demetrovics, G. Katona, A. Salomaa |
| Pubbl/distr/stampa | Amsterdam : North-Holland |
| Descrizione fisica | 2 v. : ill. ; 24 cm. |
| Disciplina | 510 |
| Altri autori (Persone) |
Demetrovics, Janós
Katona, G. Salomaa, Arto |
| Altri autori (Convegni) | Colloquium on algebra, combinatories, and logic in computer Science <1983 ; Györ, Hungary> |
| Collana | Colloquia Mathematica Societatis János Bolyai, 0139-3383 ; 42 |
| Soggetto topico |
Computer arithmetic - Congresses
Algebra - Congresses Symbolic and mathematical logic - Congresses |
| ISBN | 0444878696 (set) |
| Classificazione |
LC QA76.9.C62
AMS 03-06 AMS 05-06 AMS 68-06 AMS 68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000652819707536 |
| Amsterdam : North-Holland | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algorithms for sensor and ad hoc networks : advanced lectures / Dorothea Wagner, Roger Wattenhofer (eds.)
| Algorithms for sensor and ad hoc networks : advanced lectures / Dorothea Wagner, Roger Wattenhofer (eds.) |
| Pubbl/distr/stampa | Berlin ; New York : Springer, c2007 |
| Descrizione fisica | xiii, 415 p. : ill. ; 24 cm |
| Disciplina | 681.2 |
| Altri autori (Persone) |
Wagner, Dorotheaauthor
Wattenhofer, Roger Peterauthor |
| Collana |
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science, 0302-9743 ; 4621. Tutorial |
| Soggetto topico |
Sensor networks - Programming - Congresses
Ad hoc networks (Computer networks) - Programming - Congresses Computer algorithms - Congresses |
| ISBN |
9783540749905
354074990X |
| Classificazione |
AMS 68-XX
CR C.2 CR F.2 CR D.2 CR G.3-4 LC TK7872.D48A425 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications of sensor networks / H.-J. Hof. Modeling sensor and ad hoc networks / F. Schulz. Clustering / T. Moscibroda. MAC layer and coloring / S. Mecke. Topology control / K. Buchin and M. Buchin. Interference and signal-to-noise ration / A. Krèoller. Lower bounds / Z. Benenson. Facility location / C. Frank. Geographic routing / A. Zollinger. Compact routing / M. Dom. Pseudo geometric routing for sensor networks / O. Landsiedel. Minimal range assignments for broadcasts / C. Gunia. Data gathering in sensor networks / L. Scharf. Location services / B. Fabian, M. Fischmann, and S.F. Gèurses. Positioning / D. Fleischer and C. Pich. Security / E.-O. Blass ... [et al.]. Trust mechanisms and reputation systems / E. Buchmann. Selfish agents and economic aspects / L. Scharf. Time synchronization / M. Busse and T. Streichert |
| Record Nr. | UNISALENTO-991000513119707536 |
| Berlin ; New York : Springer, c2007 | ||
| 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
| 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 | ||
| ||
Algoritmi e macchine calcolatrici automatiche / B. A. Trakhtenbrot ; [trad di Corrado Mangione
| Algoritmi e macchine calcolatrici automatiche / B. A. Trakhtenbrot ; [trad di Corrado Mangione |
| Autore | Trakhtenbrot, B. A. |
| Pubbl/distr/stampa | Milano] : Progresso Tecnico Editoriale, 1964 |
| Descrizione fisica | 132 p. ; 19 cm. |
| Altri autori (Persone) | Mangione, Corrado |
| Collana | Argomenti di matematica |
| Soggetto topico |
Computer science
Dictionaries and other general reference works |
| Classificazione |
AMS 00A20
AMS 68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000669779707536 |
|
Trakhtenbrot, B. A.
|
||
| Milano] : Progresso Tecnico Editoriale, 1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algoritmi più strutture dati = programmi / Niklaus Wirth ; trad. di S. Piccardi
| Algoritmi più strutture dati = programmi / Niklaus Wirth ; trad. di S. Piccardi |
| Autore | Wirth, Niklaus |
| Edizione | [Ed. ital] |
| Pubbl/distr/stampa | Milano : Tecniche Nuove, c1987 |
| Descrizione fisica | xv, 360 p. : ill. ; 24 cm. |
| Disciplina | 001.6 |
| Altri autori (Persone) | Piccardi, Stefano |
| Collana | Università + ricerca |
| Soggetto topico | Computer science |
| ISBN | 8870812596 |
| Classificazione |
AMS 68-01
AMS 68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000669929707536 |
|
Wirth, Niklaus
|
||
| Milano : Tecniche Nuove, c1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
