Search Results for Tools.

29 sonuç bulundu

Tümünü Seç

1 2 3

000000000000DEFAULTTR

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor.

https://doi.org/10.1007/978-3-319-63121-9

Format:

Electronic Resources

Alıntı:

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Yazar

Paskevich, Andrei. editor.

https://doi.org/10.1007/978-3-319-72308-2

Format:

Electronic Resources

Alıntı:

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017

Topological Signal Processing

Yazar

Robinson, Michael. author.

http://dx.doi.org/10.1007/978-3-642-36104-3

Format:

Electronic Resources

Alıntı:

transformations is large and varied, tools which are topologically-motivated are automatically insensitive to

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

Yazar

Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772

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

Format:

Electronic Resources

Alıntı:

named: types; program analysis; tools; functional programs and probabilistic programs; verification

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Yazar

Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X

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

Format:

Electronic Resources

Alıntı:

on cyber-physical systems, software verification tools, safety-critical systems, concurrency and

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Yazar

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

https://doi.org/10.1007/978-3-319-95582-7

Format:

Electronic Resources

Alıntı:

; formal methods in practice; tools for formal methods; role of formal methods in software systems

Computational Artifacts Towards a Philosophy of Computer Science

Yazar

Turner, Raymond. author.

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

Format:

Electronic Resources

Alıntı:

tools and concepts from the philosophy of technology to the technical artefacts of computer science

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Yazar

Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622

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

Format:

Electronic Resources

Alıntı:

creation of new adaptive, scalable tools that can analyse large and continuously changing software systems

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Yazar

Beyersdorff, Olaf. editor.

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

Format:

Electronic Resources

Alıntı:

, 4 short papers, and 2 tool papers were carefully reviewed and selected from 58 submissions. The

10.

Hyper-Heuristics: Theory and Applications

Yazar

Pillay, Nelishia. author.

https://doi.org/10.1007/978-3-319-96514-7

Format:

Electronic Resources

Alıntı:

This introduction to the field of hyper-heuristics presents the required foundations and tools and

11.

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Yazar

Draheim, Dirk. author.

https://doi.org/10.1007/978-3-642-55198-7

Format:

Electronic Resources

Alıntı:

basic mathematical tools needed throughout the book, in particular Markov chains, graph theory and

12.

Essential Knowledge for Transistor-Level LSI Circuit Design

Yazar

Nakura, Toru. author.

http://dx.doi.org/10.1007/978-981-10-0424-7

Format:

Electronic Resources

Alıntı:

design may not actually be possible to complete in one’s CAD tools. The first half of this text explains

	{displayName}	{count}
{error}