Skip to contents Knäuer, Simon [Author] ; Bodirsky, Manuel [Degree supervisor]; Bulatov, Andrei A. [Degree supervisor] Technische Universität Dresden Constraint network satisfaction for finite relation algebras Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, 03. April 2023 Wolfram, Stephen [Author] Metamathematics : foundations & physicalization - [First edition, second printing] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Champaign]: Wolfram Media, INC, [2022] Viola, Caterina [Author] ; Technische Universität Dresden Valued constraint satisfaction problems over infinite domains Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, 17. Juni 2020 Knuth, Donald Ervin [Author] The art of computer programming / Volume 1, Fundamental algorithms / Donald E. Knuth - [Third edition, the classic work updated and revised, fortieth printing] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Munich: Addison-Wesley, June 2019 Published in: The art of computer programming / Donald E. Knuth ; 1,3,40 Knuth, Donald Ervin [Author] The art of computer programming / Volume 2, Seminumerical algorithms / Donald E. Knuth - [Third edition, the classic work newly updated and revised, thirty-seventh printing] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Munich: Addison-Wesley, June 2019 Published in: The art of computer programming / Donald E. Knuth ; 2,3,37 Knuth, Donald Ervin [Author] The art of computer programming / Volume 3, Sorting and searching / Donald E. Knuth - [Second edition, the classic work newly updated and revised, thirty-seventh printing] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Munich: Addison-Wesley, June 2019 Published in: The art of computer programming / Donald E. Knuth ; 3,2,37 Knuth, Donald Ervin [Author] The art of computer programming / Volume 4A, Combinatorial algorithms, Part 1 - [11th printing, classic work extended and refined] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Reading, Mass.; Munich [u.a.]: Addison-Wesley, April 2018 Published in: The art of computer programming / Donald E. Knuth ; 4A,1 Kleinberg, Samantha [Author] Causality, probability, and time - [First paperback edition] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge: Cambridge University Press, 2018 Ottmann, Thomas [Author]; Widmayer, Peter [Author] ; Springer-Verlag GmbH Algorithmen und Datenstrukturen - [6., durchgesehene Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Wiesbaden]: Springer Vieweg, [2017] Published in: Springer Lehrbuch Blanchet, Bruno [Author] Modeling and verifying security protocols with the applied pi calculus and ProVerif Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Delft: now, [2017] Published in: Foundations and trends in privacy and security ; 1,1/2 Mitzenmacher, Michael [Author]; Upfal, Eli [Author] Probability and computing : randomization and probabilistic techniques in algorithms and data analysis - [Second edition] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge; New York, NY; Port Melbourne, VIC; Delhi; Singapore: Cambridge University Press, [2017] Wilde, Mark M. [Author] Quantum information theory - [Second edition] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge; New York, NY; Port Melbourne: Cambridge University Press, [2017] Kropf, Carsten [Author] ; Technische Universität Dresden Efficient reorganisation of hybrid index structures supporting multimedia search criteria Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2016 Moore, Cristopher [Author]; Mertens, Stephan [Author] The nature of computation - [Reprinted 2016 (with corrections)] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford; New York; Auckland; Caoe Town; Dar es Salaam: Oxford University Press, 2016 Feller, Frank [Author] ; Universität Stuttgart A reconfiguration method for energy-efficient operation of multi-layer core networks Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Universität Stuttgart, Institut für Kommunikationsnetze und Rechnersysteme, [2016] Published in: Communication networks and computer engineering report ; 113 Kabatnik, Matthias [Author] ; Universität Stuttgart Grammatikbasierte Zertifikate am Beispiel von Sicherheitsauditierungen in verteilten IT-Systemen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Universität Stuttgart, Institut für Kommunikationsnetze und Rechnersysteme, 2015 Published in: Communication networks and computer engineering report ; 112 Hollas, Boris [Author] Grundkurs theoretische Informatik : mit Aufgaben und Anwendungen - [2., vollständig überarbeitete Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer Vieweg, [2015] Solomon, Justin [Author] Numerical algorithms : methods for computer vision, machine learning, and graphics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boca Raton; London; New York: CRC Press, Taylor & Francis Group, [2015] Hoffmann, Dirk W. [Author] Theoretische Informatik : mit 26 Tabellen und 109 Aufgaben ; [im Internet: Lösungen zu den Übungsaufgaben] - [3., aktualisierte Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [München]: Hanser, [2015] Martin, Yves [Author] Adaptive goal selection within the fluent calculus and FLUX Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2014
Knäuer, Simon [Author] ; Bodirsky, Manuel [Degree supervisor]; Bulatov, Andrei A. [Degree supervisor] Technische Universität Dresden Constraint network satisfaction for finite relation algebras Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, 03. April 2023
Wolfram, Stephen [Author] Metamathematics : foundations & physicalization - [First edition, second printing] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Champaign]: Wolfram Media, INC, [2022]
Viola, Caterina [Author] ; Technische Universität Dresden Valued constraint satisfaction problems over infinite domains Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden, 17. Juni 2020
Knuth, Donald Ervin [Author] The art of computer programming / Volume 1, Fundamental algorithms / Donald E. Knuth - [Third edition, the classic work updated and revised, fortieth printing] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Munich: Addison-Wesley, June 2019 Published in: The art of computer programming / Donald E. Knuth ; 1,3,40
Knuth, Donald Ervin [Author] The art of computer programming / Volume 2, Seminumerical algorithms / Donald E. Knuth - [Third edition, the classic work newly updated and revised, thirty-seventh printing] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Munich: Addison-Wesley, June 2019 Published in: The art of computer programming / Donald E. Knuth ; 2,3,37
Knuth, Donald Ervin [Author] The art of computer programming / Volume 3, Sorting and searching / Donald E. Knuth - [Second edition, the classic work newly updated and revised, thirty-seventh printing] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Munich: Addison-Wesley, June 2019 Published in: The art of computer programming / Donald E. Knuth ; 3,2,37
Knuth, Donald Ervin [Author] The art of computer programming / Volume 4A, Combinatorial algorithms, Part 1 - [11th printing, classic work extended and refined] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Reading, Mass.; Munich [u.a.]: Addison-Wesley, April 2018 Published in: The art of computer programming / Donald E. Knuth ; 4A,1
Kleinberg, Samantha [Author] Causality, probability, and time - [First paperback edition] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge: Cambridge University Press, 2018
Ottmann, Thomas [Author]; Widmayer, Peter [Author] ; Springer-Verlag GmbH Algorithmen und Datenstrukturen - [6., durchgesehene Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Wiesbaden]: Springer Vieweg, [2017] Published in: Springer Lehrbuch
Blanchet, Bruno [Author] Modeling and verifying security protocols with the applied pi calculus and ProVerif Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Delft: now, [2017] Published in: Foundations and trends in privacy and security ; 1,1/2
Mitzenmacher, Michael [Author]; Upfal, Eli [Author] Probability and computing : randomization and probabilistic techniques in algorithms and data analysis - [Second edition] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge; New York, NY; Port Melbourne, VIC; Delhi; Singapore: Cambridge University Press, [2017]
Wilde, Mark M. [Author] Quantum information theory - [Second edition] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge; New York, NY; Port Melbourne: Cambridge University Press, [2017]
Kropf, Carsten [Author] ; Technische Universität Dresden Efficient reorganisation of hybrid index structures supporting multimedia search criteria Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2016
Moore, Cristopher [Author]; Mertens, Stephan [Author] The nature of computation - [Reprinted 2016 (with corrections)] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford; New York; Auckland; Caoe Town; Dar es Salaam: Oxford University Press, 2016
Feller, Frank [Author] ; Universität Stuttgart A reconfiguration method for energy-efficient operation of multi-layer core networks Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Universität Stuttgart, Institut für Kommunikationsnetze und Rechnersysteme, [2016] Published in: Communication networks and computer engineering report ; 113
Kabatnik, Matthias [Author] ; Universität Stuttgart Grammatikbasierte Zertifikate am Beispiel von Sicherheitsauditierungen in verteilten IT-Systemen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart: Universität Stuttgart, Institut für Kommunikationsnetze und Rechnersysteme, 2015 Published in: Communication networks and computer engineering report ; 112
Hollas, Boris [Author] Grundkurs theoretische Informatik : mit Aufgaben und Anwendungen - [2., vollständig überarbeitete Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer Vieweg, [2015]
Solomon, Justin [Author] Numerical algorithms : methods for computer vision, machine learning, and graphics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boca Raton; London; New York: CRC Press, Taylor & Francis Group, [2015]
Hoffmann, Dirk W. [Author] Theoretische Informatik : mit 26 Tabellen und 109 Aufgaben ; [im Internet: Lösungen zu den Übungsaufgaben] - [3., aktualisierte Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [München]: Hanser, [2015]
Martin, Yves [Author] Adaptive goal selection within the fluent calculus and FLUX Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2014
> Media type Skip to next facet Books (1.385) Wert ausschließen Journals / Newspapers / Series (3) Wert ausschließen Videos (2) Wert ausschließen Microforms (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (402) Wert ausschließen Stack Collection (842) Wert ausschließen Ask for availability (173) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (902) Wert ausschließen Central Library (533) Wert ausschließen TU Dresden holdings (75) Wert ausschließen Branch Library of Medicine (29) Wert ausschließen Branch Library of Educationen (17) Wert ausschließen Branch Library of Forestry (10) Wert ausschließen in transfer (2) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (7) Wert ausschließen Attribution - Share Alike (CC BY-SA) (2) Wert ausschließen Free Access - Rights Reserved (SUB HH) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (23) Wert ausschließen Restricted Access (16) Wert ausschließen Without Specification (201) Wert ausschließen Show more show less
> Language Skip to next facet English (876) Wert ausschließen German (515) Wert ausschließen Russian (37) Wert ausschließen Not determined (12) Wert ausschließen Armenian (1) Wert ausschließen Dutch (1) Wert ausschließen French (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (1.271) Wert ausschließen Mathmatics (654) Wert ausschließen Economics (166) Wert ausschließen Technology (135) Wert ausschließen Philosophy (34) Wert ausschließen General sciences (32) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (26) Wert ausschließen Biology (22) Wert ausschließen Psychology (20) Wert ausschließen General (18) Wert ausschließen Physics (17) Wert ausschließen Chemistry and pharmacology (7) Wert ausschließen Theology and religious studies (7) Wert ausschließen Sociology (6) Wert ausschließen Medicine (4) Wert ausschließen Pedagogy (4) Wert ausschließen Geography (2) Wert ausschließen Geology and paleontology (2) Wert ausschließen Musicology (2) Wert ausschließen Political science (2) Wert ausschließen Jurisprudence (2) Wert ausschließen History (1) Wert ausschließen Show more show less
> Creator Skip to next facet Knuth, Donald Ervin (46) Wert ausschließen Rozenberg, Grzegorz (18) Wert ausschließen Schöning, Uwe (17) Wert ausschließen Ullman, Jeffrey D. (17) Wert ausschließen Sedgewick, Robert (16) Wert ausschließen Hopcroft, John E. (12) Wert ausschließen Hromkovič, Juraj (12) Wert ausschließen Leeuwen, Jan van (10) Wert ausschließen Mehlhorn, Kurt (10) Wert ausschließen Ottmann, Thomas (10) Wert ausschließen Aho, Alfred V. (8) Wert ausschließen Cormen, Thomas H. (8) Wert ausschließen Ehrig, Hartmut (8) Wert ausschließen Salomaa, Arto (8) Wert ausschließen Widmayer, Peter (8) Wert ausschließen Witt, Kurt-Ulrich (8) Wert ausschließen Blum, Norbert (7) Wert ausschließen Hoffmann, Dirk W. (7) Wert ausschließen Mayr, Ernst W. (7) Wert ausschließen Reisig, Wolfgang (7) Wert ausschließen Saake, Gunter (7) Wert ausschließen Sattler, Kai-Uwe (7) Wert ausschließen Wegener, Ingo (7) Wert ausschließen Arbib, Michael A. (6) Wert ausschließen Börger, Egon (6) Wert ausschließen Cohen, Gérard (6) Wert ausschließen Dehne, Frank (6) Wert ausschließen Enjalbert, Patrice (6) Wert ausschließen Hedtstück, Ulrich (6) Wert ausschließen Jensen, Kurt (6) Wert ausschließen Leiserson, Charles Eric (6) Wert ausschließen Rivest, Ronald Linn (6) Wert ausschließen Technische Universität Dresden (6) Wert ausschließen Trachtenbrot, Boris Avraamovič (6) Wert ausschließen Turau, Volker (6) Wert ausschließen Wirth, Niklaus (6) Wert ausschließen Bakker, Jacobus W. de (5) Wert ausschließen Blieberger, Johann (5) Wert ausschließen Bodirsky, Manuel (5) Wert ausschließen Boolos, George (5) Wert ausschließen Jeffrey, Richard C. (5) Wert ausschließen Milner, Robin (5) Wert ausschließen Motwani, Rajeev (5) Wert ausschließen Press, William H. (5) Wert ausschließen Păun, Gheorghe (5) Wert ausschließen Tamassia, Roberto (5) Wert ausschließen Weihrauch, Klaus (5) Wert ausschließen Apostolico, Alberto (4) Wert ausschließen Ausiello, Giorgio (4) Wert ausschließen Balcázar, José Luis (4) Wert ausschließen Bezem, Marc (4) Wert ausschließen Budach, Lothar (4) Wert ausschließen Dershowitz, Nachum (4) Wert ausschließen Diaz, Josep (4) Wert ausschließen Diekert, Volker (4) Wert ausschließen Du, Dingzhu (4) Wert ausschließen Frank, Helmar (4) Wert ausschließen Gabarró, Joaquim (4) Wert ausschließen Gössel, Michael (4) Wert ausschließen Güting, Ralf Hartmut (4) Wert ausschließen Hagiya, Masami (4) Wert ausschließen Hankin, Chris (4) Wert ausschließen Johnson, David S. (4) Wert ausschließen Kinnebrock, Werner (4) Wert ausschließen Kleine Büning, Hans (4) Wert ausschließen Loeckx, Jacques (4) Wert ausschließen Logofătu, Doina (4) Wert ausschließen Mora, Teo (4) Wert ausschließen Nagl, Manfred (4) Wert ausschließen Nipkow, Tobias (4) Wert ausschließen Peled, Doron (4) Wert ausschließen Pichler, Franz (4) Wert ausschließen Podelski, Andreas (4) Wert ausschließen Richter, Michael M. (4) Wert ausschließen ScienceDirect (Online service) (4) Wert ausschließen Shyamasundar, Rudrapatna K. (4) Wert ausschließen Stein, Clifford (4) Wert ausschließen Stoschek, Erwin P. (4) Wert ausschließen Trachtenbrot, Boris A. (4) Wert ausschließen Vossen, Gottfried (4) Wert ausschließen Wagner, Klaus W. (4) Wert ausschließen Wiedermann, Jiří (4) Wert ausschließen Wunsch, Gerhard (4) Wert ausschließen Aiglstorfer, Gerd (3) Wert ausschließen Apel, Thomas (3) Wert ausschließen Baader, Franz (3) Wert ausschließen Baier, Christel (3) Wert ausschließen Bause, Falko (3) Wert ausschließen Berstel, Jean (3) Wert ausschließen Bonuccelli, Maurizio (3) Wert ausschließen Borning, Alan (3) Wert ausschließen Borzyszkowski, Andrzej M. (3) Wert ausschließen Bulatov, Andrei A. (3) Wert ausschließen Cassandras, Christos G. (3) Wert ausschließen Choffrut, Christian (3) Wert ausschließen Clarke, Edmund M. (3) Wert ausschließen Comon, Hubert (3) Wert ausschließen Cover, Thomas M. (3) Wert ausschließen Dassow, Jürgen (3) Wert ausschließen Dieker, Stefan (3) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (1.376) Wert ausschließen Lizenzfreie Online-Ressourcen (15) Wert ausschließen Diss online (8) Wert ausschließen Qucosa (8) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (7) Wert ausschließen Fachkatalog Technikgeschichte (2) Wert ausschließen Show more show less