Yazar
Bača, Martin. author.
Format:
Electronic Resources
Alıntı:
Graph Theory. https://scigraph.springernature.com/ontologies/product-market-codes/M29020
Yazar
Kahl, Wolfram. editor.
Format:
Electronic Resources
Alıntı:
areas such as verification.-Analysis and development of programs and algorithms -- Algebraic approaches
View Other Search Results
Yazar
Potapov, Igor. editor.
Format:
Electronic Resources
Alıntı:
Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30
Yazar
Shur, Arseny M. editor.
Format:
Electronic Resources
Alıntı:
Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia
Yazar
Alves, Ronnie. editor. (orcid)0000-0003-4139-0562
Format:
Electronic Resources
Alıntı:
Transpositions -- Graph databases in Molecular Biology -- ViMT - Development of a Web-based Vivarium Management
Yazar
Charlier, Émilie. editor.
Format:
Electronic Resources
Alıntı:
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7
Yazar
Brlek, Srečko. editor.
Format:
Electronic Resources
Alıntı:
Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25
Yazar
Höfner, Peter. editor.
Format:
Electronic Resources
Alıntı:
Composition Table -- Fuzzifying Modal Algebra -- Tableau Development for a Bi- intuitionistic Tense Logic
Yazar
Moreno-Díaz, Roberto. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran
Yazar
Moreno-Díaz, Roberto. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran
Yazar
Fukunaga, Takuro. editor.
Format:
Electronic Resources
Alıntı:
Operations Research/Decision Theory. http://scigraph.springernature.com/things/product-market-codes
Yazar
Ciobanu, Gabriel. editor.
Format:
Electronic Resources
Alıntı:
engineering computing systems -- Service-oriented architectures: models and development methods -- Models of
Arama Sonuçlarını Sınırlandır
Daraltılmış: