Search Results for Engineering.

37.

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Yazar

Ábrahám, Erika. editor.

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

Format:

Electronic Resources

Alıntı:

Software engineering.

38.

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Yazar

Baier, Christel. editor.

http://dx.doi.org/10.1007/978-3-662-46681-0

Format:

Electronic Resources

Alıntı:

Software engineering.

39.

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

Yazar

Ábrahám, Erika. editor.

http://dx.doi.org/10.1007/978-3-642-54862-8

Format:

Electronic Resources

Alıntı:

Software engineering.

40.

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Yazar

Dediu, Adrian-Horia. editor.

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

Format:

Electronic Resources

Alıntı:

; descriptional complexity; digital libraries and document engineering; foundations of finite state technology

41.

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings

Yazar

Holzer, Markus. editor.

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

Format:

Electronic Resources

Alıntı:

/membrane computing, document engineering, editors, environments, experimental studies and practical

42.

Numerical Methods of Mathematics Implemented in Fortran

Yazar

Bose, Sujit Kumar. author.

https://doi.org/10.1007/978-981-13-7114-1

Format:

Electronic Resources

Alıntı:

required for solving problems in mathematics, engineering and various other disciplines. It also provides

43.

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

Yazar

Dediu, Adrian-Horia. editor.

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

Format:

Electronic Resources

Alıntı:

libraries and document engineering; foundations of finite state technology; foundations of XML; fuzzy and

44.

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

Yazar

Shallit, Jeffrey. editor.

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

Format:

Electronic Resources

Alıntı:

physical realizations, such as the engineering complexity of computer software and hardware. It also models

	{displayName}	{count}
{error}