Rezultaty - parallel sequencing programs function using https

1

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Wydane 2012

Spis treści: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Wydane 2005

Spis treści: “... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2014

Spis treści: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

A Primer on Scientific Programming with Python

od Langtangen, Hans Petter., Langtangen, Hans Petter.
Wydane 2011

Spis treści: “... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

A Primer on Scientific Programming with Python

od Langtangen, Hans Petter., Langtangen, Hans Petter.
Wydane 2012

Spis treści: “... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

A Primer on Scientific Programming with Python

od Langtangen, Hans Petter., Langtangen, Hans Petter.
Wydane 2014

Spis treści: “... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

DNA Cloning and Assembly Methods

Wydane 2014

Spis treści: “... by SLIC or Sequence and Ligation Independent Cloning -- Quick and Clean Cloning -- Hierarchical Ligation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Practical Clojure

od VanderHart, Luke., VanderHart, Luke., Sierra, Stuart.
Wydane 2010

Spis treści: “... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Wydane 2007

Spis treści: “... of Multi-agent Systems by Using EUSMs -- Strong Safe Realizability of Message Sequence Chart Specifications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Innovations in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Wydane 2005

Spis treści: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

Wydane 2013

Spis treści: “... Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Wydane 2005

Spis treści: “... -- Sequence Jobs and Assign Due Dates with Uncertain Processing Times and Quadratic Penalty Functions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Wydane 2012

Spis treści: “....-Numerical Integration Using Sequences Generating Permutations.-XII Table of Contents.-Optimization...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Wydane 2010

Spis treści: “... -- An Occurrence Based Approach to Mine Emerging Sequences -- Mining Closed Itemsets in Data Stream Using Formal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Wydane 2005

Spis treści: “... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Wydane 2010

Spis treści: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

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

Wydane 2015

Spis treści: “... based Circuits using Boolean Functional Decomposition -- Towards Code Optimization for Line-aware HDL...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

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...

Wydane 2005

Spis treści: “... in the Calculus of Constructions -- Longest Sorted Sequence Algorithm for Parallel Text Alignment -- Information...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

COMPSTAT 2008 Proceedings in Computational Statistics /

Wydane 2008

Spis treści: “...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty