Search Results for Development Theory.

11 sonuç bulundu

Tümünü Seç

00000000000DEFAULTTR

Automata, Universality, Computation Tribute to Maurice Margenstern

Yazar

Adamatzky, Andrew. editor.

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

Format:

Electronic Resources

Alıntı:

exciting and intriguing topics of logical theory of monoids, geometry of Gauss word, philosophy of

Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Yazar

Kahl, Wolfram. editor.

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

Format:

Electronic Resources

Alıntı:

areas such as verification.-Analysis and development of programs and algorithms -- Algebraic approaches

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

Yazar

Potapov, Igor. editor.

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

Format:

Electronic Resources

Alıntı:

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30

Correct Software in Web Applications and Web Services

Yazar

Thalheim, Bernhard. editor.

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

Format:

Electronic Resources

Alıntı:

applications; and at developing a European-scale research agenda combining theory, methods and tools that would

The Foundations of Computability Theory

Yazar

Robič, Borut. author.

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

Format:

Electronic Resources

Alıntı:

The Foundations of Computability Theory Robič, Borut. author.

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

Yazar

Shur, Arseny M. editor.

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

Format:

Electronic Resources

Alıntı:

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Yazar

Brlek, Srečko. editor.

http://dx.doi.org/10.1007/978-3-662-53132-7

Format:

Electronic Resources

Alıntı:

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings

Yazar

Höfner, Peter. editor.

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

Format:

Electronic Resources

Alıntı:

Composition Table -- Fuzzifying Modal Algebra -- Tableau Development for a Bi- intuitionistic Tense Logic

Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Yazar

Ciobanu, Gabriel. editor.

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

Format:

Electronic Resources

Alıntı:

engineering computing systems -- Service-oriented architectures: models and development methods -- Models of

10.

Mathematical Analysis of Continuum Mechanics and Industrial Applications Proceedings of the International Conference CoMFoS15

Yazar

Itou, Hiromichi. editor.

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

Format:

Electronic Resources

Alıntı:

problems have become more important in engineering and industry, further development of mathematical study

11.

Turing Computability Theory and Applications

Yazar

Soare, Robert I. author.

http://dx.doi.org/10.1007/978-3-642-31933-4

Format:

Electronic Resources

Alıntı:

Theory and Applications of Computability, In cooperation with the association Computability in

	{displayName}	{count}
{error}