Rezultati - parallel standard program functionals function https

1

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

Izdano 2010

Kazalo: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Polni tekst

Elektronski eKnjiga

2

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

Izdano 2006

Kazalo: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Polni tekst

Elektronski eKnjiga

3

DNA Cloning and Assembly Methods

Izdano 2014

Kazalo: “...BioBrick Assembly Standards and Techniques and Associated Software Tools -- Plasmid Construction...”
Polni tekst

Elektronski eKnjiga

4

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

od Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Izdano 2015

Kazalo: “... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...”
Polni tekst

Elektronski eKnjiga

5

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Izdano 2010

Kazalo: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Polni tekst

Elektronski eKnjiga

6

Beginning R An Introduction to Statistical Programming /

od Pace, Larry., Pace, Larry., Wiley, Joshua.
Izdano 2015

Teme: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Polni tekst

Elektronski eKnjiga

7

C++ Recipes A Problem-Solution Approach /

od Sutherland, Bruce., Sutherland, Bruce.
Izdano 2015

Teme: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Polni tekst

Elektronski eKnjiga

8

Guide to Scientific Computing in C++

od Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Izdano 2012

Kazalo: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Polni tekst

Elektronski eKnjiga

9

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Izdano 2008

Kazalo: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Polni tekst

Elektronski eKnjiga

10

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Izdano 2008

Kazalo: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Polni tekst

Elektronski eKnjiga

11

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Izdano 2006

Kazalo: “... with Imperfect Information -- Relating Two Standard Notions of Secrecy -- Jump from Parallel to Sequential Proofs...”
Polni tekst

Elektronski eKnjiga

12

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Izdano 2014

Kazalo: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Polni tekst

Elektronski eKnjiga

13

Innovations in Computing Sciences and Software Engineering

Izdano 2010

Kazalo: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Polni tekst

Elektronski eKnjiga

14

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Izdano 2008

Kazalo: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Polni tekst

Elektronski eKnjiga

15

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

Izdano 2012

Kazalo: “....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...”
Polni tekst

Elektronski eKnjiga

16

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Izdano 2005

Kazalo: “... -- Preemptive Scheduling of Independent Jobs on Identical Parallel Machines Subject to Migration Delays...”
Polni tekst

Elektronski eKnjiga

17

Applied WPF 4 in Context

od Garofalo, Raffaele., Garofalo, Raffaele.
Izdano 2011

Teme: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Polni tekst

Elektronski eKnjiga

18

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Izdano 2010

Kazalo: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Polni tekst

Elektronski eKnjiga

19

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Izdano 2007

Kazalo: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Polni tekst

Elektronski eKnjiga

20

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Izdano 2014

Kazalo: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje