Search Results for Graph theory.

23 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

On Sets and Graphs Perspectives on Logic and Combinatorics

Yazar

Omodeo, Eugenio G. author.

https://doi.org/10.1007/978-3-319-54981-1

Format:

Electronic Resources

Alıntı:

Graph Theory. http://scigraph.springernature.com/things/product-market-codes/M29020

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings

Yazar

Kosowski, Adrian. editor.

http://dx.doi.org/10.1007/978-3-319-22177-9

Format:

Electronic Resources

Alıntı:

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August

Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Yazar

Tian, Cong. editor.

https://doi.org/10.1007/978-3-319-90104-6

Format:

Electronic Resources

Alıntı:

; graph theory; model checking; modeling and specification; and verification and validation.

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

Yazar

Jain, Rahul. editor.

http://dx.doi.org/10.1007/978-3-319-17142-5

Format:

Electronic Resources

Alıntı:

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May

Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings

Yazar

Xu, Dachuan. editor.

http://dx.doi.org/10.1007/978-3-319-21398-9

Format:

Electronic Resources

Alıntı:

bioinformatics -- Computational algebra, geometry, number theory, graph drawing and information visualization

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Yazar

Liu, Shaoying. editor.

http://dx.doi.org/10.1007/978-3-319-04915-1

Format:

Electronic Resources

Alıntı:

MSVL -- Present-Future Form Graph of Linear Time μ-Calculus -- Prototype Tool for Supporting A Formal

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings

Yazar

Cai, Zhipeng. editor.

http://dx.doi.org/10.1007/978-3-319-08783-2

Format:

Electronic Resources

Alıntı:

; approximation algorithm; graph theory and algorithms; game theory and cryptography; scheduling algorithms and

Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Yazar

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

https://doi.org/10.1007/978-3-319-79108-1

Format:

Electronic Resources

Alıntı:

comprehensive introduction to bidirectional transformations, they deal with triple graph grammars, modular edit

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Yazar

Larsen, Kim Guldstrand. editor.

http://dx.doi.org/10.1007/978-3-319-45994-3

Format:

Electronic Resources

Alıntı:

Reachability Graphs -- Reachability Predicates for Graph Assertions -- Occam's Razor Applied to the Petri Net

10.

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

Yazar

Ouaknine, Joël. editor.

http://dx.doi.org/10.1007/978-3-319-11439-2

Format:

Electronic Resources

Alıntı:

Coding and Information Theory.

11.

Practical Analysis of Algorithms

Yazar

Vrajitoru, Dana. author.

http://dx.doi.org/10.1007/978-3-319-09888-3

Format:

Electronic Resources

Alıntı:

-- Recurrence Relations -- Deterministic Analysis of Algorithms -- Algorithms and Probabilities -- Finite Graph

12.

Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings

Yazar

Hospodár, Michal. editor.

https://doi.org/10.1007/978-3-030-23679-3

Format:

Electronic Resources

Alıntı:

Defining Sets of Labeled, Connected Graphs -- Composition Closure of Linear Weighted Extended Top-Down Tree

	{displayName}	{count}
{error}