Catalog - SLUB Dresden

Skip to contents

Knäuer, Simon [Author] ; Bodirsky, Manuel [Degree supervisor] ; Bulatov, Andrei A. [Degree supervisor] ; Technische Universität Dresden [Degree granting institution]

Constraint network satisfaction for finite relation algebras

View online
Schließen

Access

... to E-book via Resolving system

Close bookmarks

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden, 03. April 2023
Krischke, André [Author] ; Röpcke, Helge [Author]

Graphen und Netzwerktheorie : Grundlagen, Methoden, Anwendungen - [2., aktualisierte und erweiterte Auflage]

View online
Schließen

Close bookmarks

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Hanser, [2024]
Wolfram, Stephen [Author]

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

View online
Schließen

Close bookmarks

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Integer programming - [Second edition]

View online
Schließen

Close bookmarks

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Hoboken, NJ; Chichester, West Sussex: Wiley, 2021
Watt, Jeremy [Author] ; Borhani, Reza [Author] ; Katsaggelos, Aggelos K. [Author] ; Cambridge University Press [Publisher]

Machine learning refined : foundations, algorithms, and applications - [Second Edition]

View online
Schließen

Close bookmarks

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge; New York, NY; Port Melbourne; New Delhi; Singapore: Cambridge University Press, 2020
Deisenroth, Marc Peter [Author] ; Faisal, A. Aldo [Author] ; Ong, Cheng Soon [Author] ; Cambridge University Press [Publisher]

Mathematics for machine learning

View online
Schließen

Close bookmarks

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge; New York; Port Melbourne; New Delhi; Singapore: Cambridge University Press, 2020
Viola, Caterina [Author] ; Technische Universität Dresden [Degree granting institution]

Valued constraint satisfaction problems over infinite domains

View online
Schließen

Access

... to E-book via Resolving system

Close bookmarks

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 4A, Combinatorial algorithms, Part 1 - [11th printing, classic work extended and refined]

Close bookmarks

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 ; Volume 4A, part 1
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]

Close bookmarks

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 ; Volume 1
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]

Close bookmarks

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 ; Volume 2
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]

Close bookmarks

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 ; Volume 3
Kleinberg, Samantha [Author]

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

Close bookmarks

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 [Publisher]

Algorithmen und Datenstrukturen - [6., durchgesehene Auflage]

View online
Schließen

Close bookmarks

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Wiesbaden]: Springer Vieweg, [2017]

Published in: Springer Lehrbuch
Kropf, Carsten [Author] ; Technische Universität Dresden [Degree granting institution]

Efficient reorganisation of hybrid index structures supporting multimedia search criteria

View online
Schließen

Access

... to E-book via Resolving system

Close bookmarks

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2016
Blanchet, Bruno [Author]

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

Close bookmarks

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 ; Volume 1, Issue 1-2
Moore, Cristopher [Author] ; Mertens, Stephan [Author]

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

Close bookmarks

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
Mitzenmacher, Michael [Author] ; Upfal, Eli [Author]

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

View online
Schließen

Close bookmarks

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]

View online
Schließen

Close bookmarks

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]
Feller, Frank [Author] ; Universität Stuttgart [Degree granting institution]

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

View online
Schließen

Close bookmarks

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 ; No. 113
Martin, Yves [Author]

Adaptive goal selection within the fluent calculus and FLUX

View online
Schließen

Close bookmarks

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2014

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Constraint network satisfaction for finite relation algebras

Access

Graphen und Netzwerktheorie : Grundlagen, Methoden, Anwendungen - [2., aktualisierte und erweiterte Auflage]

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

Integer programming - [Second edition]

Machine learning refined : foundations, algorithms, and applications - [Second Edition]

Mathematics for machine learning

Valued constraint satisfaction problems over infinite domains

Access

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

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

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

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]

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

Algorithmen und Datenstrukturen - [6., durchgesehene Auflage]

Efficient reorganisation of hybrid index structures supporting multimedia search criteria

Access

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

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

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

Quantum information theory - [Second edition]

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

Adaptive goal selection within the fluent calculus and FLUX

You did not find what you were looking for?

Suchergebnisse filtern

Access

Media type

Year of publication

Availability

Location

Rights information

Access State

Language

Subject

Creator

Collection

Results

You did not find what you were looking for?

> Year of publication

Year of publication