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.
25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (Eds.)
25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (Eds.)
Pubbl/distr/stampa Berlin (etc.) : Springer, copyr. 2008
Descrizione fisica VI, 230 p. : ill. ; 24 cm
Disciplina 004.24
Collana Lecture Notes in Computer Science, Festschrift
Soggetto topico Sistemi Complessi
ISBN 978-3-540-69849-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003147120203316
Berlin (etc.) : Springer, copyr. 2008
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
2: Advanced theory and bundle methods / Jean-Baptiste Hiriart-Urruty, Claude Lemarechal
2: Advanced theory and bundle methods / Jean-Baptiste Hiriart-Urruty, Claude Lemarechal
Autore Hiriart-Urruty, Jean-Baptiste
Pubbl/distr/stampa Berlin : Springer, 1993
Descrizione fisica XVII, 346 p. : ill. ; 24 cm.
Altri autori (Persone) Lemarechal, Claude
Soggetto topico Convex programming [MSC 2010] 90C25
Calculus of variations and optimal control; optimization [MSC 2010] 49-XX
Optimization and variational techniques [MSC 2010] 65K10
Convex functions and convex programs [MSC 2010] 52A41
Convexity, generalizations [MSC 2010] 26B25
Nonsmooth analysis [MSC 2010] 49J52
ISBN 978-35-405-6852-0
35-405-6852-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0055640
Hiriart-Urruty, Jean-Baptiste  
Berlin : Springer, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
2: Applications / Robert S. Liptser, Albert N. Shiryaev ; translation editor: Stephen S. Wilson
2: Applications / Robert S. Liptser, Albert N. Shiryaev ; translation editor: Stephen S. Wilson
Autore Liptser, Robert Shevilevich
Edizione [2.]
Pubbl/distr/stampa Berlin : Springer, 2001
Descrizione fisica XV, 402 p. ; 24 cm.
Altri autori (Persone) Shiryaev, Albert Nikolaevic
Soggetto topico Stochastic analysis [MSC 2010] 60Hxx
Markov processes [MSC 2010] 60Jxx
Stochastic processes [MSC 2010] 60Gxx
Sequential methods [MSC 2010] 62Lxx
Inference from stochastic processes [MSC 2010] 62Mxx
Stochastic systems and control [MSC 2010] 93Exx
Communication theory [MSC 2010] 94A05
Survival analysis and censored data [MSC 2010] 62Nxx
ISBN 35-406-3928-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0057280
Liptser, Robert Shevilevich  
Berlin : Springer, 2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
2: Applications in medical and pharmaceutical sciences / Graham A. Webb
2: Applications in medical and pharmaceutical sciences / Graham A. Webb
Autore Webb, Graham A.
Pubbl/distr/stampa Dordrecht : Springer, 2008
Descrizione fisica XXVI, 973-1434 p. : ill. ; 27 cm.
Disciplina 543.65(Spettrometria di massa. Spettroscopia di massa)
ISBN 978-14-02-03894-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0071608
Webb, Graham A.  
Dordrecht : Springer, 2008
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
2: Boundary regularity / Ulrich Dierkes ... [et al.]
2: Boundary regularity / Ulrich Dierkes ... [et al.]
Pubbl/distr/stampa Berlin : Springer, 1992
Descrizione fisica XI, 421 p., [4] p. di tav. : ill. ; 24 cm.
Soggetto topico Calculus of variations and optimal control; optimization [MSC 2010] 49-XX
Partial differential equations [MSC 2010] 35-XX
Differential geometry [MSC 2010] 53-XX
Minimal surfaces [MSC 2010] 49Q05
Minimal surfaces, surfaces with prescribed mean curvature [MSC 2010] 53A10
Nonlinear elliptic equations [MSC 2010] 35J60
ISBN 35-405-3170-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0027066
Berlin : Springer, 1992
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
2: Cohomology of algebraic varieties. Algebraic surfaces / I. R. Shafarevich (ed.)
2: Cohomology of algebraic varieties. Algebraic surfaces / I. R. Shafarevich (ed.)
Pubbl/distr/stampa Berlin : Springer, 1996
Descrizione fisica VII, 264 p. : ill. ; 24 cm.
Soggetto topico Algebraic geometry [MSC 2010] 14-XX
Collections of articles of miscellaneous specific content [MSC 2010] 00B15
ISBN 8-3-642-64607-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0043151
Berlin : Springer, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
2: Commentary and apparatus
2: Commentary and apparatus
Autore Al-Tusi, Nasir al-Din Muhammad ibn Muhammad <1201-1274>
Pubbl/distr/stampa New York : Springer, 1993
Descrizione fisica P. XIII, 376-656 p. : ill. ; 24 cm.
Soggetto topico History and biography [MSC 2010] 01-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ara
eng
Record Nr. UNICAMPANIA-SUN0053124
Al-Tusi, Nasir al-Din Muhammad ibn Muhammad <1201-1274>  
New York : Springer, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
2: Commentary, figures and indexes
2: Commentary, figures and indexes
Pubbl/distr/stampa New York : Springer, 1990
Descrizione fisica P. 551-888 : ill. ; 24 cm.
Soggetto topico History and biography [MSC 2010] 01-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ara
eng
Record Nr. UNICAMPANIA-SUN0050228
New York : Springer, 1990
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
2: Commentary, index and figures / Pappus of Alexandria
2: Commentary, index and figures / Pappus of Alexandria
Autore Pappus : Alexandrinus
Pubbl/distr/stampa New York : Springer, 1986
Descrizione fisica VI, P. 378-748 : ill. ; 24 cm.
Soggetto topico Greek, Roman [MSC 2010] 01A20
ISBN 978-03-87962-57-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0055434
Pappus : Alexandrinus  
New York : Springer, 1986
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
2: Compactness, homologies of general spaces / A. V. Arhangel'skii (ed.)
2: Compactness, homologies of general spaces / A. V. Arhangel'skii (ed.)
Pubbl/distr/stampa Berlin : Springer, 1996
Descrizione fisica 256 p. ; 24 cm.
Soggetto topico Homology and cohomology theories [MSC 2010] 55Nxx
Fairly general properties [MSC 2010] 54Dxx
ISBN 978-35-405-4695-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0062912
Berlin : Springer, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...