skip to content

Schloss Dagstuhl - Leibniz-Zentrum für Informatik  This library's holdings are visible on WorldCat.org

Bibliothek

Oktavie-Allee
Wadern,  66687  Map It
Germany

Voice: +49 (0)6871 9 05-127
Fax: +49 (0)6871 9 05-130
Email: petra.meyer@dagstuhl.de

Recent Additions to Worldcat for Schloss Dagstuhl - Leibniz-Zentrum für Informatik January 2018

Displaying 6 of 280 items, sorted by WorldCat popularity.  

See all recent items added to WorldCat by this library »

Book Thumbnail Title Nondeterministic Quantum Communication Complexity: the Cyclic Equality G...

Buhrman, Harry; Christandl, Matthias; Zuiddam, ...

  Downloadable archival material

Book Thumbnail Title Matrix Completion and Related Problems via Strong Duality

Balcan, Maria-Florina; Liang, Yingyu; Woodruff,...

  Downloadable archival material

Book Thumbnail Title Long Term Memory and the Densest K-Subgraph Problem

Legenstein, Robert; Maass, Wolfgang; Papadimitr...

  Downloadable archival material

Book Thumbnail Title Network Optimization on Partitioned Pairs of Points

Arkin, Esther M.; Banik, Aritra; Carmi, Paz; Ci...

  Downloadable archival material

Book Thumbnail Title Accelerated Extra-Gradient Descent: A Novel Accelerated First-Order Method

Diakonikolas, Jelena; Orecchia, Lorenzo

  Downloadable archival material

Book Thumbnail Title Minimum Circuit Size, Graph Isomorphism, and Related Problems

Allender, Eric; Grochow, Joshua A.; van Melkebe...

  Downloadable archival material

Displaying 6 of 101 items.  

See all recent Non-Fiction items added to WorldCat by this library »

Book Thumbnail TitleSimulation and NorMAS

Balke, Tina; Cranefield, Stephen; Di Tosto, Gen...

  Downloadable archival material

Book Thumbnail TitleMulticore Enablement for Embedded and Cyber Physical Systems (Dagstuhl S...

Andreas Herkersdorf and Michael Paulitsch; Herk...

  Downloadable archival material

Book Thumbnail TitleEvidence Normalization in System FC (Invited Talk)

Vytiniotis, Dimitrios; Peyton Jones, Simon

  Downloadable archival material

Book Thumbnail TitleOr-Parallel Prolog Execution on Clusters of Multicores

Santos, João; Rocha, Ricardo

  Downloadable archival material

Book Thumbnail TitleNormalized Completion Revisited

Winkler, Sarah; Middeldorp, Aart

  Downloadable archival material

Book Thumbnail TitleDependence Logic: Theory and Applications (Dagstuhl Seminar 13071)

Samson Abramsky and Juha Kontinen and Jouko Vaa...

  Downloadable archival material

Displaying 6 of 101 items.  

See all recent Non-Juvenile items added to WorldCat by this library »

Book Thumbnail TitleSimulation and NorMAS

Balke, Tina; Cranefield, Stephen; Di Tosto, Gen...

  Downloadable archival material

Book Thumbnail TitleMulticore Enablement for Embedded and Cyber Physical Systems (Dagstuhl S...

Andreas Herkersdorf and Michael Paulitsch; Herk...

  Downloadable archival material

Book Thumbnail TitleEvidence Normalization in System FC (Invited Talk)

Vytiniotis, Dimitrios; Peyton Jones, Simon

  Downloadable archival material

Book Thumbnail TitleOr-Parallel Prolog Execution on Clusters of Multicores

Santos, João; Rocha, Ricardo

  Downloadable archival material

Book Thumbnail TitleNormalized Completion Revisited

Winkler, Sarah; Middeldorp, Aart

  Downloadable archival material

Book Thumbnail TitleDependence Logic: Theory and Applications (Dagstuhl Seminar 13071)

Samson Abramsky and Juha Kontinen and Jouko Vaa...

  Downloadable archival material

This library has 7,620 items in WorldCat

If the information listed for this library is incorrect, authorized representatives of the library may update in the WorldCat Registry.


Close Window
Delete Favorite Library
Yes    Cancel
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.