Search Results - problems generalizations https function java https

1

An Introduction to HTML and JavaScript for Scientists and Engineers /

by Brooks, David R., Brooks, David R.
Published 2007

Table of Contents: “... of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions....”
View full text

Electronic eBook

2

Java for Bioinformatics and Biomedical Applications

by Bal, Harshawardhan., Bal, Harshawardhan., Hujol, Johnny.
Published 2007

Table of Contents: “...to Bioinformatics and Java -- to Basic Local Alignment Search Tool -- Running BLAST using...”
View full text

Electronic eBook

3

An Introduction to PHP for Scientists and Engineers Beyond JavaScript /

by Brooks, David R., Brooks, David R.
Published 2008

Subjects: “...Popular Science, general. https://scigraph.springernature.com/ontologies/product-market-codes/Q...”
View full text

Electronic eBook

4

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Published 2010

Table of Contents: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
View full text

Electronic eBook

5

Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings /

Published 2012

Table of Contents: “... Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers...”
View full text

Electronic eBook

6

Pro React

by de Sousa Antonio, Cassio., de Sousa Antonio, Cassio.
Published 2015

Table of Contents: “... process -- Appendix B: Functional Javascript -- Appendix C: ES6 Primer....”
View full text

Electronic eBook

7

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, Ja...

Published 2015

Table of Contents: “... -- Progress (and Lack Thereof) for Graph Coloring Approximation Problems -- Recent Results in Scalable Multi...”
View full text

Electronic eBook

8

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Published 2010

Table of Contents: “... on Partial Estimation of Their Functional Performance Models -- An Efficient Weighted Bi-objective Scheduling...”
View full text

Electronic eBook

9

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

Published 2014

Table of Contents: “... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...”
View full text

Electronic eBook

10

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Published 2010

Table of Contents: “... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”
View full text

Electronic eBook

11

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting...”
View full text

Electronic eBook

12

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Published 2010

Table of Contents: “... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”
View full text

Electronic eBook

13

Trustworthy Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /

Published 2010

Table of Contents: “...Invited Talks -- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode...”
View full text

Electronic eBook

14

Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 1...

Published 2010

Table of Contents: “... and Analysis of a Generalized Canvas Protocol -- Highly Constrained Embedded Systems -- Efficient Mutual...”
View full text

Electronic eBook

15

Information Security Applications 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “.../Systems -- Visualization of Permission Checks in Java Using Static Analysis -- Deployment of Virtual...”
View full text

Electronic eBook

16

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”
View full text

Electronic eBook

17

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /

Published 2005

Table of Contents: “... Challenge -- A Structured Set of Higher-Order Problems -- Formal Modeling of a Slicing Algorithm for Java...”
View full text

Electronic eBook

18

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Published 2010

Table of Contents: “... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...”
View full text

Electronic eBook

19

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Published 2005

Table of Contents: “... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...”
View full text

Electronic eBook

20

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Published 2007

Table of Contents: “... Design Space Exploration -- Processor Components -- Resource Conflict Detection in Simulation of Function...”
View full text

Electronic eBook

Narrow Search