16 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan
View Other Search Results
Yazar
Phillips, Andrew. editor.
Format:
Electronic Resources
Alıntı:
DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge
Yazar
Gavrilova, Marina L. editor.
Format:
Electronic Resources
Alıntı:
Information Systems Applications (incl. Internet).
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Krivine, Jean. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Beklemishev, Lev D. editor.
Format:
Electronic Resources
Alıntı:
Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia
Yazar
Shao, Zhong. editor.
Format:
Electronic Resources
Alıntı:
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part
Yazar
Doty, David. editor. (orcid)0000-0002-3922-172X
Format:
Electronic Resources
Alıntı:
Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things
Yazar
Ibarra, Oscar H. editor.
Format:
Electronic Resources
Alıntı:
Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London
11.
Yazar
Calude, Cristian S. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Halldórsson, Magnús M. editor.
Format:
Electronic Resources
Alıntı:
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July
16 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: