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.
Advanced course on software engineering / edited by F. L. Bauer
| Advanced course on software engineering / edited by F. L. Bauer |
| Autore | Advanced Course on Software Engineering <1972 ; Munich> |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1973 |
| Descrizione fisica | xii, 545 p. : ill. ; 26 cm. |
| Disciplina | 001.6425 |
| Altri autori (Persone) | Bauer, Friedrich Ludwig |
| Altri autori (Enti) |
Munich.Technische Universität.Mathematisches Institut
Akademie der Wissenschaften, Munich.Leibniz Rechenzentrum |
| Collana | Lecture notes in economics and mathematical systems, 0075-8442 ; 81 |
| Soggetto topico |
Programming
Software engineering |
| ISBN | 3540061851 |
| Classificazione |
AMS 68N05
LC QA76.6.A33 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000646419707536 |
Advanced Course on Software Engineering <1972 ; Munich>
|
||
| Berlin : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Advanced programming : programming and operating systems / Harry Katzan
| Advanced programming : programming and operating systems / Harry Katzan |
| Autore | Katzan, Harry |
| Pubbl/distr/stampa | New York : Van Nostrand Reinhold Co., 1970 |
| Descrizione fisica | xii, 285 p. ; 24 cm. |
| Disciplina | 001.6425 |
| Collana | Computer science series ; 3 |
| Soggetto topico |
Monitors
Operating systems Programming Programming languages |
| ISBN | 0442156405 |
| Classificazione |
AMS 68N05
AMS 68N15 AMS 68N25 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000646849707536 |
|
Katzan, Harry
|
||
| New York : Van Nostrand Reinhold Co., 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algorithms : the construction, proof, and analysis of programs / Pierre Berlioux, Philippe Bizard ; transl. A. Williams
| Algorithms : the construction, proof, and analysis of programs / Pierre Berlioux, Philippe Bizard ; transl. A. Williams |
| Autore | Berlioux, Pierre |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Chichester : J. Wiley & Sons, 1986 |
| Descrizione fisica | ix, 144 p. ; 23 cm. |
| Disciplina | 001.642 |
| Altri autori (Persone) |
Bizard, Philippeauthor
Williams, Annyl |
| Soggetto topico |
Algorithms
Electronic digital computers Programming |
| ISBN | 0471908444 |
| Classificazione |
AMS 68Q
LC QA76.6.B471913 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000669069707536 |
|
Berlioux, Pierre
|
||
| Chichester : J. Wiley & Sons, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Analisi finanziaria delle operazioni di leasing. Tesi di laurea / laureando A. Peluso ; relat. M. Giordano
| Analisi finanziaria delle operazioni di leasing. Tesi di laurea / laureando A. Peluso ; relat. M. Giordano |
| Autore | Peluso, Antonio |
| Pubbl/distr/stampa | Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1985-86 |
| Altri autori (Persone) | Giordano, Marcello |
| Soggetto topico |
Economics
Finance, portfolios, investment Programming |
| Classificazione |
AMS 90-XX
AMS 90A09 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | || |
| Record Nr. | UNISALENTO-991000673319707536 |
|
Peluso, Antonio
|
||
| Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1985-86 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Automata, languages and programming : 10th colloquium Barcelona, Spain, July 18-22, 1983 / edited by J. Diaz
| Automata, languages and programming : 10th colloquium Barcelona, Spain, July 18-22, 1983 / edited by J. Diaz |
| Autore | Díaz, Josep I. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1983 |
| Descrizione fisica | viii, 733 p. ; 24 cm. |
| Disciplina | 001.6424 |
| Soggetto topico |
Programming
Programming languages |
| ISBN | 3540123172 |
| Classificazione | AMS 68N15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000708359707536 |
|
Díaz, Josep I.
|
||
| Berlin : Springer-Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Automata, languages and programming : ninth colloquium Aarhus, Denmark, July 12-16, 1982 / edited by M. Nielsen and E. M. Schmidt
| Automata, languages and programming : ninth colloquium Aarhus, Denmark, July 12-16, 1982 / edited by M. Nielsen and E. M. Schmidt |
| Autore | Nielsen, Mogens |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1982 |
| Descrizione fisica | vii, 613 p. ; 25 cm. |
| Disciplina | 001.6424 |
| Altri autori (Persone) | Schmidt, Erik Meineche |
| Soggetto topico |
Programming
Programming languages |
| ISBN | 3540115765 |
| Classificazione | AMS 68N15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000708299707536 |
|
Nielsen, Mogens
|
||
| Berlin : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Automata, languages and programming : proceedings of a symposium organized by IRIA Institut de recherche d'informatique et d'automatique, 78-Rocquencourt, France, July 3-7, 1972 / edited by M. Nivat
| Automata, languages and programming : proceedings of a symposium organized by IRIA Institut de recherche d'informatique et d'automatique, 78-Rocquencourt, France, July 3-7, 1972 / edited by M. Nivat |
| Autore | Nivat, M. |
| Pubbl/distr/stampa | Amsterdam : North-Holland ; New York : American Elsevier, 1973 |
| Descrizione fisica | 622 p. ; 23 cm. |
| Disciplina | 001.6464 |
| Altri autori (Enti) | Institut de recherche d'informatique et d'automatique |
| Soggetto topico |
Programming
Programming languages |
| ISBN | 0720420741 |
| Classificazione | AMS 68N15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000708149707536 |
|
Nivat, M.
|
||
| Amsterdam : North-Holland ; New York : American Elsevier, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computability and decidability : an introduction for students of computer science / J. Loeckx
| Computability and decidability : an introduction for students of computer science / J. Loeckx |
| Autore | Loeckx, Jacques J. C. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1972 |
| Descrizione fisica | vi, 76 p. : ill. ; 26 cm. |
| Disciplina | 001.535 |
| Collana | Lecture notes in economics and mathematical systems, 0075-8442 ; 68 |
| Soggetto topico |
Automata theory
Programming Sequential machine theory Turing machines |
| ISBN | 3540058699 |
| Classificazione |
AMS 68N05
AMS 68Q68 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000772929707536 |
|
Loeckx, Jacques J. C.
|
||
| Berlin : Springer-Verlag, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Cones, matrices and mathematical programming / A. Berman
| Cones, matrices and mathematical programming / A. Berman |
| Autore | Berman, Abraham |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1973 |
| Descrizione fisica | iv, 96 p. ; 26 cm. |
| Disciplina | 519.7 |
| Collana | Lecture notes in economics and mathematical systems, 0075-8442 ; 79 |
| Soggetto topico |
Convex domains
Matrices Programming |
| ISBN | 3540061231 |
| Classificazione | AMS 90C |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000780269707536 |
|
Berman, Abraham
|
||
| Berlin ; New York : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
CONLAN report / R. Piloty ... [et al.]
| CONLAN report / R. Piloty ... [et al.] |
| Autore | Barbacci, Mario R. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1983 |
| Descrizione fisica | xi, 174 p. ; 25 cm. |
| Disciplina |
001.6424
621.381952 |
| Altri autori (Persone) |
Borrione, Domenique
Piloty, Robert |
| Soggetto topico |
CONLAN (Computer hardware description language)
Programming |
| ISBN | 3540122753 |
| Classificazione | AMS 68N05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000782559707536 |
|
Barbacci, Mario R.
|
||
| Berlin : Springer-Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
