Zum Inhalt springen

Knäuer, Simon [Verfasser:in] ; Bodirsky, Manuel [Akademische:r Betreuer:in]; Bulatov, Andrei A. [Akademische:r Betreuer:in] Technische Universität Dresden

Constraint network satisfaction for finite relation algebras

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden, 03. April 2023
Wolfram, Stephen [Verfasser:in]

Metamathematics : foundations & physicalization - [First edition, second printing]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[Champaign]: Wolfram Media, INC, [2022]
Wolsey, Laurence A. [Verfasser:in]

Integer programming - [Second edition]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hoboken, NJ; Chichester, West Sussex: Wiley, 2021
Viola, Caterina [Verfasser:in] ; Technische Universität Dresden

Valued constraint satisfaction problems over infinite domains

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden, 17. Juni 2020
Knuth, Donald Ervin [Verfasser:in]

The art of computer programming / Volume 1, Fundamental algorithms / Donald E. Knuth - [Third edition, the classic work updated and revised, fortieth printing]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston; Munich: Addison-Wesley, June 2019

Erschienen in: The art of computer programming / Donald E. Knuth ; 1,3,40
Knuth, Donald Ervin [Verfasser:in]

The art of computer programming / Volume 2, Seminumerical algorithms / Donald E. Knuth - [Third edition, the classic work newly updated and revised, thirty-seventh printing]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston; Munich: Addison-Wesley, June 2019

Erschienen in: The art of computer programming / Donald E. Knuth ; 2,3,37
Knuth, Donald Ervin [Verfasser:in]

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]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston; Munich: Addison-Wesley, June 2019

Erschienen in: The art of computer programming / Donald E. Knuth ; 3,2,37
Knuth, Donald Ervin [Verfasser:in]

The art of computer programming / Volume 4A, Combinatorial algorithms, Part 1 - [11th printing, classic work extended and refined]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Reading, Mass.; Munich [u.a.]: Addison-Wesley, April 2018

Erschienen in: The art of computer programming / Donald E. Knuth ; 4A,1
Kleinberg, Samantha [Verfasser:in]

Causality, probability, and time - [First paperback edition]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge: Cambridge University Press, 2018
Ottmann, Thomas [Verfasser:in]; Widmayer, Peter [Verfasser:in] ; Springer-Verlag GmbH

Algorithmen und Datenstrukturen - [6., durchgesehene Auflage]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[Wiesbaden]: Springer Vieweg, [2017]

Erschienen in: Springer Lehrbuch
Blanchet, Bruno [Verfasser:in]

Modeling and verifying security protocols with the applied pi calculus and ProVerif

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston; Delft: now, [2017]

Erschienen in: Foundations and trends in privacy and security ; 1,1/2
Mitzenmacher, Michael [Verfasser:in]; Upfal, Eli [Verfasser:in]

Probability and computing : randomization and probabilistic techniques in algorithms and data analysis - [Second edition]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge; New York, NY; Port Melbourne, VIC; Delhi; Singapore: Cambridge University Press, [2017]
Wilde, Mark M. [Verfasser:in]

Quantum information theory - [Second edition]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge; New York, NY; Port Melbourne: Cambridge University Press, [2017]
Kropf, Carsten [Verfasser:in] ; Technische Universität Dresden

Efficient reorganisation of hybrid index structures supporting multimedia search criteria

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Technische Universität Dresden, 2016
Moore, Cristopher [Verfasser:in]; Mertens, Stephan [Verfasser:in]

The nature of computation - [Reprinted 2016 (with corrections)]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford; New York; Auckland; Caoe Town; Dar es Salaam: Oxford University Press, 2016
Feller, Frank [Verfasser:in] ; Universität Stuttgart

A reconfiguration method for energy-efficient operation of multi-layer core networks

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stuttgart: Universität Stuttgart, Institut für Kommunikationsnetze und Rechnersysteme, [2016]

Erschienen in: Communication networks and computer engineering report ; 113
Kabatnik, Matthias [Verfasser:in] ; Universität Stuttgart

Grammatikbasierte Zertifikate am Beispiel von Sicherheitsauditierungen in verteilten IT-Systemen

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stuttgart: Universität Stuttgart, Institut für Kommunikationsnetze und Rechnersysteme, 2015

Erschienen in: Communication networks and computer engineering report ; 112
Hollas, Boris [Verfasser:in]

Grundkurs theoretische Informatik : mit Aufgaben und Anwendungen - [2., vollständig überarbeitete Auflage]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer Vieweg, [2015]
Solomon, Justin [Verfasser:in]

Numerical algorithms : methods for computer vision, machine learning, and graphics

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boca Raton; London; New York: CRC Press, Taylor & Francis Group, [2015]
Hoffmann, Dirk W. [Verfasser:in]

Theoretische Informatik : mit 26 Tabellen und 109 Aufgaben ; [im Internet: Lösungen zu den Übungsaufgaben] - [3., aktualisierte Aufl.]

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[München]: Hanser, [2015]

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr