Rezultati - program section problems https array https

1

Mathematica®: A Problem-Centered Approach

od Hazrat, Roozbeh., Hazrat, Roozbeh.
Izdano 2015

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

Elektronski eKnjiga

2

Mathematica®: A Problem-Centered Approach

od Hazrat, Roozbeh., Hazrat, Roozbeh.
Izdano 2010

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

Elektronski eKnjiga

3

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Izdano 2008

Kazalo: “... Noise Strategies -- The Max-Atom Problem and Its Relevance -- Session 2. Knowledge Representation 1...”
Polni tekst

Elektronski eKnjiga

4

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Izdano 2014

Kazalo: “...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...”
Polni tekst

Elektronski eKnjiga

5

Algorithms and Data Structures The Basic Toolbox /

od Mehlhorn, Kurt., Mehlhorn, Kurt., Sanders, Peter.
Izdano 2008

Kazalo: “...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...”
Polni tekst

Elektronski eKnjiga

6

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

Izdano 2015

Kazalo: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Polni tekst

Elektronski eKnjiga

7

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

Izdano 2014

Kazalo: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Polni tekst

Elektronski eKnjiga

8

Progress in VLSI Design and Test 16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings /

Izdano 2012

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

Elektronski eKnjiga

9

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Izdano 2015

Kazalo: “... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...”
Polni tekst

Elektronski eKnjiga

10

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

Izdano 2010

Kazalo: “... Empty Rectangle and Square Problems in All Dimensions -- Connectivity Is Not a Limit for Kernelization...”
Polni tekst

Elektronski eKnjiga

11

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Izdano 2008

Kazalo: “... with Unstable Links -- Sensor Networks Continue to Puzzle: Selected Open Problems -- Distributed Coordination...”
Polni tekst

Elektronski eKnjiga

12

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

Izdano 2012

Kazalo: “... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...”
Polni tekst

Elektronski eKnjiga

13

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Izdano 2008

Kazalo: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
Polni tekst

Elektronski eKnjiga

14

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings /

Izdano 2008

Kazalo: “... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”
Polni tekst

Elektronski eKnjiga

15

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I /

Izdano 2013

Kazalo: “... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...”
Polni tekst

Elektronski eKnjiga

16

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II /

Izdano 2013

Kazalo: “... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...”
Polni tekst

Elektronski eKnjiga

17

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, Proceedings /

Izdano 2013

Kazalo: “...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”
Polni tekst

Elektronski eKnjiga

18

Integrative Weight Management A Guide for Clinicians /

Izdano 2014

Kazalo: “... of the Obese Patient.- 7. Childhood Obesity: Solutions to a Growing Problem.- 8. Non-Alcoholic Fatty Liver...”
Polni tekst

Elektronski eKnjiga

19

Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings /

Izdano 2015

Kazalo: “... Five⁵ -- Exact Cover Problem in Milton Babbitt’s All-Partition Array -- Constructing Geometrical Spaces...”
Polni tekst

Elektronski eKnjiga

20

Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013, Proceedings /

Izdano 2013

Kazalo: “... Problems: A Literature Review and an Example -- Technical Staff Motivation in Nigeria: A Strategic...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje