Hakutulokset - programming external https functionality computing https

1

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

Julkaistu 2006

Sisällysluettelo: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Hae kokoteksti

Elektroninen E-kirja

2

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2010

Sisällysluettelo: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
Hae kokoteksti

Elektroninen E-kirja

4

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”
Hae kokoteksti

Elektroninen E-kirja

5

Trust and Trustworthy Computing Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...”
Hae kokoteksti

Elektroninen E-kirja

6

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”
Hae kokoteksti

Elektroninen E-kirja

7

Research in Computational Molecular Biology 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...”
Hae kokoteksti

Elektroninen E-kirja

8

Pro Bash Programming Scripting the Linux Shell /

Tekijä Johnson, Chris., Johnson, Chris.
Julkaistu 2010

Sisällysluettelo: “...Hello, World! Your First Shell Program -- Input, Output, and Throughput -- Looping and Branching...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2005

Sisällysluettelo: “... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”
Hae kokoteksti

Elektroninen E-kirja

10

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

11

Python Scripting for Computational Science

Tekijä Langtangen, Hans Petter., Langtangen, Hans Petter.
Julkaistu 2008

Sisällysluettelo: “...Getting Started with Python Scripting -- Basic Python -- Numerical Computing in Python -- Combining...”
Hae kokoteksti

Elektroninen E-kirja

12

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Julkaistu 2014

Sisällysluettelo: “... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”
Hae kokoteksti

Elektroninen E-kirja

13

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings /

Julkaistu 2015

Sisällysluettelo: “...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”
Hae kokoteksti

Elektroninen E-kirja

14

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... in Transaction Logic -- Conditional Planning with External Functions -- Logic Programs with Abstract Constraints...”
Hae kokoteksti

Elektroninen E-kirja

15

Computational Methods

Julkaistu 2006

Sisällysluettelo: “... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”
Hae kokoteksti

Elektroninen E-kirja

16

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... for Network Reliability Analysis -- DFT and DRBD in Computing Systems Dependability Analysis -- Development...”
Hae kokoteksti

Elektroninen E-kirja

17

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

Julkaistu 2014

Sisällysluettelo: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
Hae kokoteksti

Elektroninen E-kirja

18

Asymptotic Geometric Analysis Proceedings of the Fall 2010 Fields Institute Thematic Program /

Julkaistu 2013

Sisällysluettelo: “... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...”
Hae kokoteksti

Elektroninen E-kirja

19

Brain-Computer Interfaces An international assessment of research and development trends /

Tekijä Berger, Theodore W., Berger, Theodore W., Chapin, John K., Gerhardt, Greg A., McFarland, Dennis J., Principe, Jose C., Soussou, Walid V., Taylor, Dawn M., Tresco, Patrick A.
Julkaistu 2008

Sisällysluettelo: “... -- Hardware Implementation -- Functional Electrical Stimulation and Rehabilitation Applications of BCIs...”
Hae kokoteksti

Elektroninen E-kirja

20

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “...Invited Talks -- The Complexity of Querying External Memory and Streaming Data -- The Smoothed...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua