16 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
1.
Yazar
Bjørner, Nikolaj. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
View Other Search Results
Yazar
Zaverucha, Gerson. editor.
Format:
Electronic Resources
Alıntı:
Information Systems Applications (incl. Internet).
Yazar
Davis, Jesse. editor.
Format:
Electronic Resources
Alıntı:
Information Systems Applications (incl. Internet).
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
Information Systems Applications (incl. Internet).
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
Information Systems and Communication Service. https://scigraph.springernature.com/ontologies
Yazar
Banerjee, Mohua. editor.
Format:
Electronic Resources
Alıntı:
Information Systems -- Tableaux for non-normal public announcement logic.-A pragmatistic approach to
Yazar
Bensalem, Saddek. editor.
Format:
Electronic Resources
Alıntı:
From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor
Yazar
Gopal, T. V. editor.
Format:
Electronic Resources
Alıntı:
Data Structures, Cryptology and Information Theory.
Yazar
Beklemishev, Lev D. editor.
Format:
Electronic Resources
Alıntı:
Information Complexity -- First-Order Logic Definability of Free Languages -- Representation of (Left) Ideal
Yazar
Muscholl, Anca. editor.
Format:
Electronic Resources
Alıntı:
Equivalences of Pushdown Systems Are Hard -- Active Diagnosis for Probabilistic Systems -- Analysis
Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
-- Reasoning about call-by-need by means of types -- Algorithms for Infinite Systems Coverability Trees for
16 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: