Yazar
Hudec, Miroslav. author.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Kharchenko, Vyacheslav. editor.
Format:
Electronic Resources
Alıntı:
Data Mining, (2) Green Mobile and Embedded Control Systems, (3) Green Logic and FPGA Design, and (4
Yazar
Bulling, Nils. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Costagliola, Gennaro. editor.
Format:
Electronic Resources
Alıntı:
Performance -- Sharing Life Stories: Design and Evaluation of a Digital Storytelling Workshop for Older Adults
Yazar
Zdravkovic, Jelena. editor.
Format:
Electronic Resources
Alıntı:
Process Models -- Equivalence Transformations for the Design of Interorganizational Data-Flow -- Automatic
Yazar
Nóvoa, Henriqueta. editor.
Format:
Electronic Resources
Alıntı:
– Towards a Service Description Framework -- Towards the Alignment of a Detailed Service-Oriented Design and
Yazar
Pillai, Prashant. editor.
Format:
Electronic Resources
Alıntı:
? -- Network coding over satellite: from theory to design and performance -- Gateway selection optimization in
Yazar
Iliadis, Lazaros. editor.
Format:
Electronic Resources
Alıntı:
Service-Dominant Logic -- Capability-Based Business Model Transformation -- Capability-Driven Development of a SOA
Yazar
Rovatsos, Michael. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Bieger, Jordi. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Esparza, Javier. editor.
Format:
Electronic Resources
Alıntı:
First-Order Logic -- Stability and Complexity of Minimising Probabilistic Automata -- Kleene Algebra with
Yazar
Reinhartz-Berger, Iris. editor. (orcid)0000-0002-1419-4905
Format:
Electronic Resources
Alıntı:
Understandability of Declarative Process Models -- Logic based Look-ahead for the Execution of Multi-Perspective
Arama Sonuçlarını Sınırlandır
Daraltılmış: