89 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Väänänen, Jouko. editor.
Format:
Electronic Resources
Alıntı:
constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication
Yazar
Iemhoff, Rosalie. editor.
Format:
Electronic Resources
Alıntı:
constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication
Yazar
Remke, Anne. editor.
Format:
Electronic Resources
Alıntı:
modeling, analysis of randomized algorithms and communication protocols which form the structure of the
Yazar
Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001
Format:
Electronic Resources
Alıntı:
Communications in Computer and Information Science,
Yazar
Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699
Format:
Electronic Resources
Alıntı:
Automata with Jumping Modes -- Iterative Arrays with Self-Verifying Communication Cell -- Generic
Yazar
Bensalem, Saddek. editor.
Format:
Electronic Resources
Alıntı:
Communication-Safe Component Systems.- Constructive Collisions.- Let’s Get Physical: Computer Science Meets Systems
Yazar
Kohlenbach, Ulrich. editor.
Format:
Electronic Resources
Alıntı:
constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication
Yazar
Höfner, Peter. editor.
Format:
Electronic Resources
Alıntı:
Communication Actions -- Concurrent Kleene Algebra with Tests -- Algebras for Program Correctness in Isabelle
Yazar
Uden, Lorna. editor.
Format:
Electronic Resources
Alıntı:
Communications in Computer and Information Science,
Yazar
Sun, Xiaoming. editor.
Format:
Electronic Resources
Alıntı:
Communications in Computer and Information Science,
Yazar
Kotzinos, Dimitris. editor.
Format:
Electronic Resources
Alıntı:
Communications in Computer and Information Science,
Yazar
Fodor, Paul. editor. (orcid)0000-0002-2978-676X
Format:
Electronic Resources
Alıntı:
Communication Papers -- Complementing Logical Reasoning with Sub-Symbolic Commonsense -- Adding Constraint
89 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: