top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
1. Facthtagung uber Programmiersprachen, Munchen, 9-11, Marz 1971 / von Hans Langmaack, Paul Manfred
1. Facthtagung uber Programmiersprachen, Munchen, 9-11, Marz 1971 / von Hans Langmaack, Paul Manfred
Autore FACHTAGUNG UBER PROGRAMMIERSPRACHEN : <1. ; : 1971
Pubbl/distr/stampa Berlin : Springer Verlag, 1972
Descrizione fisica 280 p. ; 24 cm
Disciplina 510
001
Collana Lecture notes in economics and mathematical systems
Soggetto non controllato Atti di convegni
Programmazione dei calcolatori - teoria generale
ISBN 3540060510
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNINA-990002577820403321
FACHTAGUNG UBER PROGRAMMIERSPRACHEN : <1. ; : 1971  
Berlin : Springer Verlag, 1972
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
1.B: Translation of ALGOL 60 / A. A. Grau, U. Hill, H. Langmaack
1.B: Translation of ALGOL 60 / A. A. Grau, U. Hill, H. Langmaack
Autore Grau, Albert A.
Pubbl/distr/stampa Berlin, : Springer, 1967
Descrizione fisica ix, 403 p. : ill. ; 24 cm
Altri autori (Persone) Hill, Ursula
Langmaack, Hans
Soggetto topico 65-XX - Numerical analysis [MSC 2020]
Soggetto non controllato Algol 60
Algorithms
Arithmetic
Calculation
Functions
Mathematics
Numerical Analysis
Optimization
Programming
Programming language
Variables
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0254577
Grau, Albert A.  
Berlin, : Springer, 1967
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1.B: Translation of ALGOL 60 / A. A. Grau, U. Hill, H. Langmaack
1.B: Translation of ALGOL 60 / A. A. Grau, U. Hill, H. Langmaack
Autore Grau, Albert A.
Pubbl/distr/stampa Berlin, : Springer, 1967
Descrizione fisica ix, 403 p. : ill. ; 24 cm
Altri autori (Persone) Hill, Ursula
Langmaack, Hans
Soggetto topico 65-XX - Numerical analysis [MSC 2020]
Soggetto non controllato Algol 60
Algorithms
Arithmetic
Calculation
Functions
Mathematics
Numerical Analysis
Optimization
Programming
Programming language
Variables
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00254577
Grau, Albert A.  
Berlin, : Springer, 1967
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1. Erste Fachtagung uber Programmiersprachen : Munchen, 9.-11. Marz 1971 / Hrsg. im Auftrag der Gesellschaft fur Informatik von Hans Langmaack und Manfred Paul
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
Opac: Controlla la disponibilità qui
Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working group provably correct systems - ProCoS : Lubeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil (eds.)
Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working group provably correct systems - ProCoS : Lubeck, Germany, September 19-23, 1994 : proceedings / H. Langmaack, W.-P. de Roever, J. Vytopil (eds.)
Autore Working group provably correct systems- ProCoS : <3. : ; 1994>
Pubbl/distr/stampa Berlin [etc.], : Springer, c1994
Descrizione fisica XIV, 787 p. ; 24 cm.
Disciplina 004.33
Collana Lecture notes in computer science
Soggetto topico Elaborazione dei dati - Congressi - 1994
ISBN 3540584684
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10008283
Working group provably correct systems- ProCoS : <3. : ; 1994>  
Berlin [etc.], : Springer, c1994
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Formal techniques in real-time andfault-tolerant systems : third international symposium, Lübeck, Germany, September 19-23, 1994: proceedings / H. Langmaack (ed.)
Formal techniques in real-time andfault-tolerant systems : third international symposium, Lübeck, Germany, September 19-23, 1994: proceedings / H. Langmaack (ed.)
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1994
Descrizione fisica XIV, 787 p. : ill. ; 24 cm
Disciplina 00433
Collana Lecture notes in computer science
Soggetto non controllato congressi - lübeck - 1994
elaboratori elettronici - congressi - 1994
elaborazione in tempo reale - congressi - 1994
ISBN 3-540-58468-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000204560203316
Berlin [etc.] : Springer-Verlag, copyr. 1994
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Translation of ALGOL 60 / A.A. Grau, U. Hill, H. Langmaack
Translation of ALGOL 60 / A.A. Grau, U. Hill, H. Langmaack
Autore Grau, Albert A.
Pubbl/distr/stampa Berlin ; Heidelberg : Springer-Verlag, 1967
Descrizione fisica 397 p. : ill. ; 24 cm
Disciplina 005.133
Altri autori (Persone) Hill, Ursula
Langmaack, Hans
Collana Handbook for automatic computation
Die Grundlehren der mathematischen Wissenschaften
Soggetto non controllato Linguaggi di programmazione
ALGOL
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990008676070403321
Grau, Albert A.  
Berlin ; Heidelberg : Springer-Verlag, 1967
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui