Search Results for Machines.

16 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

The Decentralized and Networked Future of Value Creation 3D Printing and its Implications for Society, Industry, and Sustainable Development

Yazar

Ferdinand, Jan-Peter. editor.

http://dx.doi.org/10.1007/978-3-319-31686-4

Format:

Electronic Resources

Alıntı:

Manufacturing, Machines, Tools.

Six Sigma Green Belt Certification Project Identification, Implementation and Evaluation

Yazar

Hutwelker, Reiner. author.

https://doi.org/10.1007/978-3-030-31915-1

Format:

Electronic Resources

Alıntı:

Manufacturing, Machines, Tools, Processes. https://scigraph.springernature.com/ontologies/product

Cybernics Fusion of human, machine and information systems

Yazar

Sankai, Yoshiyuki. editor.

http://dx.doi.org/10.1007/978-4-431-54159-2

Format:

Electronic Resources

Alıntı:

Cybernics Fusion of human, machine and information systems / Sankai, Yoshiyuki. editor.

Enterprise Information Management When Information Becomes Inspiration

Yazar

Baan, Paul. editor.

http://dx.doi.org/10.1007/978-1-4614-5236-2

Format:

Electronic Resources

Alıntı:

aspects through which people and machines interact. Illustrating concepts through case examples, the

Service-Oriented and Cloud Computing 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

Yazar

Aiello, Marco. editor.

http://dx.doi.org/10.1007/978-3-319-44482-6

Format:

Electronic Resources

Alıntı:

Elasticity in ABS -- Interplay of Virtual Machine Selection and Virtual Machine Placement -- An Auto-Scaling

Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Yazar

Braga, Christiano. editor.

http://dx.doi.org/10.1007/978-3-319-15075-8

Format:

Electronic Resources

Alıntı:

animation of Turing Machines -- Towards completeness in Bounded Model Checking through Automatic Recursion

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

Yazar

Kunze, Matthias. author.

http://dx.doi.org/10.1007/978-3-319-44960-9

Format:

Electronic Resources

Alıntı:

concurrent systems and introduces finite automata, state machines and several different types of Petri nets

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Yazar

Combemale, Benoît. editor.

http://dx.doi.org/10.1007/978-3-319-11245-9

Format:

Electronic Resources

Alıntı:

Tool for State Machines and Sequence Diagrams -- Towards User-Friendly Projectional -- Bounded Seas

Modeling Companion for Software Practitioners

Yazar

Börger, Egon. author.

https://doi.org/10.1007/978-3-662-56641-1

Format:

Electronic Resources

Alıntı:

Abstract State Machines (ASMs). The book introduces both the modeling method (Part I) and the available

10.

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

Yazar

Majkić, Zoran. author.

http://dx.doi.org/10.1007/978-3-319-04156-8

Format:

Electronic Resources

Alıntı:

the abstract computational machine, the categorial RDB machine, able to support all DB computations by

11.

A Rigorous Semantics for BPMN 2.0 Process Diagrams

Yazar

Kossak, Felix. author.

http://dx.doi.org/10.1007/978-3-319-09931-6

Format:

Electronic Resources

Alıntı:

, verifying the specification of the Java Virtual Machine, or formalizing the ITIL change management process

12.

The Internet of Things in the Industrial Sector Security and Device Connectivity, Smart Environments, and Industry 4.0

Yazar

Mahmood, Zaigham. editor.

https://doi.org/10.1007/978-3-030-24892-5

Format:

Electronic Resources

Alıntı:

intelligence, and machine-to-machine communication, with a typical IIoT system consisting of intelligent

	{displayName}	{count}
{error}