Search Results for Programming Techniques.

25.

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Yazar

Artho, Cyrille. editor.

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

Format:

Electronic Resources

Alıntı:

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France

26.

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Yazar

Artho, Cyrille. editor.

https://doi.org/10.1007/978-3-030-12988-0

Format:

Electronic Resources

Alıntı:

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast

27.

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Yazar

James, Phillip. editor.

https://doi.org/10.1007/978-3-319-72044-9

Format:

Electronic Resources

Alıntı:

Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product

28.

Simulation-Based Optimization Parametric Optimization Techniques and Reinforcement Learning

Yazar

Gosavi, Abhijit. author.

http://dx.doi.org/10.1007/978-1-4899-7491-4

Format:

Electronic Resources

Alıntı:

Simulation-Based Optimization Parametric Optimization Techniques and Reinforcement Learning /

29.

Nature Inspired Computing Proceedings of CSI 2015

Yazar

Panigrahi, Bijaya Ketan. editor.

https://doi.org/10.1007/978-981-10-6747-1

Format:

Electronic Resources

Alıntı:

Diseases Using Genetic Programming & Neural Networks -- A Comparative Study on Decision Making Capability

30.

Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret

Yazar

Warnow, Tandy. editor.

https://doi.org/10.1007/978-3-030-10837-3

Format:

Electronic Resources

Alıntı:

rearrangement events Reviews different techniques for inferring evolutionary histories in cancer, from the use

31.

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

Yazar

Berry, Stuart. editor.

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

Format:

Electronic Resources

Alıntı:

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and

32.

Distributed Model Predictive Control Made Easy

Yazar

Maestre, José M. editor.

http://dx.doi.org/10.1007/978-94-007-7006-5

Format:

Electronic Resources

Alıntı:

programming techniques in distributed MPC problems, by I. Prodan, F. Stoican, S. Olaru, C. Stoica, S-I

	{displayName}	{count}
{error}