Automata, languages and programming : end colloquium, University of Saarbruchen July 29-August 2, 1974 / edited by Jacques Loeckx |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1974 |
Descrizione fisica | 619 p. ; 24 cm |
Disciplina | 001.642 |
Altri autori (Persone) | Loeckx, Jacques J. C. |
Collana | Lecture notes in computer science, 0302-9743 ; 14 |
Soggetto topico | Programming languages - Congresses |
ISBN | 3540068414 |
Classificazione |
AMS 68N05
AMS 68Q45 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000708219707536 |
Berlin : Springer-Verlag, 1974 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
1. Erste Fachtagung uber Programmiersprachen : Munchen, 9.-11. Marz 1971 / Hrsg. im Auftrag der Gesellschaft fur Informatik von Hans Langmaack und Manfred Paul |
Autore | Fachtagung uber Programmiersprachen <1. ; 1971 ; Munich> |
Pubbl/distr/stampa | Berlin ; Heidelberg ; New York : Springer-Verlag, 1972 |
Descrizione fisica | vi, 280 p. : ill. ; 27 cm. |
Disciplina | 001.6425 |
Altri autori (Persone) |
Langmaack, Hans
Paul, Manfred |
Collana |
Gesellschaft fur Informatik. Bericht ; 3
Lecture notes in economics and mathematical systems, 0075-8442 ; 75 |
Soggetto topico |
Electronic computers - Congresses
Programming languages - Congresses |
ISBN | 3540060510 |
Classificazione |
AMS 68N05
AMS 68N15 AMS 68N20 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000870119707536 |
Fachtagung uber Programmiersprachen <1. ; 1971 ; Munich> | ||
Berlin ; Heidelberg ; New York : Springer-Verlag, 1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Bohm |
Autore | Istituto per le applicazioni del calcolo |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
Descrizione fisica | xii, 370 p. : ill. ; 24 cm. |
Disciplina | 511.3 |
Altri autori (Persone) | Bohm, C. |
Soggetto topico |
Combinatory logic - Congresses
Lambda calculus Programming languages - Congresses |
ISBN | 3540074163 |
Classificazione |
AMS 03-06
AMS 03B40 AMS 68-06 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001056669707536 |
Istituto per le applicazioni del calcolo | ||
Berlin ; New York : Springer-Verlag, 1975 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Unternehmensforschung heute : ubersichtsvortrage der Zuricher Tagung von SVOR und DGU, September 1970 / herausgegeben von M. Beckmann |
Autore | Deutsche Gesellschaft fur Unternehmensforschung <Munchen> |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1971 |
Descrizione fisica | 133 p. : ill. ; 26 cm. |
Disciplina | 338.04 |
Altri autori (Persone) | Beckmann, Martin J. |
Altri autori (Enti) |
Schweizerische Vereinigung fur Operations Research |
Collana | Lecture notes in operations research and mathematical systems ; 50 |
Soggetto topico |
Operations research - Congresses
Production theory - Congresses Programming languages - Congresses |
ISBN | 3540055134 |
Classificazione | AMS 90A11 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISALENTO-991001470219707536 |
Deutsche Gesellschaft fur Unternehmensforschung <Munchen> | ||
Berlin ; New York : Springer-Verlag, 1971 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|