Yazar
Ferdinand, Jan-Peter. editor.
Format:
Electronic Resources
Alıntı:
Manufacturing, Machines, Tools.
Yazar
Hutwelker, Reiner. author.
Format:
Electronic Resources
Alıntı:
Manufacturing, Machines, Tools, Processes. https://scigraph.springernature.com/ontologies/product
View Other Search Results
Yazar
Sankai, Yoshiyuki. editor.
Format:
Electronic Resources
Alıntı:
Cybernics Fusion of human, machine and information systems / Sankai, Yoshiyuki. editor.
Yazar
Baan, Paul. editor.
Format:
Electronic Resources
Alıntı:
aspects through which people and machines interact. Illustrating concepts through case examples, the
Yazar
Aiello, Marco. editor.
Format:
Electronic Resources
Alıntı:
Elasticity in ABS -- Interplay of Virtual Machine Selection and Virtual Machine Placement -- An Auto-Scaling
Yazar
Braga, Christiano. editor.
Format:
Electronic Resources
Alıntı:
animation of Turing Machines -- Towards completeness in Bounded Model Checking through Automatic Recursion
Yazar
Kunze, Matthias. author.
Format:
Electronic Resources
Alıntı:
concurrent systems and introduces finite automata, state machines and several different types of Petri nets
Yazar
Combemale, Benoît. editor.
Format:
Electronic Resources
Alıntı:
Tool for State Machines and Sequence Diagrams -- Towards User-Friendly Projectional -- Bounded Seas
Yazar
Börger, Egon. author.
Format:
Electronic Resources
Alıntı:
Abstract State Machines (ASMs). The book introduces both the modeling method (Part I) and the available
Yazar
Majkić, Zoran. author.
Format:
Electronic Resources
Alıntı:
the abstract computational machine, the categorial RDB machine, able to support all DB computations by
Yazar
Kossak, Felix. author.
Format:
Electronic Resources
Alıntı:
, verifying the specification of the Java Virtual Machine, or formalizing the ITIL change management process
Yazar
Mahmood, Zaigham. editor.
Format:
Electronic Resources
Alıntı:
intelligence, and machine-to-machine communication, with a typical IIoT system consisting of intelligent
Arama Sonuçlarını Sınırlandır
Daraltılmış: