Search Results for Critical theory.

21 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Performative Experience Design

Yazar

Spence, Jocelyn. author.

http://dx.doi.org/10.1007/978-3-319-28395-1

Format:

Electronic Resources

Alıntı:

digital technologies. It introduces readers to performance theory and practice in the context of HCI and

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Yazar

Dutle, Aaron. editor.

https://doi.org/10.1007/978-3-319-77935-5

Format:

Electronic Resources

Alıntı:

Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Yazar

Barrett, Clark. editor. (orcid)0000-0002-9522-3084

https://doi.org/10.1007/978-3-319-57288-8

Format:

Electronic Resources

Alıntı:

techniques and other approaches for software assurance, their theory, current capabilities and limitations

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Yazar

Howar, Falk. editor.

https://doi.org/10.1007/978-3-030-00244-2

Format:

Electronic Resources

Alıntı:

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth

Transactions on Computational Collective Intelligence XVII

Yazar

Nguyen, Ngoc Thanh. editor.

http://dx.doi.org/10.1007/978-3-662-44994-3

Format:

Electronic Resources

Alıntı:

technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

https://doi.org/10.1007/978-3-319-56841-6

Format:

Electronic Resources

Alıntı:

; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive

Intelligent Technologies for Interactive Entertainment 6th International Conference, INTETAIN 2014, Chicago, IL, USA, July 9-11, 2014. Proceedings

Yazar

Reidsma, Dennis. editor.

http://dx.doi.org/10.1007/978-3-319-08189-2

Format:

Electronic Resources

Alıntı:

: Application of means-end chain theory and involvement -- Predicting Shot Success for Table Tennis using Video

Human-Centred Web Adaptation and Personalization From Theory to Practice

Yazar

Germanakos, Panagiotis. author.

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

Format:

Electronic Resources

Alıntı:

Human-Centred Web Adaptation and Personalization From Theory to Practice / Germanakos, Panagiotis

Wireless Sensors in Industrial Time-Critical Environments

Yazar

Cecílio, José. author.

http://dx.doi.org/10.1007/978-3-319-02889-7

Format:

Electronic Resources

Alıntı:

Wireless Sensors in Industrial Time-Critical Environments Cecílio, José. author.

10.

Introduction to Software Quality

Yazar

O’Regan, Gerard. author.

http://dx.doi.org/10.1007/978-3-319-06106-1

Format:

Electronic Resources

Alıntı:

chapter Covers both theory and practice, in addition to providing guidance on applying the theory in an

11.

Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings

Yazar

Iklé, Matthew. editor.

https://doi.org/10.1007/978-3-319-97676-1

Format:

Electronic Resources

Alıntı:

Computational Theory for Life-Long Learning of Semantics -- Cumulative Learning with Causal-Relational Models

12.

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Yazar

Ábrahám, Erika. editor.

http://dx.doi.org/10.1007/978-3-319-33693-0

Format:

Electronic Resources

Alıntı:

-- Concurrency -- Monitoring Multi-threaded Component-Based Systems -- A Generalised Theory of Interface Automata

	{displayName}	{count}
{error}