Search Results for Computer mathematics.

365 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 31

000000000000DEFAULTTR

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

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

Computer mathematics.

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

Computer science -- Mathematics.

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

Computer science -- Mathematics.

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

Computer science -- Mathematics.

Petri Net Synthesis

Yazar

Badouel, Eric. author.

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

Format:

Electronic Resources

Alıntı:

Computer science -- Mathematics.

10.

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.

11.

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.

12.

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author.

https://doi.org/10.1007/978-3-030-02420-8

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product

Tümünü Seç

1 2 3 4 5 .. 31

365 sonuç bulundu

	{displayName}	{count}
{error}