Search alternatives:
search » research
engines » engineers, engineer
Cover Image
Read Now

201
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Networks to Direct Stochastic Search in Inductive Logic Programming -- Revising First-Order Logic Theories...”
Cover Image
Read Now

202
Published 2013
Springer International Publishing
Table of Contents: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
Cover Image
Read Now

203
by Shen, Alexander
Published 1997
Birkhäuser
Table of Contents: “... and nonrecursive programs -- Graph algorithms -- Pattern matching -- Set representation. Hashing -- Sets, trees...”
Cover Image
Read Now

204
by Kourie, Derrick G., Watson, Bruce W.
Published 2012
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

205
by COLEMAN.
Published 1979
Springer New York
Table of Contents: “.... Recursion and Recursive Algorithms -- 13. Binary Search Trees -- Exercises 3 -- 14. Designing Programs From...”
Cover Image
Read Now

206
by Li, Rongpeng, Nakano, Aiichiro
Published 2022
Apress
Table of Contents: “...Chapter 1: Calculating Pi and Beyond: Searching Order in Disorder with Simulation -- Chapter 2...”
Cover Image
Read Now

207
by Bartholomew-Biggs, Michael
Published 2008
Springer US
Table of Contents: “... Unconstrained Optimization -- Direct Search Methods -- Computing Derivatives -- The Steepest Descent Method...”
Cover Image
Read Now

208
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Programming System Competition -- Technical Papers -- cr-models: An Inference Engine for CR-Prolog...”
Cover Image
Read Now

209
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Universal Inference Engine -- Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl...”
Cover Image
Read Now

210
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Quantum Complexities of Ordered Searching, Sorting, and Element Distinctness -- Lower Bounds...”
Cover Image
Read Now

211
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- Self-Adjusting Computation -- The Past, Present, and Future of Web Search Engines...”
Cover Image
Read Now

212
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Algorithms for k-SAT Based on Covering Codes and Local Search -- Closest Vectors, Successive Minima, and Dual...”
Cover Image
Read Now

213 Table of Contents: “...1. Introduction -- 2. Logic Programming -- 2.1 Logic -- 2.2 Propositional Logic -- 2.3 First-Order...”
Cover Image
Read Now

214
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... filter with constant response time -- Searching by elimination -- The projection of systolic programs...”
Cover Image
Read Now

215
by Stanislao, Nic
Published 2010
Peachpit Press
Subjects: “...Web search engines / http://id.loc.gov/authorities/subjects/sh97007463...”
Cover Image
Read Now

216
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... to Emergent Programming: Feasibility Study for Engineering Adaptive Systems Using Self-organizing Instruction...”
Cover Image
Read Now

217
by Schulte, Christian
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Constraint Programming -- Introducing Oz Light -- Spaces for Search -- Search Engines -- Best...”
Cover Image
Read Now

218
by Henley, Ernest J.
Published 1973
Academic Press
Table of Contents: “.... Branch and Eound. Search Tree Methods; Formal Definition of the Branch and Bound Technique; The Traveling...”
Cover Image
Read Now

219
Published 2013
Springer Netherlands
Table of Contents: “... Using Constraint-Based Local Search -- 5 Sequencing Of Arrival Aircraft With Operational Constraints...”
Cover Image
Read Now

220
Published 1984
Springer Berlin Heidelberg
Table of Contents: “... Analysis for Target Tracking -- Detection Performance in Visual Search Tasks -- Prediction of Human Pattern...”