检索结果 - interactions equations programmed problem based https

1

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings /

出版 2013

书本目录: “... with Tests and Coq Tools for while Programs.-Program Analysis and Verification Based on Kleene Algebra...”
获取全文

电子电子书

2

Optimal Stochastic Control, Stochastic Target Problems, and Backward SDE

由 Touzi, Nizar., Touzi, Nizar.
出版 2013

书本目录: “... and Dynamic Programming -- 3. Optimal Stopping and Dynamic Programming -- 4. Solving Control Problems...”
获取全文

电子电子书

3

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

出版 2007

书本目录: “... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”
获取全文

电子电子书

4

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

出版 2008

书本目录: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
获取全文

电子电子书

5

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR...

出版 2010

书本目录: “... -- Robots and the Human -- The Modelica Object-Oriented Equation-Based Language and Its OpenModelica...”
获取全文

电子电子书

6

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

出版 2010

书本目录: “...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...”
获取全文

电子电子书

7

Summary of Flow Modulation and Fluid-Structure Interaction Findings Results of the Collaborative...

出版 2010

书本目录: “... -- Adaptive Multiscale Methods for Flow Problems: Recent Developments -- Interaction of Wing-Tip Vortices...”
获取全文

电子电子书

8

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

出版 2005

书本目录: “... Derivations in Basic Superposition-Based Calculi -- On the Finite Satisfiability Problem for the Guarded...”
获取全文

电子电子书

9

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /

出版 2007

书本目录: “... for Differential Interaction Nets -- Complexity of Planning in Action Formalisms Based on Description Logics...”
获取全文

电子电子书

10

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

出版 2014

书本目录: “... Load Flow Problem -- Neural Network Based Dynamic Performance of Induction Motor Drives -- A bio...”
获取全文

电子电子书

11

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

出版 2010

书本目录: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
获取全文

电子电子书

12

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

出版 2014

书本目录: “... Water Drops Algorithm to Solve Graph Based Travelling Salesman Problem -- Optimization of Complex...”
获取全文

电子电子书

13

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /

出版 2008

书本目录: “... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”
获取全文

电子电子书

14

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /

出版 2008

书本目录: “... Verification of Concurrent Programs -- Combining Static and Dynamic Reasoning for the Discovery of Program...”
获取全文

电子电子书

15

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

出版 2010

书本目录: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
获取全文

电子电子书

16

Typed Lambda Calculi and Applications 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings /

出版 2007

书本目录: “... for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves -- The Safe Lambda Calculus...”
获取全文

电子电子书

17

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

出版 2010

书本目录: “... Frequency and Ultrashort Laser-Gas Interaction -- The Implementation of Polarizable and Flexible Models...”
获取全文

电子电子书

18

Formal Modeling: Actors; Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /

出版 2011

书本目录: “... Years of Analyzing Actors: Rebeca Experience -- Mathematical Models of Object-Based Distributed Systems...”
获取全文

电子电子书

19

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

出版 2012

书本目录: “....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...”
获取全文

电子电子书

20

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

出版 2014

书本目录: “...Verifying Communicating Multi-pushdown Systems via Split-Width -- Booster: An Acceleration-Based...”
获取全文

电子电子书

缩小搜索