Hakutulokset - program reasoning problems https array https

1

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... -- Human and Unhuman Commonsense Reasoning -- Gödel Logics – A Survey -- Tableau Calculus for the Logic...”
Hae kokoteksti

Elektroninen E-kirja

2

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Noise Strategies -- The Max-Atom Problem and Its Relevance -- Session 2. Knowledge Representation 1...”
Hae kokoteksti

Elektroninen E-kirja

3

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Reasoning -- The Logical Difference Problem for Description Logic Terminologies -- Session 10: System...”
Hae kokoteksti

Elektroninen E-kirja

4

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking...”
Hae kokoteksti

Elektroninen E-kirja

5

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Julkaistu 2014

Sisällysluettelo: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Hae kokoteksti

Elektroninen E-kirja

6

Numerical Python A Practical Techniques Approach for Industry /

Tekijä Johansson, Robert., Johansson, Robert.
Julkaistu 2015

Sisällysluettelo: “...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...”
Hae kokoteksti

Elektroninen E-kirja

7

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Julkaistu 2007

Sisällysluettelo: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Hae kokoteksti

Elektroninen E-kirja

8

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... Programming System -- optsat: A Tool for Solving SAT Related Optimization Problems -- Automated Reasoning...”
Hae kokoteksti

Elektroninen E-kirja

9

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Julkaistu 2010

Sisällysluettelo: “...: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software...”
Hae kokoteksti

Elektroninen E-kirja

10

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Julkaistu 2008

Sisällysluettelo: “...) -- The ?-Regular Post Embedding Problem -- Complexity of Decision Problems for Mixed and Modal Specifications...”
Hae kokoteksti

Elektroninen E-kirja

11

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
Hae kokoteksti

Elektroninen E-kirja

12

The Calculus of Computation Decision Procedures with Applications to Verification /

Tekijä Bradley, Aaron R., Bradley, Aaron R., Manna, Zohar.
Julkaistu 2007

Sisällysluettelo: “... -- Program Correctness: Mechanics -- Program Correctness: Strategies -- Algorithmic Reasoning -- Quantified...”
Hae kokoteksti

Elektroninen E-kirja

13

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III /

Julkaistu 2010

Sisällysluettelo: “...-channel Interference Using Switched Parasitic Array Antenna in Femtocell Networks -- User Policy Based...”
Hae kokoteksti

Elektroninen E-kirja

14

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... and Reasoning About Timing Constraints in Real-Time Systems -- Finding Pareto-Optimal Set of Distributed Vectors...”
Hae kokoteksti

Elektroninen E-kirja

15

Practical Neo4j

Tekijä Jordan, Gregory., Jordan, Gregory.
Julkaistu 2014

Aiheet: “...Computer programming....”
Hae kokoteksti

Elektroninen E-kirja

16

Decision Procedures An Algorithmic Point of View /

Tekijä Kroening, Daniel., Kroening, Daniel., Strichman, Ofer.
Julkaistu 2008

Sisällysluettelo: “... Arithmetic -- Bit Vectors -- Arrays -- Pointer Logic -- Quantified Formulas -- Deciding a Combination...”
Hae kokoteksti

Elektroninen E-kirja

17

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Hae kokoteksti

Elektroninen E-kirja

18

Computer Vision -- ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV /

Julkaistu 2010

Sisällysluettelo: “... Solution to the Calibrated Relative Pose Problem for the Case of Two Known Orientation Angles -- Bilinear...”
Hae kokoteksti

Elektroninen E-kirja

19

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Julkaistu 2013

Sisällysluettelo: “...A Populated Iterated Greedy Algorithm with Inver-Over Operator for Traveling Salesman Problem...”
Hae kokoteksti

Elektroninen E-kirja

20

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Julkaistu 2005

Sisällysluettelo: “... Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua