Search Results for Programming Techniques.

28 sonuç bulundu

Tümünü Seç

1 2 3

000000000000DEFAULTTR

Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings

Yazar

Salvagnin, Domenico. editor.

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

Format:

Electronic Resources

Alıntı:

Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR

Algorithms for Functional Programming

Yazar

Stone, John David. author.

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

Format:

Electronic Resources

Alıntı:

Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

Yazar

Laaksonen, Antti. author.

https://doi.org/10.1007/978-3-319-72547-5

Format:

Electronic Resources

Alıntı:

Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig

Yazar

Heckel, Reiko. editor.

https://doi.org/10.1007/978-3-319-75396-6

Format:

Electronic Resources

Alıntı:

Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

Yazar

Martínez de Pisón, Francisco Javier. editor.

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

Format:

Electronic Resources

Alıntı:

Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Yazar

Drewes, Frank. editor.

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

Format:

Electronic Resources

Alıntı:

Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers

Yazar

Di Napoli, Edoardo. editor.

https://doi.org/10.1007/978-3-319-53862-4

Format:

Electronic Resources

Alıntı:

Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Yazar

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448

https://doi.org/10.1007/978-3-319-66176-6

Format:

Electronic Resources

Alıntı:

Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Yazar

Zeume, Thomas. author.

https://doi.org/10.1007/978-3-662-54314-6

Format:

Electronic Resources

Alıntı:

Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010

10.

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3–7, 2017, Revised Selected Papers

Yazar

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918

https://doi.org/10.1007/978-3-319-67035-5

Format:

Electronic Resources

Alıntı:

Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010

11.

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Yazar

Massoni, Tiago. editor. (orcid)0000-0002-9423-7556

https://doi.org/10.1007/978-3-030-03044-5

Format:

Electronic Resources

Alıntı:

Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010

12.

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Yazar

Barrett, Clark. editor. (orcid)0000-0002-9522-3084

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

Format:

Electronic Resources

Alıntı:

Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010

	{displayName}	{count}
{error}