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.
2
2
Pubbl/distr/stampa Los Alamitos, Ca. [etc.], : IEEE computer society press, c1990
Descrizione fisica IX, 396 p. ; 29 cm
Disciplina 004.01
004.0151
ISBN 0818689455
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-MIL0047270
Los Alamitos, Ca. [etc.], : IEEE computer society press, c1990
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Algebraic theory of processes / Matthew Hennessy
Algebraic theory of processes / Matthew Hennessy
Autore Hennessy, Matthew
Pubbl/distr/stampa Cambridge (Mass.) ; London, : MIT Press, c1988
Descrizione fisica 272 p. ; 24 cm
Disciplina 004.01
004.0151
Collana MIT press series in the foundations of computing
Soggetto topico Elaborazione elettronica
Matematica - Applicazioni all'informatica
ISBN 0262081717
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-MIL0047416
Hennessy, Matthew  
Cambridge (Mass.) ; London, : MIT Press, c1988
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Approximation algorithms for combinatorial optimization : third International workshop, APPROX 2000 : Saarbrucken, Germany, September 5-8, 2000 : proceedings / Klaus Jansen... <et al.> (eds.)
Approximation algorithms for combinatorial optimization : third International workshop, APPROX 2000 : Saarbrucken, Germany, September 5-8, 2000 : proceedings / Klaus Jansen... <et al.> (eds.)
Autore International workshop APPROX <3. ; 2000 ; Saarbrucken>
Pubbl/distr/stampa Berlino : Springer-Verlag, c2000
Descrizione fisica IX, 273 p. : ill. ; 20 cm
Disciplina 004.0151
Collana Lecture notes in computer science
Soggetto non controllato Algoritmi - Congressi - 2000
Approssimazione (matematica) - Congressi
Congressi - Saarbrucken - 2000
ISBN 3-540-67996-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000338470203316
International workshop APPROX <3. ; 2000 ; Saarbrucken>  
Berlino : Springer-Verlag, c2000
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Approximation algorithms for combinatorial optimization : 5th International workshop, APPROX 2002 : Rome, Italy, September 17-21, 2002 : proceedings / Klaus Jansen... <et al.> (eds.)
Approximation algorithms for combinatorial optimization : 5th International workshop, APPROX 2002 : Rome, Italy, September 17-21, 2002 : proceedings / Klaus Jansen... <et al.> (eds.)
Autore International workshop, APPROX 2002 <5. ; 2002 ; Roma >
Pubbl/distr/stampa Berlin : Springer-Verlag, copyr.2002
Descrizione fisica VIII, 269 p. : ill. ; 20 cm
Disciplina 004.0151
Collana Lecture notes in computer science
Soggetto non controllato Algoritmi - Congressi - 2002
Approssimazione (matematica) - Congressi
ISBN 3-540-44186-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990001117110203316
International workshop, APPROX 2002 <5. ; 2002 ; Roma >  
Berlin : Springer-Verlag, copyr.2002
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Automata logics and infinite games : a guide to current research / Erich Grädel, Wolfgang Thomas, Thomas Wilke (Eds.)
Automata logics and infinite games : a guide to current research / Erich Grädel, Wolfgang Thomas, Thomas Wilke (Eds.)
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2002
Descrizione fisica VIII, 385 p. : ill. ; 24 cm.
Disciplina 004.0151
Collana Lecture notes in computer science
Soggetto non controllato Scienza del computer
ISBN 3-540-00388-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990001889370203316
Berlin [etc.] : Springer, copyr. 2002
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computation and logic in the real world : Third conference on computability in Europe, CiE 2007 : Siena, Italy, June 18-23, 2007 : proceedings / S. Barry Cooper, Benedikt Lowe, Andrea Sorbi (Eds.)
Computation and logic in the real world : Third conference on computability in Europe, CiE 2007 : Siena, Italy, June 18-23, 2007 : proceedings / S. Barry Cooper, Benedikt Lowe, Andrea Sorbi (Eds.)
Autore Conference on Computability in Europe, CiE 2007 : <3.; : 2007
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2007
Descrizione fisica XVIII, 826 p. ; 24 cm
Disciplina 004.0151
Collana Lecture notes in computer science
Soggetto topico Principi matematici - Congressi - Siena - 2007
ISBN 3-540-73000-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003081540203316
Conference on Computability in Europe, CiE 2007 : <3.; : 2007  
Berlin [etc.] : Springer, copyr. 2007
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer arithmetic / edited by Earl E. Swartzlander
Computer arithmetic / edited by Earl E. Swartzlander
Pubbl/distr/stampa Los Alamitos, Ca. [etc.], : IEEE computer society press, c1990
Descrizione fisica 2 v. ; 29 cm.
Disciplina 004.01
004.0151
Collana IEEE computer society press tutorial
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-MIL0047266
Los Alamitos, Ca. [etc.], : IEEE computer society press, c1990
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Discrete mathematics / Norman L. Biggs
Discrete mathematics / Norman L. Biggs
Autore Biggs, Norman
Edizione [2. ed.]
Pubbl/distr/stampa New York : Oxford University Press, ©2002
Descrizione fisica XIV, 425 p. ; 25 cm
Disciplina 004.0151
Soggetto non controllato Computer - Matematica
ISBN 0198507186
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990007453200403321
Biggs, Norman  
New York : Oxford University Press, ©2002
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Discrete mathematics / Norman L. Biggs
Discrete mathematics / Norman L. Biggs
Autore Biggs, Norman
Edizione [2nd ed.]
Pubbl/distr/stampa Oxford [England] ; New York : Oxford University Press, 2002
Descrizione fisica xiv, 425 p. : ill. ; 26 cm
Disciplina 004.0151
Soggetto topico Computer science - Mathematics
ISBN 0198507178
Classificazione AMS 05-01
AMS 05C
AMS 20-XX
LC QA76.9.M35B54
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b12628712
Biggs, Norman  
Oxford [England] ; New York : Oxford University Press, 2002
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Discrete mathematics for computing / John E. Munro
Discrete mathematics for computing / John E. Munro
Autore Munro, John E.
Pubbl/distr/stampa London [etc.], : Chapman & Hall, 1992
Descrizione fisica IX, 306 p. ; 25 cm.
Disciplina 004.01
004.0151
Soggetto topico Calcolo meccanico
ISBN 0412456508
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-NAP0418420
Munro, John E.  
London [etc.], : Chapman & Hall, 1992
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui