Search Results for System theory.

257 sonuç bulundu

Tümünü Seç

1 .. 3 4 5 6 7 .. 22

000000000000DEFAULTTR

49.

Eye Tracking Methodology Theory and Practice

Yazar

Duchowski, Andrew T. author.

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

Format:

Electronic Resources

Alıntı:

Special Purpose and Application-Based Systems. http://scigraph.springernature.com/things/product

50.

Distributed Real-Time Systems Theory and Practice

Yazar

Erciyes, K. author.

https://doi.org/10.1007/978-3-030-22570-4

Format:

Electronic Resources

Alıntı:

Distributed Real-Time Systems Theory and Practice / Erciyes, K. author.

51.

Instruction Selection Principles, Methods, and Applications

Yazar

Hjort Blindell, Gabriel. author.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

52.

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

Yazar

Steffen, Bernhard. author.

https://doi.org/10.1007/978-3-319-68397-3

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things

53.

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

Yazar

Gorrieri, Roberto. author.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things

54.

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Yazar

O'Regan, Gerard. author.

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

Format:

Electronic Resources

Alıntı:

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications / O'Regan, Gerard

55.

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Yazar

Meyer, Bertrand. editor.

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

Format:

Electronic Resources

Alıntı:

Management of Computing and Information Systems.

56.

Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control

Yazar

Goldbach, Tobias. author.

http://dx.doi.org/10.1007/978-3-658-14893-5

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

57.

Introduction to Concurrency Theory Transition Systems and CCS

Yazar

Gorrieri, Roberto. author.

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

Format:

Electronic Resources

Alıntı:

Introduction to Concurrency Theory Transition Systems and CCS / Gorrieri, Roberto. author.

58.

Programming Languages and Operational Semantics A Concise Overview

Yazar

Fernández, Maribel. author.

http://dx.doi.org/10.1007/978-1-4471-6368-8

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

59.

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

https://doi.org/10.1007/978-3-030-17462-0

Format:

Electronic Resources

Alıntı:

, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

60.

Theory of Cryptography 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part II

Yazar

Kalai, Yael. editor.

https://doi.org/10.1007/978-3-319-70503-3

Format:

Electronic Resources

Alıntı:

Theory of Cryptography 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15

Tümünü Seç

1 .. 3 4 5 6 7 .. 22

257 sonuç bulundu

	{displayName}	{count}
{error}