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

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Space and Time Requirements for Resource-Bounded Agents -- Automated Creation of Pattern Database Search...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Through Randomized Guided Search -- Distributed Dynamic Partial Order Reduction Based Verification...”
Cover Image
Read Now

3
by Edelkamp, Stefan
Published 2023
Springer International Publishing
Table of Contents: “...Preface -- Towards a Characterization -- Part I, Basics -- 1. Programming Primer -- 2. Shortest...”