23 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
00000000000DEFAULTTR
Yazdır
16. 
Algorithms - ESA 2014 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings için kapak resmi
Algorithms - ESA 2014 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings
Algorithms - ESA 2014 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings
Yazar 
Schulz, Andreas S. editor.
http://dx.doi.org/10.1007/978-3-662-44777-2
Format: 
Electronic Resources
Alıntı: 
original research in the areas of design and mathematical analysis of algorithms; engineering, experimental
17. 
Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings için kapak resmi
Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Yazar 
de Lara, Juan. editor. (orcid)0000-0001-9425-6362
https://doi.org/10.1007/978-3-319-61470-0
Format: 
Electronic Resources
Alıntı: 
including theoretical approaches to graph transformation and their verification, model-driven engineering
19. 
Genetic Programming 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings için kapak resmi
Genetic Programming 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Genetic Programming 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Yazar 
Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011
https://doi.org/10.1007/978-3-030-16670-0
Format: 
Electronic Resources
Alıntı: 
applications in 2019, the papers are devoted to topics such as the test data design in software engineering
21. 
Experimental Algorithms 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings için kapak resmi
Experimental Algorithms 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings
Experimental Algorithms 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings
Yazar 
Goldberg, Andrew V. editor.
http://dx.doi.org/10.1007/978-3-319-38851-9
Format: 
Electronic Resources
Alıntı: 
experimentation and of algorithm engineering techniques in the design and evaluation of algorithms and data
22. 
Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings için kapak resmi
Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings
Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings
Yazar 
Bampis, Evripidis. editor.
http://dx.doi.org/10.1007/978-3-319-20086-6
Format: 
Electronic Resources
Alıntı: 
experimentation and of algorithm engineering techniques in the design and evaluation of algorithms and data
23. 
Business Process Management 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings için kapak resmi
Business Process Management 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings
Business Process Management 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings
Yazar 
Hildebrandt, Thomas. editor. (orcid)0000-0002-7435-5563
https://doi.org/10.1007/978-3-030-26619-6
Format: 
Electronic Resources
Alıntı: 
Parameterized Verification of Data-Aware BPMN -- Engineering -- Estimating Process Conformance by Trace Sampling
Tümünü Seç
23 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(23)
Du, Hongwei. editor. (orcid)0000-0002-2138-749X
(2)
Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799
(2)
Han, Meng. editor. (orcid)0000-0001-7472-0842
(2)
Bampis, Evripidis. editor.
(1)
Format
Dil
Basım Yılı
Konu
Algorithm Analysis and Problem Complexity.
(20)
Data structures (Computer science).
(16)
Software engineering.
(15)
Algorithms.
(14)
Computer science.
(12)
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

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

Powered by Informascope