Search Results for Mathematics.

271 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 23

000000000000DEFAULTTR

Finitely Supported Mathematics An Introduction

Yazar

Alexandru, Andrei. author.

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

Format:

Electronic Resources

Alıntı:

Finitely Supported Mathematics An Introduction / Alexandru, Andrei. author.

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures

Yazar

Doberkat, Ernst-Erich. author.

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

Format:

Electronic Resources

Alıntı:

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /

Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Yazar

Watt, Stephen M. editor.

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

Format:

Electronic Resources

Alıntı:

Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11

Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Yazar

Kerber, Manfred. editor.

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

Format:

Electronic Resources

Alıntı:

Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Yazar

Kohlhase, Michael. editor.

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

Format:

Electronic Resources

Alıntı:

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Yazar

Hinze, Ralf. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany

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ı:

Mathematical Logic and Foundations.

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

Yazar

Croitoru, Madalina. editor.

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

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science.

Introduction to Concurrency Theory Transition Systems and CCS

Yazar

Gorrieri, Roberto. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

10.

Petri Net Synthesis

Yazar

Badouel, Eric. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

11.

Formal Grammar 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings

Yazar

Morrill, Glyn. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

12.

Regulated Grammars and Automata

Yazar

Meduna, Alexander. author.

http://dx.doi.org/10.1007/978-1-4939-0369-6

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science.

Tümünü Seç

1 2 3 4 5 .. 23

271 sonuç bulundu

	{displayName}	{count}
{error}