Sökresultat - programming turing https function function https

1

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Publicerad 2008

Innehållsförteckning: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Hämta fulltext

Elektronisk E-bok

2

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”
Hämta fulltext

Elektronisk E-bok

3

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”
Hämta fulltext

Elektronisk E-bok

4

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...”
Hämta fulltext

Elektronisk E-bok

5

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “...Deterministic Graphical Games Revisited -- Program Schemes with Deep Pushdown Storage -- Herbrand...”
Hämta fulltext

Elektronisk E-bok

6

Instruction Sequences for Computer Science

av Bergstra, Jan A., Bergstra, Jan A., Middelburg, Cornelis A.
Publicerad 2012

Innehållsförteckning: “...: Natural Number Functional Units -- Appendix C: Dynamically Instantiated Instructions -- Appendix D...”
Hämta fulltext

Elektronisk E-bok

7

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

Publicerad 2015

Innehållsförteckning: “... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”
Hämta fulltext

Elektronisk E-bok

8

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers /

Publicerad 2013

Innehållsförteckning: “... Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically...”
Hämta fulltext

Elektronisk E-bok

9

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers /

Publicerad 2014

Innehållsförteckning: “...-Connectivity Problem with Pure Membrane Computing Techniques -- Simulating Turing Machines...”
Hämta fulltext

Elektronisk E-bok

10

Computer Science -- Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... Reachability Games -- Quotient Complexity of Closed Languages -- Right-Sequential Functions on Infinite Words...”
Hämta fulltext

Elektronisk E-bok

11

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /

Publicerad 2015

Innehållsförteckning: “...Invited Talks -- Regular Functions -- Unambiguity in Automata Theory -- Contributed Papers...”
Hämta fulltext

Elektronisk E-bok

12

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Publicerad 2014

Innehållsförteckning: “... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...”
Hämta fulltext

Elektronisk E-bok

13

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “...-algebraic Proofs -- Turing’s Computable Real Numbers and Why They Are Still Important Today...”
Hämta fulltext

Elektronisk E-bok

14

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Hämta fulltext

Elektronisk E-bok

15

Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... Using Cartesian Genetic Programming -- Coping with Resource Fluctuations: The Run-time Reconfigurable...”
Hämta fulltext

Elektronisk E-bok

16

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...”
Hämta fulltext

Elektronisk E-bok

17

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /

av O’Regan, Gerard., O’Regan, Gerard.
Publicerad 2013

Innehållsförteckning: “...Mathematics in Civilization -- Sets, Relations and Functions -- Logic -- Software Engineering...”
Hämta fulltext

Elektronisk E-bok

18

Nanotechnology: Science and Computation

Publicerad 2006

Innehållsförteckning: “... and DNA -- A Supramolecular Approach to Metal Array Programming Using Artificial DNA -- Multicomponent...”
Hämta fulltext

Elektronisk E-bok

19

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... of the Uniform Continuity Theorem -- Elementary Algebraic Specifications of the Rational Function Field -- Random...”
Hämta fulltext

Elektronisk E-bok

20

A Brief History of Computing

av O'Regan, Gerard., O'Regan, Gerard.
Publicerad 2008

Innehållsförteckning: “... Zuse -- Computer Programming Languages -- Object-oriented Languages -- Functional Programming Languages...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen