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.
4 : Output Routines, Tables. XXII, 422 p.
4 : Output Routines, Tables. XXII, 422 p.
Autore Bechtolsheim, Stephan : von
Pubbl/distr/stampa New York : Springer-Verlag, 1993
Descrizione fisica 4 v. 24 cm - (Monographs in Visual Communi cation)
Disciplina 686.2
Collana Monographs in Visual Communication
ISBN 0-387-97595-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990000869470403321
Bechtolsheim, Stephan : von  
New York : Springer-Verlag, 1993
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
4: Output Routines, Tables / Stephan von Bechtolsheim
4: Output Routines, Tables / Stephan von Bechtolsheim
Autore Bechtolsheim, Stephan : von
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, c1993
Descrizione fisica XXXVI, 422 p. ; 25 cm
ISBN 0387975985
3540975985
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-UBO0066221
Bechtolsheim, Stephan : von  
New York [etc.] : Springer-Verlag, c1993
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
4th IFAC/IFIP International conference on digital computer applications to process control. Zurich, Switzerland, march 19-22, 1974 / Edited by M. Mansour and W. Schaufelberger
4th IFAC/IFIP International conference on digital computer applications to process control. Zurich, Switzerland, march 19-22, 1974 / Edited by M. Mansour and W. Schaufelberger
Autore IFAC/IFIP International conference on digital computer applications to process control : <4.; : 1974
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1974
Descrizione fisica v. 2 ; 24 cm
Collana Lecture notes in economics and mathematical systems
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003317760203316
IFAC/IFIP International conference on digital computer applications to process control : <4.; : 1974  
Berlin [etc.] : Springer-Verlag, 1974
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
6: Integration. 222 p.
6: Integration. 222 p.
Autore Engeln
Pubbl/distr/stampa Berlin : Springer-Verlag, 1996
Descrizione fisica XXII, 596 p. : 46 fig. ; 24 cm
Disciplina 005.1
Altri autori (Persone) Mullges, Gisela
Uhlig, Frank
ISBN 3-540-60530-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000871190403321
Engeln  
Berlin : Springer-Verlag, 1996
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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-b10834047
International conference on automated deduction <7. ; 1984 ; Napa, California>  
Berlin ; New York : Springer-Verlag, 1984
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 Proceedings / edited by Ewing Lusk and Ross Overbeek
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 Proceedings / edited by Ewing Lusk and Ross Overbeek
Autore Lusk, Ewing
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1988
Disciplina 510.78
Collana Lecture notes in computer science
Soggetto non controllato Teoria della programmazione e utilizzazione dei computers
Software
ISBN 3-540-19343-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001099510403321
Lusk, Ewing  
Berlin [etc.] : Springer-Verlag, 1988
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
[Omega] bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski
[Omega] bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, c1987-
Descrizione fisica 6 v. ; 28 cm
Collana Perspectives in mathematical logic
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Bibliography of mathematical logic
Record Nr. UNINA-990009132090403321
Berlin ; New York : Springer-Verlag, c1987-
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A basic course in algebraic topology / William S. Massey
A basic course in algebraic topology / William S. Massey
Autore Massey, William S.
Pubbl/distr/stampa New York : Springer-Verlag, 1991
Descrizione fisica XVI, 428 p., 24 cm
Disciplina 514.2
Collana Graduate texts in mathematics
Soggetto non controllato Topologia algebrica
ISBN 0-387-9743o-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001314050403321
Massey, William S.  
New York : Springer-Verlag, 1991
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll
A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll
Autore Arbib, Michael A. <1940- >
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, 1981
Descrizione fisica VIII, 220 p. ; 25 cm
Altri autori (Persone) Moll, Robert N.
Kfoury, A. J.
Collana Texts and monographs in computer science
Soggetto non controllato Computer science - Manuali
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001124570403321
Arbib, Michael A. <1940- >  
New York [etc.] : Springer-Verlag, 1981
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A beginner's book of TEX / Raymond Seroul, Silvio Levy ; foreword by Dominique Foata
A beginner's book of TEX / Raymond Seroul, Silvio Levy ; foreword by Dominique Foata
Autore Seroul, Raymond
Edizione [Corrected 2. printing]
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, 1992
Descrizione fisica XIX, 284 p. ; 24 cm.
Disciplina 686.2
686.22544
Soggetto topico Microelaboratori elettronici - Programmi TEX
Composizione tipografica - Programmi per microelaboratori
ISBN 0387975624
3540975624
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNISANNIO-USM1475746
Seroul, Raymond  
New York [etc.] : Springer-Verlag, 1992
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...