Zum Inhalt springen

Zhang, Leishi [Verfasser:in]; Rooney, Chris B. [Verfasser:in]; Nachmanson, Lev [Verfasser:in]; Wong, Wiliam M. F. [Verfasser:in]; Kwon, Bum Chul [Verfasser:in]; Stoffel, Florian [Verfasser:in]; Hund, Michael [Verfasser:in]; Qazi, Nadeem [Verfasser:in]; Singh, Uchit [Verfasser:in]; Keim, Daniel [Verfasser:in]

Spherical Similarity Explorer for Comparative Case Analysis

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System (Volltext ; frei zugänglich)

Schließen

Merkliste

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

Springfield, VA: Society for Imaging Science and Technology, 2016
Zhang, Leishi [Verfasser:in]; Rooney, Chris [Verfasser:in]; Nachmanson, Lev [Verfasser:in]; Wong, William [Verfasser:in]; Kwon, Bum Chul [Verfasser:in]; Stoffel, Florian [Verfasser:in]; Blumenschein, Michael [Verfasser:in]; Qazi, Nadeem [Verfasser:in]; Singh, Uchit [Verfasser:in]; Keim, Daniel A. [Verfasser:in]

Spherical Similarity Explorer for Comparative Case Analysis

Online ansehen
Schließen

Links

... zum Konferenzbericht via Resolving-System

Schließen

Merkliste

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

KOPS - The Institutional Repository of the University of Konstanz, 2016-02-14
Bjørner, Nikolaj; Nachmanson, Lev

Computer Aided Verification: Arithmetic Solving in Z3

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Nature Switzerland, 2024

Erschienen in: Computer Aided Verification (2024), Seite 26-41
Bjørner, Nikolaj; Nachmanson, Lev

Lecture Notes in Computer Science: Navigating the Universe of Z3 Theory Solvers

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer International Publishing, 2020

Erschienen in: Lecture Notes in Computer Science (2020), Seite 8-24
Dwyer, Tim; Nachmanson, Lev

Lecture Notes in Computer Science: Fast Edge-Routing for Large Graphs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2010

Erschienen in: Lecture Notes in Computer Science (2010), Seite 147-158
Pupyrev, Sergey; Nachmanson, Lev; Kaufmann, Michael

Lecture Notes in Computer Science: Improving Layered Graph Layouts with Edge Bundling

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2011

Erschienen in: Lecture Notes in Computer Science (2011), Seite 329-340
Bjørner, Nikolaj; de Moura, Leonardo; Nachmanson, Lev; Wintersteiger, Christoph M.

Lecture Notes in Computer Science: Programming Z3

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer International Publishing, 2019

Erschienen in: Lecture Notes in Computer Science (2019), Seite 148-201
Veanes, Margus; Bjørner, Nikolaj; Nachmanson, Lev; Bereg, Sergey

Monadic Decomposition

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Association for Computing Machinery (ACM), 2017

Erschienen in: Journal of the ACM, 64 (2017) 2, Seite 1-28
Nachmanson, Lev; Nocaj, Arlind; Bereg, Sergey; Zhang, Leishi; Holroyd, Alexander

Node Overlap Removal by Growing a Tree

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Journal of Graph Algorithms and Applications, 2017

Erschienen in: Journal of Graph Algorithms and Applications, 21 (2017) 5, Seite 857-872
Pupyrev, Sergey; Nachmanson, Lev; Bereg, Sergey; Holroyd, Alexander E.

Edge routing with ordered bundles

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Elsevier BV, 2016

Erschienen in: Computational Geometry, 52 (2016), Seite 18-33
Kindermann, Philipp; Löffler, Maarten; Nachmanson, Lev; Rutter, Ignaz

Lecture Notes in Computer Science: Graph Drawing Contest Report

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer International Publishing, 2016

Erschienen in: Lecture Notes in Computer Science (2016), Seite 589-595
Nachmanson, Lev; Nocaj, Arlind; Bereg, Sergey; Zhang, Leishi; Holroyd, Alexander

Lecture Notes in Computer Science: Node Overlap Removal by Growing a Tree

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer International Publishing, 2016

Erschienen in: Lecture Notes in Computer Science (2016), Seite 33-43
Bereg, Sergey; Holroyd, Alexander E.; Nachmanson, Lev; Pupyrev, Sergey

Representing Permutations with Few Moves

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Society for Industrial & Applied Mathematics (SIAM), 2016

Erschienen in: SIAM Journal on Discrete Mathematics, 30 (2016) 4, Seite 1950-1977
Kindermann, Philipp; Löffler, Maarten; Nachmanson, Lev; Rutter, Ignaz

Lecture Notes in Computer Science: Graph Drawing Contest Report

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer International Publishing, 2015

Erschienen in: Lecture Notes in Computer Science (2015), Seite 531-537
Gutwenger, Carsten; Löffler, Maarten; Nachmanson, Lev; Rutter, Ignaz

Lecture Notes in Computer Science: Graph Drawing Contest Report

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer International Publishing, 2014

Erschienen in: Lecture Notes in Computer Science (2014), Seite 501-506
Veanes, Margus; Bjørner, Nikolaj; Nachmanson, Lev; Bereg, Sergey

Lecture Notes in Computer Science: Monadic Decomposition

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer International Publishing, 2014

Erschienen in: Lecture Notes in Computer Science (2014), Seite 628-645
Bereg, Sergey; Holroyd, Alexander E.; Nachmanson, Lev; Pupyrev, Sergey

Lecture Notes in Computer Science: Drawing Permutations with Few Corners

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer International Publishing, 2013

Erschienen in: Lecture Notes in Computer Science (2013), Seite 484-495
Duncan, Christian A.; Gutwenger, Carsten; Nachmanson, Lev; Sander, Georg

Lecture Notes in Computer Science: Graph Drawing Contest Report

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2013

Erschienen in: Lecture Notes in Computer Science (2013), Seite 575-579
Duncan, Christian A.; Gutwenger, Carsten; Nachmanson, Lev; Sander, Georg

Lecture Notes in Computer Science: Graph Drawing Contest Report

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer International Publishing, 2013

Erschienen in: Lecture Notes in Computer Science (2013), Seite 508-513
Pupyrev, Sergey; Nachmanson, Lev; Bereg, Sergey; Holroyd, Alexander E.

Lecture Notes in Computer Science: Edge Routing with Ordered Bundles

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Springer Berlin Heidelberg, 2012

Erschienen in: Lecture Notes in Computer Science (2012), Seite 136-147

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