Search Results for Approximation theory.

5 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ç

00000DEFAULTTR

Yazdır

1.

Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings için kapak resmi

Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings

Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings

Yazar

Xu, Dachuan. editor.

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

Format:

Electronic Resources

Alıntı:

cover various topics including algorithms and data structures; algorithmic game theory; approximation

2.

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings için kapak resmi

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings

Yazar

Cai, Zhipeng. editor.

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

Format:

Electronic Resources

Alıntı:

; approximation algorithm; graph theory and algorithms; game theory and cryptography; scheduling algorithms and

3.

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings için kapak resmi

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Yazar

Ábrahám, Erika. editor.

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

Format:

Electronic Resources

Alıntı:

-- Concurrency -- Monitoring Multi-threaded Component-Based Systems -- A Generalised Theory of Interface Automata

4.

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Jacobs, Bart. editor.

http://dx.doi.org/10.1007/978-3-662-49630-5

Format:

Electronic Resources

Alıntı:

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

5.

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings için kapak resmi

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

Yazar

Norman, Gethin. editor.

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

Format:

Electronic Resources

Alıntı:

equivalences; automata and Markov process theory; applications, theory and tools; and probabilistic model

Tümünü Seç

1

5 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