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)
Lectures in game theory for computer scientists / edited by Krzysztof R. Apt, Erich Gradel
Lectures in game theory for computer scientists / edited by Krzysztof R. Apt, Erich Gradel
Autore Apt, Krzysztof R.
Pubbl/distr/stampa Cambridge : Cambridge University Press, @2011
Descrizione fisica xii, 295 p. : ill. ; 26 cm
Disciplina 510.78
Altri autori (Persone) Gradel, Erich
Soggetto non controllato Teoria dei giochi
Modelli matematici
Computer science
ISBN 978-0-521-19866-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990010092720403321
Apt, Krzysztof R.
Cambridge : Cambridge University Press, @2011
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rudiger Olderog
Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rudiger Olderog
Autore Apt, Krzysztof R.
Edizione [2nd ed]
Pubbl/distr/stampa Berlino : Springer-Verlag, copyr. 1997
Descrizione fisica XVII, 364 p. : ill. ; 23 cm. -
Disciplina 0051
Collana Graduate texts in computer science
Soggetto (Convegno) Elaboratori elettronici Programmazione
software Vverifica
ISBN 0-387-94896-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000270630203316
Apt, Krzysztof R.  
Berlino : Springer-Verlag, copyr. 1997
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui