Search Results for Tools.

4 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

0000DEFAULTTR

Yazdır

1.

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers için kapak resmi

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers

Yazar

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

https://doi.org/10.1007/978-3-319-71255-0

Format:

Electronic Resources

Alıntı:

sections on parallel algorithms; supercomputer simulation; high performance architectures, tools and

2.

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings için kapak resmi

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Yazar

Kapitsaki, Georgia M. editor.

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

Format:

Electronic Resources

Alıntı:

Based Software Engineering -- Software Reuse Tools -- Domain Analysis and Modeling -- Tool

3.

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings için kapak resmi

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

Yazar

Blanchette, Jasmin Christian. editor.

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

Format:

Electronic Resources

Alıntı:

Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation

4.

Models@run.time Foundations, Applications, and Roadmaps için kapak resmi

Models@run.time Foundations, Applications, and Roadmaps

Models@run.time Foundations, Applications, and Roadmaps

Yazar

Bencomo, Nelly. editor.

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

Format:

Electronic Resources

Alıntı:

relatively mature techniques and tools that are currently being used in industry and academia. However

Tümünü Seç

1

4 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2