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.
The Discrete Math Workbook : A Companion Manual for Practical Study / / by Sergei Kurgalin, Sergei Borzunov
| The Discrete Math Workbook : A Companion Manual for Practical Study / / by Sergei Kurgalin, Sergei Borzunov |
| Autore | Kurgalin Sergei |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIII, 485 p. 90 illus., 10 illus. in color.) |
| Disciplina | 004.151 |
| Collana | Texts in Computer Science |
| Soggetto topico |
Computer science - Mathematics
Discrete mathematics Algorithms Computers Professions Discrete Mathematics in Computer Science Discrete Mathematics The Computing Profession |
| ISBN | 3-319-92645-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamentals of Mathematical Logic -- Set Theory -- Relations and Functions -- Combinatorics -- Graphs -- Boolean Algebra -- Complex Numbers -- Recurrence Relations -- Concept of an Algorithm, Correctness of Algorithms -- Turing Machine -- Asymptotic Analysis -- Basic Algorithms -- Parallel Algorithms. |
| Record Nr. | UNINA-9910299352103321 |
Kurgalin Sergei
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / / edited by Brijesh Dongol, Luigia Petre, Graeme Smith
| Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / / edited by Brijesh Dongol, Luigia Petre, Graeme Smith |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 245 p. 545 illus., 53 illus. in color.) |
| Disciplina |
004.0151
004.151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Compilers (Computer programs) Software engineering Logic programming Algorithms Formal Languages and Automata Theory Compilers and Interpreters Software Engineering Logic in AI |
| ISBN | 3-030-32441-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques. |
| Record Nr. | UNINA-9910349279903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pairwise independence and derandomization / Michael Luby, Avi Wigderson
| Pairwise independence and derandomization / Michael Luby, Avi Wigderson |
| Autore | Luby, Michael |
| Pubbl/distr/stampa | Boston ; Delft : Now, c2006 |
| Descrizione fisica | ix, 67 p. ; 24 cm |
| Disciplina | 004.151 |
| Altri autori (Persone) | Wigderson, Aviauthor |
| Collana | Foundations and trends in theoretical computer science ; 1, n. 4 (2005) |
| Soggetto topico |
Computer science - Mathematics
Computer science - Statistical methods Computational complexity Numbers, Random |
| ISBN | 1933019220 |
| Classificazione |
AMS 68W20
LC QA76.9.M35L83 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002460969707536 |
|
Luby, Michael
|
||
| Boston ; Delft : Now, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||