MPG.eBooks - Search Results

1

Mathematics for Computer Algebra

by Mignotte, Maurice
Published 1992

Springer New York

Subjects: “...Mathematical logic...”

Read Now

2

Algorithms and Architectures for Parallel Processing : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Published 2018

Springer International Publishing

Subjects: “...Computer arithmetic and logic units...”

Read Now

3

Algorithms and Architectures for Parallel Processing : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Published 2018

Springer International Publishing

Subjects: “...Computer arithmetic and logic units...”

Read Now

4

The Resolution Calculus

by Leitsch, Alexander
Published 1997

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Read Now

5

Parametrisierte uniforme Berechnungskomplexität in Geometrie und Numerik

by Rösnick, Carsten
Published 2015

Springer Fachmedien Wiesbaden

Subjects: “...Mathematical logic...”

Read Now

6

Systems of Reductions

by Benninghofen, Benjamin, Kemmerich, Susanne, Richter, Michael M.
Published 1987

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Read Now

7

Methods and Applications of Error-Free Computation

by Gregory, R. T., Krishnamurthy, E. V.
Published 1984

Springer New York

Subjects: “...Computer arithmetic and logic units...”

Read Now

8

Structural Complexity I

by Balcazar, Jose L., Diaz, Josep, Gabarro, Joaquim
Published 1995

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Read Now

9

Mathematics, Computer Science and Logic - A Never Ending Story : The Bruno Buchberger Festschrift

Published 2013

Springer International Publishing

Subjects: “...Mathematical logic...”

Read Now

10

Computational Intelligence in Music, Sound, Art and Design : 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Procee...

Published 2019

Springer International Publishing

Subjects: “...Computer arithmetic and logic units...”

Read Now

11

Computer Algebra in Scientific Computing : 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Published 2018

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

12

Computer Algebra in Scientific Computing : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings

Published 2015

Springer International Publishing

Subjects: “...Computer arithmetic and logic units...”

Read Now

13

Symbolic Algebraic Methods and Verification Methods

Published 2001

Springer Vienna

Subjects: “...Computer arithmetic and logic units...”

Read Now

14

Algorithms and Complexity : 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings

Published 2019

Springer International Publishing

Subjects: “...Computer arithmetic and logic units...”

Read Now

15

Advances in Swarm Intelligence : 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II

Published 2019

Springer International Publishing

Subjects: “...Computer arithmetic and logic units...”

Read Now

16

Advances in Swarm Intelligence : 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I

Published 2019

Springer International Publishing

Subjects: “...Computer arithmetic and logic units...”

Read Now

17

Algorithms and Architectures for Parallel Processing : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II

Published 2018

Springer International Publishing

Subjects: “...Computer arithmetic and logic units...”

Read Now

18

Applications of Evolutionary Computation : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II

Published 2017

Springer International Publishing

Subjects: “...Logic design...”

Read Now

19

Applications of Evolutionary Computation : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I

Published 2017

Springer International Publishing

Subjects: “...Logic design...”

Read Now

20

Integer Programming and Combinatorial Optimization : 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings

Published 2019

Springer International Publishing

Subjects: “...Computer arithmetic and logic units...”

Narrow Search