Yazar
Karydis, Ioannis. editor.
Format:
Electronic Resources
Alıntı:
topics in two main tracks: algorithmic aspects of large-scale data stores, and software tools and
Yazar
Hinze, Ralf. editor.
Format:
Electronic Resources
Alıntı:
submissions. The papers are about mathematical methods and tools put to use in program construction. They
View Other Search Results
Yazar
Gupta, Gopal. editor.
Format:
Electronic Resources
Alıntı:
, optimization, composition, security, reuse, applications and tools, component-based software development
Yazar
Echahed, Rachid. editor.
Format:
Electronic Resources
Alıntı:
Transformations -- Model Checking Reconfigurable Petri Nets with Maude -- Tools and Algorithms -- A Software
Yazar
Bojańczyk, Mikołaj. editor.
Format:
Electronic Resources
Alıntı:
Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games
Arama Sonuçlarını Sınırlandır
Daraltılmış: