Rezultaty - parallel sequence programs function functions https

Inne możliwości wyszukiwania:
function functions » functions functions , function function , junction functions
parallel sequence » parallel sequencing , parallel frequency , parallel frequent
sequence programs » sequence diagrams , science programs , sequence problems
programs function » programs functional , programme function , programs fiction
functions https » foundations https

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

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

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

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

Wydane 2005

Spis treści: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

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

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

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

Software Engineering 2 Specification of Systems and Languages /

od Bjørner, Dines., Bjørner, Dines.
Wydane 2006

Spis treści: “... -- Modularisation -- Automata and Machines -- Concurrency and Temporality -- Petri Nets -- Message and Live Sequence...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

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

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

Wydane 2013

Spis treści: “... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2012

Spis treści: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

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

Wydane 2005

Spis treści: “... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

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

Wydane 2015

Spis treści: “... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Redukuj rezultaty