Search Results - program computing https functionality part https

1

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings /

Published 2011

Subjects: “...Programming languages (Electronic computers)....”
View full text

Electronic eBook

2

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Published 2010

Table of Contents: “...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”
View full text

Electronic eBook

3

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

Published 2011

Subjects: “...Programming languages (Electronic computers)....”
View full text

Electronic eBook

4

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Published 2006

Table of Contents: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
View full text

Electronic eBook

5

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /

Published 2006

Table of Contents: “... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”
View full text

Electronic eBook

6

Computer Analysis of Sequence Data, Part I

by Griffin, Annette M., Griffin, Annette M., Griffin, Hugh G.
Published 1994

Table of Contents: “...Computer Analysis of Sequence Data -- GCG: Fragment Assembly Programs -- GCG: Drawing Linear...”
View full text

Electronic eBook

7

Computer Analysis of Sequence Data Part II

by Griffin, Annette M., Griffin, Annette M., Griffin, Hugh G.
Published 1994

Table of Contents: “...Computer Analysis of Sequence Data -- Staden: Introduction -- Staden: Sequence Input, Editing...”
View full text

Electronic eBook

8

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
View full text

Electronic eBook

9

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Published 2006

Table of Contents: “... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”
View full text

Electronic eBook

10

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”
View full text

Electronic eBook

11

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Published 2015

Table of Contents: “... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”
View full text

Electronic eBook

12

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

Published 2008

Table of Contents: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
View full text

Electronic eBook

13

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

Published 2008

Table of Contents: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
View full text

Electronic eBook

14

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Published 2014

Table of Contents: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
View full text

Electronic eBook

15

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Published 2010

Table of Contents: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
View full text

Electronic eBook

16

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”
View full text

Electronic eBook

17

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”
View full text

Electronic eBook

18

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”
View full text

Electronic eBook

19

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Published 2007

Table of Contents: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
View full text

Electronic eBook

20

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Published 2013

Table of Contents: “... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”
View full text

Electronic eBook

Narrow Search