Rezultaty - parallel atomic program functionals function https*

1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Wydane 2010

Spis treści: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Wydane 2007

Spis treści: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Wydane 2005

Spis treści: “... Architecture Cyclops64 -- TCP-ABC: From Multiple TCP Connections to Atomic Broadcasting -- A Parallel File...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

Wydane 2006

Spis treści: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Wydane 2013

Spis treści: “... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Wydane 2013

Spis treści: “... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Software Engineering 1 Abstraction and Modelling /

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

Spis treści: “... ?-Calculus -- Algebras -- Mathematical Logic -- Simple RSL -- Atomic Types and Values in RSL -- Function...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams /

od Sharan, Kishori., Sharan, Kishori.
Wydane 2014

Hasła przedmiotowe: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Distributed Algorithms for Message-Passing Systems

od Raynal, Michel., Raynal, Michel.
Wydane 2013

Spis treści: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Wydane 2015

Spis treści: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
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

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Wydane 2006

Spis treści: “... Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in Magnetic Field -- On Decomposition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

14

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

Wydane 2010

Spis treści: “...-Landau Theory for Atomic Fermi Gases Near the BCS-BEC Crossover -- Improved Support Vector Machine Multi...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Wydane 2007

Spis treści: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Wydane 2006

Spis treści: “... Functional Worst Case Constant Time Catenable Sorted Lists -- Taxes for Linear Atomic Congestion Games...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Wydane 2014

Spis treści: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Intercultural Collaboration First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers /

Wydane 2007

Spis treści: “... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Plant Fungal Pathogens Methods and Protocols /

Wydane 2012

Spis treści: “...-homologous End-joining-deficient Strains for Functional Gene Analyses in Filamentous Fungi -- Atomic Force...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Computational Methods

Wydane 2006

Spis treści: “... QUENCHING -- PARALLEL FEM ANALYSIS OF HIGH FREQUENCY ELECTROMAGNETIC WAVE IN AN ENVIRONMENT -- AND Ta ATOMS...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty