Search alternatives:
based mathematical » basic mathematical
sciences » science
Cover Image
Read Now

1
Published 2017
Springer International Publishing
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

2
Published 2002
Springer London
Table of Contents: “...-Like Models of Computation -- II The Present and the Future -- 5 Universal Cellular Automata Based...”
Cover Image
Read Now

3
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... for Mutually Unbiased Bases -- An Efficient Quantum Algorithm for the Hidden Subgroup Problem over Weyl...”
Cover Image
Read Now

4
by Buss, S.R., Scott, P.J.
Published 1990
Birkhäuser
Table of Contents: “... Space Bases -- When is every Recursive Linear Ordering of Type ? Recursively Isomorphic to a Polynomial...”
Cover Image
Read Now

5
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- On the Complexity of Some Problems in Interval Arithmetic -- An Abduction-Based Method for Index Relaxation...”
Cover Image
Read Now

6
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Computing Over Reals -- On-Line Addition in Real Base -- Query Languages for Real Number Databases...”
Cover Image
Read Now

7
Published 2023
John Wiley & Sons, Inc.
Table of Contents: “... for Post-Quantum Cryptography -- 5.4.1 Code-Based Cryptography -- 5.4.2 Lattice-Based Cryptography -- 5.4.3...”
Cover Image
Read Now

8
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Simplification orders for term graph rewriting -- Dependency-based action refinement -- A hierarchy...”
Cover Image
Read Now

9
Published 1978
Springer Berlin Heidelberg
Table of Contents: “... based on petri nets -- Data types as functions -- Synthesis of communicating behaviour -- Programming...”
Cover Image
Read Now

10
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Exponential Sums to Exponential Products -- A Reachability Algorithm for General Petri Nets Based...”
Cover Image
Read Now

11
by Pace, Gordon J.
Published 2012
Springer Berlin Heidelberg
Table of Contents: “...Why Mathematics? -- Propositional Logic -- Predicate Calculus -- Sets -- Relations -- Classifying...”
Cover Image
Read Now

12
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Public Key Identification Based on the Equivalence of Quadratic Forms -- Reachability Problems...”
Cover Image
Read Now

13
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Computational Aspects of Disjunctive Sequences -- Decidability of Trajectory-Based Equations -- Geometry...”
Cover Image
Read Now

14
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Digit of 2n at Base 3 as anExample -- Algorithms for Computing Small NFAs --...”
Cover Image
Read Now

15
Published 2024
Springer Nature Singapore
Table of Contents: “...Part 1. Introduction, motivation, and direction for Advanced Mathematical Science for Mobility...”
Cover Image
Read Now

16
by Tarlecki, Andrzej
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... concurrency -- An extensional partial combinatory algebra based on ?-terms -- Once more on order-sorted...”
Cover Image
Read Now

17
Published 1975
Springer Berlin Heidelberg
Table of Contents: “... of programs -- Mathematical model of programs with dynamic allocation of variables -- Mathematical foundations...”
Cover Image
Read Now

18
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Decomposition Methods and Sampling Circuits in the Cartesian Lattice -- New Algorithms for k-SAT Based...”
Cover Image
Read Now

19
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Based on Scoring Rules -- Sampling Edge Covers in 3-Regular Graphs -- Balanced Paths in Colored Graphs...”
Cover Image
Read Now

20
Published 1994
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”