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

61
Published 2016
Springer International Publishing
Table of Contents: “... for Recommender Systems -- Span-Program-Based Quantum Algorithms for Graph Bipartiteness and Connectivity...”
Cover Image
Read Now

62
Published 2014
Springer International Publishing
Table of Contents: “... -- Today’s Challenges for Embedded ASR -- Automating Software Analysis at Large Scale -- 3D Model-Based...”
Cover Image
Read Now

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

64
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...-Strategy Preference-Based Approval Voting Broadly Resists Control -- Reversal-Bounded Counter Machines...”
Cover Image
Read Now

65
by Rektorys, Karel
Published 1977
Springer Netherlands
Table of Contents: “... of the Mathematical Theory of Elasticity -- 25. The Choice of a Base for Boundary Value Problems in Partial...”
Cover Image
Read Now

66
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

67
Published 2022
Springer International Publishing
Subjects: “...Engineering mathematics...”
Cover Image
Read Now

68
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Induced Subgraphs and the Price of Connectivity for Feedback Vertex Set -- Network-Based Dissolution...”
Cover Image
Read Now

69
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

70
Published 2009
Birkhäuser
Table of Contents: “...to Earth Sciences and Mathematics, Volume II -- On the Mathematical Analysis of an Elastic...”
Cover Image
Read Now

71
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...BDD-Based Software Model Checking with CPAchecker -- Security for Cyber-Physical Systems -- Quantum...”
Cover Image
Read Now

72
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

73
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... complexity measures of cooperating grammar systems -- Efficient parallel graph algorithms based on open ear...”
Cover Image
Read Now

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

75
Published 2008
Birkhäuser
Table of Contents: “...Introduction: Linking Earth Sciences and Mathematics -- A Review of Earthquake Statistics: Fault...”
Cover Image
Read Now

76
Published 2013
Springer Berlin Heidelberg
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

77
by Sato, Makoto
Published 2022
Springer Nature Singapore
Subjects: “...Mathematical and Computational Biology...”
Cover Image
Read Now

78
by Phillips, Linda M., Norris, Stephen P., Macnab, John S.
Published 2010
Springer Netherlands
Table of Contents: “... of Visualization in Psychology and Science -- The Concept of Visualization -- Cognitive Theory -- Current...”
Cover Image
Read Now

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

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