Search Results for Tools.

35 sonuç bulundu

Tümünü Seç

1 2 3

000000000000DEFAULTTR

Hybrid Metaheuristics Powerful Tools for Optimization

Yazar

Blum, Christian. author.

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

Format:

Electronic Resources

Alıntı:

Hybrid Metaheuristics Powerful Tools for Optimization / Blum, Christian. author.

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

Software Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings

Yazar

Majumdar, Amit. editor.

https://doi.org/10.1007/978-981-13-7729-7

Format:

Electronic Resources

Alıntı:

, performance analysis and optimization, science gateways and high-productivity tools and frameworks.

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Yazar

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555

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

Format:

Electronic Resources

Alıntı:

: from language design to verification and analysis techniques, to supporting tools and their integration

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

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ı:

the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the

Language, Culture, Computation. Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

Yazar

Dershowitz, Nachum. editor.

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

Format:

Electronic Resources

Alıntı:

The Jubilarian: Yaacov and His Oeuvre -- Theory of Computation -- Science Computing and Tools for

10.

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

11.

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

12.

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

	{displayName}	{count}
{error}