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.
A Survey of Verification Techniques for Parallel Programs / by Barringer
A Survey of Verification Techniques for Parallel Programs / by Barringer
Autore Barriere
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1985
Collana Lecture notes in computer science
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001130390403321
Barriere  
Berlin [etc.] : Springer-Verlag, 1985
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A survey of verification techniques for parallel programs / Howard Barringer
A survey of verification techniques for parallel programs / Howard Barringer
Autore Barringer, Howard
Pubbl/distr/stampa Berlin ; Heidelberg : Springer-Verlag, ©1985
Descrizione fisica 115 p. : ill. ; 24 cm
Disciplina 004.35
Collana Lecture notes in computer science
Soggetto non controllato Programmazione parallela
ISBN 3-540-15239-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000470570403321
Barringer, Howard
Berlin ; Heidelberg : Springer-Verlag, ©1985
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A Surveys of Binary Systems / By Richard Hubert Bruck
A Surveys of Binary Systems / By Richard Hubert Bruck
Autore Bruck, Richard Hubert
Edizione [2nd printing]
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1966
Disciplina 512
Collana Ergebnisse der Mathematik und ihrer Grenzgebiete
Soggetto non controllato Algebra
Teoria delle equazioni
Calcolo vettoriale
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000968920403321
Bruck, Richard Hubert  
Berlin [etc.] : Springer-Verlag, 1966
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A symplectic framework for field theories / jerzy Kijowski, Wlodzimierz M. Tulczyjew
A symplectic framework for field theories / jerzy Kijowski, Wlodzimierz M. Tulczyjew
Autore Kijowski, Jerzy
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1979
Descrizione fisica 257 p. : ill. ; 24 cm
Collana Lecture notes in physics
Soggetto non controllato Geometria descrittiva, analitica, differenziale
ISBN 3-540-09538-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001016120403321
Kijowski, Jerzy  
Berlin [etc.] : Springer-Verlag, 1979
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A system 5. guide to UNIX and XENIX / Douglas William Topham
A system 5. guide to UNIX and XENIX / Douglas William Topham
Autore Topham, Douglas William <1942- >
Pubbl/distr/stampa New York [etc.], : Springer-Verlag, c1990
Descrizione fisica XXII, 733 p. ; 24 cm.
Disciplina 005.4
005.43
Soggetto topico Sistemi operativi
ELABORATORI ELETTRONICI - Sistema operativo UNIX
ISBN 0387970215
3540970215
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti A system five guide to UNIX and XENIX
Record Nr. UNISANNIO-NAP0404197
Topham, Douglas William <1942- >  
New York [etc.], : Springer-Verlag, c1990
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
A theory of dinamics : The ecological implications of forest succession models / Herman H. Shugart
A theory of dinamics : The ecological implications of forest succession models / Herman H. Shugart
Autore Shugart, Herman Henry
Pubbl/distr/stampa New York : Springer-Verlag, 1984
Descrizione fisica xiv, 278 p. : ill. ; 25 cm
Soggetto non controllato Ecologia
ISBN 0-387-96000-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001463690403321
Shugart, Herman Henry  
New York : Springer-Verlag, 1984
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A Theory of Elasticity with Microstructure for Directionally Reinforced Composites / di Achenbach,J.D.
A Theory of Elasticity with Microstructure for Directionally Reinforced Composites / di Achenbach,J.D.
Autore Achenbach, J. D.
Pubbl/distr/stampa Wien [etc.] : Springer-Verlag, 1975
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001128070403321
Achenbach, J. D.  
Wien [etc.] : Springer-Verlag, 1975
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A Theory of Objects / Martin Abadi, Luca Cardelli
A Theory of Objects / Martin Abadi, Luca Cardelli
Autore Abadi, Martin
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, 1996
Descrizione fisica xiii, 396 p. ; 24 cm
Disciplina 510.78
Collana Monographs in computer science
Soggetto non controllato Teoria della programmazione e utilizzazione dei computers
Software
ISBN 0-387-94775-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001358020403321
Abadi, Martin  
New York [etc.] : Springer-Verlag, 1996
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A Theory of Semigroup Valued Measures / by SION Maurice
A Theory of Semigroup Valued Measures / by SION Maurice
Autore Sion, Maurice
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1973
Collana Lecture Notes in Mathematics
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001194050403321
Sion, Maurice  
Berlin [etc.] : Springer-Verlag, 1973
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A theory of supercritical wing sections, with comuter programs and examples / F. Bauer, P. Garabedian, D. Korn
A theory of supercritical wing sections, with comuter programs and examples / F. Bauer, P. Garabedian, D. Korn
Autore BAUER, Frances
Pubbl/distr/stampa Berlin : Springer-Verlag, 1972
Descrizione fisica XII, 143 p. : graf. ; 24 cm
Altri autori (Persone) GARABEDIAN, P.
Collana Lectures notes in economics and mathematical systems
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003316120203316
BAUER, Frances  
Berlin : Springer-Verlag, 1972
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...