Arora, Sanjeev:
Computational complexity : a modern approach / Sanjeev Arora (Princeton University), Boaz Barak (Princeton University). - Cambridge : Cambridge University Press, [2009]. - 1 Online-Ressource (xxiv, 579 Seiten) : Diagramme
Includes bibliographical references and index
ISBN 978-0-511-80409-0
BV048201904
Schlagwort: Komplexitätstheorie
Schlagwort: Berechnungskomplexität
RVK: ST 134
Blackburn, Patrick:
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema. - Cambridge : Cambridge University Press, 2001. - 1 online resource (xxii, 554 pages). - (Cambridge tracts in theoretical computer science ; 53)
Title from publisher's bibliographic system (viewed on 05 Oct 2015)
ISBN 978-1-107-05088-4
BV043940694
Schlagwort: Modallogik
Volltext
Bolboaca, Alexandru:
Hands-On functional programming with C++ : an effective guide to writing accelerated functional code using C++17 and C++20 / Alexandru Bolboaca. - Birmingham ; Mumbai : Packt, 2019. - vii, 343 Seiten
ISBN 978-1-78980-733-2
BV047924569
Booth, Wayne C. ¬[Verfasser]:
¬The craft of research / Wayne C. Booth, Gregory G. Colomb, Joseph M. Williams, Joseph Bizup, William T. FitzGerald. - Fourth edition. - Chicago ; London : The University of Chicago Press, 2016. - xvi, 316 Seiten : Diagramme. - (Chicago guides to writing, editing, and publishing)
Includes bibliographical references and index. - Hier auch später erschienene, unveränderte Nachdrucke
ISBN 978-0-226-23956-9 - ISBN 978-0-226-23973-6
BV043821375
Schlagwort: Wissenschaftliches Arbeiten
Schlagwort: Wissenschaftlicher Text
Schlagwort: Sozialwissenschaften, Methodologie
RVK: RB 10038
RVK: QB 300
RVK: SR 990
RVK: QB 300
RVK: AK 39500
RVK: AK 39540
Inhaltsverzeichnis
Goldreich, Oded:
Computational complexity : a conceptual perspective / Oded Goldreich. - 1. publ. - Cambridge [u.a.] : Cambridge Univ. Press, 2008. - XXIV, 606 S. : graph. Darst.
Includes bibliographical references and index
ISBN 978-0-521-88473-0
BV023326311
Schlagwort: Berechnungskomplexität
Schlagwort: Turing-Maschine
RVK: ST 134
Inhaltsverzeichnis
weiterführender Link
Publisher description
Table of contents
Higham, Nicholas J. ¬[Verfasser]:
Handbook of writing for the mathematical sciences / Nicholas J. Higham, University of Manchester, Manchester, United Kingdom. - third edition. - Philadelphia, PA : SIAM, Society for Industrial and Applied Mathematics, [2020]. - xxi, 353 Seiten : Illustration
ISBN 978-1-611976-09-0
BV046347794
Schlagwort: Mathematik, Veröffentlichung
Schlagwort: Mathematik, Wissenschaftliches Manuskript
RVK: AK 39580
RVK: SB 820
Okasaki, Chris:
Purely functional data structures / Chris Okasaki. - 1. paperback ed. - Cambridge u.a. : Cambridge Univ. Press, 1999. - X, 220 S. : graph. Darst.
Hier auch später erschienene, unveränderte Nachdrucke
ISBN 0-521-66350-4 - ISBN 978-0-521-66350-2 - ISBN 0-521-63124-6 - ISBN 978-0-521-63124-2
BV012740375
Schlagwort: Datenstruktur, Funktionale Programmiersprache, Standard ML
RVK: ST 230
RVK: ST 265
Security awareness : neue Wege zur erfolgreichen Mitarbeiter-Sensibilisierung / Michael Helisch ... (Hrsg.). Beitr. von Marcus Beyer ... - 1. Aufl., korr. Nachdr. - Wiesbaden : Vieweg + Teubner, 2010. - XIII, 317 S. : Ill., graph. Darst., 24 cm. - (Praxis) (Edition kes)
Literatur- und URL-Verz. S. 301 - 307
ISBN 978-3-8348-0668-0
BV036891720
Schlagwort: Unternehmen, Mitarbeiter, Werkschutz, Computersicherheit
RVK: ST 277
Stone, John David:
Algorithms for functional programming / John David Stone. - Softcover re-print of the hardcover 1st edition 2018. - Berlin : Springer, [2019]. - xv, 389 Seiten
ISBN 978-3-662-58609-9
BV048210701
Schlagwort: Funktionale Programmierung, Funktionale Programmiersprache
RVK: ST 240
RVK: ST 134
Wright, John:
High-dimensional data analysis with low-dimensional models : principles, computation, and applications / John Wright ; Columbia University, New York ; Yi Ma ; University of California, Berkeley. - Cambridge : Cambridge University Press, 2022. - xxix, 685 Seiten : Illustrationen, Diagramme
ISBN 978-1-108-48973-7
BV047919575