Sökresultat - program computing https function sets https*

1

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Hämta fulltext

Elektronisk E-bok

2

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Hämta fulltext

Elektronisk E-bok

3

Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings /

Publicerad 2008

Innehållsförteckning: “... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”
Hämta fulltext

Elektronisk E-bok

4

Drawing Programs: The Theory and Practice of Schematic Functional Programming

av Addis, Tom., Addis, Tom., Addis, Jan.
Publicerad 2010

Innehållsförteckning: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Hämta fulltext

Elektronisk E-bok

5

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 10th International Conference, RSFDGrC...

Publicerad 2005

Innehållsförteckning: “... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...”
Hämta fulltext

Elektronisk E-bok

6

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Publicerad 2007

Innehållsförteckning: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Hämta fulltext

Elektronisk E-bok

7

Mathematical and Computer Programming Techniques for Computer Graphics

av Comninos, Peter., Comninos, Peter.
Publicerad 2006

Innehållsförteckning: “...Set Theory Survival Kit -- Vector Algebra Survival Kit -- Matrix Algebra Survival Kit -- Vector...”
Hämta fulltext

Elektronisk E-bok

8

An Introduction to Python and Computer Programming

av Zhang, Yue., Zhang, Yue.
Publicerad 2015

Innehållsförteckning: “...An introduction to Python and computer programming -- Using Python as a Calculator -- The First...”
Hämta fulltext

Elektronisk E-bok

9

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

av Janssen, Jeroen., Janssen, Jeroen., Schockaert, Steven., Vermeir, Dirk., De Cock, Martine.
Publicerad 2012

Innehållsförteckning: “...Introduction -- Preliminaries -- Fuzzy Answer Set Programming -- Aggregated Fuzzy Answer Set...”
Hämta fulltext

Elektronisk E-bok

10

Advanced Statistical Methods for the Analysis of Large Data-Sets

Publicerad 2012

Innehållsförteckning: “...Part I Clustering Large Data-Sets: Clustering Large Data Set: An Applied Comparative Study (Bocci L...”
Hämta fulltext

Elektronisk E-bok

11

Set-Theoretic Methods in Control

av Blanchini, Franco., Blanchini, Franco., Miani, Stefano.
Publicerad 2008

Innehållsförteckning: “...Lyapunov and Lyapunov-like functions -- Convex sets and their representation -- Invariant sets...”
Hämta fulltext

Elektronisk E-bok

12

Rough Sets and Knowledge Technology Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... -- Functional Data Analysis and Its Application -- Evaluation of Pictogram Using Rough Sets -- A Logical...”
Hämta fulltext

Elektronisk E-bok

13

Expert T-SQL Window Functions in SQL Server

av Kellenberger, Kathi., Kellenberger, Kathi., Groom, Clayton.
Publicerad 2015

Ämnen: “...Programming languages (Electronic computers)....”
Hämta fulltext

Elektronisk E-bok

14

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

15

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

Publicerad 2006

Innehållsförteckning: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
Hämta fulltext

Elektronisk E-bok

16

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

Publicerad 2008

Innehållsförteckning: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Hämta fulltext

Elektronisk E-bok

17

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

Publicerad 2008

Innehållsförteckning: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Hämta fulltext

Elektronisk E-bok

18

Computational and Analytical Mathematics In Honor of Jonathan Borwein's 60th Birthday /

Publicerad 2013

Innehållsförteckning: “... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”
Hämta fulltext

Elektronisk E-bok

19

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

Publicerad 2015

Innehållsförteckning: “... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”
Hämta fulltext

Elektronisk E-bok

20

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen