Search Results - "Mathematics and Computing."

1

Higher-Order Computability

by Longley, John., Longley, John., Normann, Dag.
Imprint 2015

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2015 English/International.

Electronic eBook

2

Space in Weak Propositional Proof Systems

by Bonacina, Ilario., Bonacina, Ilario.
Imprint 2017

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2017 English/International.

Electronic eBook

3

Words and Graphs

by Kitaev, Sergey., Kitaev, Sergey., Lozin, Vadim.
Imprint 2015

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2015 English/International.

Electronic eBook

4

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings /

Imprint 2014

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2014 English/International.

Electronic eBook

5

Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Imprint 2014

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2014 English/International.

Electronic eBook

6

Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings /

Imprint 2015

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2015 English/International.

Electronic eBook

7

Modern Language Models and Computation Theory with Applications /

by Meduna, Alexander., Meduna, Alexander., Soukup, Ondřej.
Imprint 2017

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2017 English/International.

Electronic eBook

8

Universal Time-Series Forecasting with Mixture Predictors

by Ryabko, Daniil., Ryabko, Daniil.
Imprint 2020

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2020 English/International.

Electronic eBook

9

Concise Guide to Quantum Computing Algorithms, Exercises, and Implementations /

by Kurgalin, Sergei., Kurgalin, Sergei., Borzunov, Sergei.
Imprint 2021

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2021 English/International.

Electronic eBook

10

Mathematics of Discrete Structures for Computer Science

by Pace, Gordon J., Pace, Gordon J.
Imprint 2012

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2012 English/International.

Electronic eBook

11

Handbook of Computability and Complexity in Analysis

Imprint 2021

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2021 English/International.

Electronic eBook

12

Turing Computability Theory and Applications /

by Soare, Robert I., Soare, Robert I.
Imprint 2016

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2016 English/International.

Electronic eBook

13

The Incomputable Journeys Beyond the Turing Barrier /

Imprint 2017

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2017 English/International.

Electronic eBook

14

Foundations of Finitely Supported Structures A Set Theoretical Viewpoint /

by Alexandru, Andrei., Alexandru, Andrei., Ciobanu, Gabriel.
Imprint 2020

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2020 English/International.

Electronic eBook

15

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /

Imprint 2005

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2005 English/International.

Electronic eBook

16

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /

Imprint 2006

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2006 English/International.

Electronic eBook

17

Computer Science - Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings /

Imprint 2008

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2008 English/International.

Electronic eBook

18

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Imprint 2006

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2006 English/International.

Electronic eBook

19

Computer Science - Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings /

Imprint 2007

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2007 English/International.

Electronic eBook

20

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings /

Imprint 2007

Subjects: “...Mathematics of Computing....”

Available in Springer Computer Science eBooks 2007 English/International.

Electronic eBook

Narrow Search