Výsledky vyhledávání - processing java https developing mathematics https

1

Digital Image Processing An Algorithmic Introduction Using Java /

Autor Burger, Wilhelm., Burger, Wilhelm., Burge, Mark J.
Vydáno 2008

Témata: “...Image Processing and Computer Vision. https://scigraph.springernature.com/ontologies/product-market...”
Získat plný text

Elektronický zdroj E-kniha

2

Software Development and Professional Practice

Autor Dooley, John., Dooley, John.
Vydáno 2011

Témata: “...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...”
Získat plný text

Elektronický zdroj E-kniha

3

Guide to HTML, JavaScript and PHP For Scientists and Engineers /

Autor Brooks, David R., Brooks, David R.
Vydáno 2011

Obsah: “...Introducing HTML and JavaScript -- HTML Document Basics -- HTML Tables, Forms, Lists, and Frames...”
Získat plný text

Elektronický zdroj E-kniha

4

Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings /

Vydáno 2014

Obsah: “...Speech Language Processing and Applications -- Automatically Recognising European Portuguese...”
Získat plný text

Elektronický zdroj E-kniha

5

Scientific Data Analysis using Jython Scripting and Java

Autor Chekanov, Sergei V., Chekanov, Sergei V.
Vydáno 2010

Obsah: “...Jython, Java and jHepWork -- to Jython -- Mathematical Functions -- One-dimensional Data -- Two...”
Získat plný text

Elektronický zdroj E-kniha

6

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings /

Vydáno 2006

Obsah: “... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”
Získat plný text

Elektronický zdroj E-kniha

7

Principles of Digital Image Processing Advanced Methods /

Autor Burger, Wilhelm., Burger, Wilhelm., Burge, Mark J.
Vydáno 2013

Obsah: “... Features -- Mathematical Symbols and Notation -- Vector Algebra and Calculus -- Statistical Prerequisites...”
Získat plný text

Elektronický zdroj E-kniha

8

Technological Developments in Networking, Education and Automation

Vydáno 2010

Obsah: “... Application -- TEAC2H-RI: Educational Robotic Platform for Improving Teaching-Learning Processes of Technology...”
Získat plný text

Elektronický zdroj E-kniha

9

Cellular Automaton Modeling of Biological Pattern Formation Characterization, Applications, and Analysis /

Autor Deutsch, Andreas., Deutsch, Andreas., Dormann, Sabine.
Vydáno 2005

Obsah: “... of Patterns -- Mathematical Modeling of Biological Pattern Formation -- Cellular Automaton Modeling...”
Získat plný text

Elektronický zdroj E-kniha

10

Emerging Trends in Computing and Communication ETCC 2014, March 22-23, 2014 /

Vydáno 2014

Obsah: “... and Morphology -- Video Watermarking Scheme Resistant to Rotation and Collusion Attacks -- Development...”
Získat plný text

Elektronický zdroj E-kniha

11

A Theory of Distributed Objects Asynchrony - Mobility - Groups - Components /

Autor Caromel, Denis., Caromel, Denis., Henrio, Ludovic.
Vydáno 2005

Obsah: “... Sequential Calculus -- Asynchronous Sequential Processes -- A Few Examples -- Semantics and Properties...”
Získat plný text

Elektronický zdroj E-kniha

12

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

Vydáno 2015

Obsah: “... -- Quo Vadis Explicit-State Model Checking -- The Dos and Dont’s of Crowdsourcing Software Development...”
Získat plný text

Elektronický zdroj E-kniha

13

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings /

Vydáno 2006

Obsah: “... Processing -- Network Probabilistic Connectivity: Expectation of a Number of Disconnected Pairs of Nodes...”
Získat plný text

Elektronický zdroj E-kniha

14

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Vydáno 2005

Obsah: “... Grid Developments in the OpenMolGRID Project -- ATLAS Data Challenge 2: A Massive Monte Carlo...”
Získat plný text

Elektronický zdroj E-kniha

15

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

Vydáno 2007

Obsah: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Získat plný text

Elektronický zdroj E-kniha

16

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /

Vydáno 2015

Obsah: “... Specification -- Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications...”
Získat plný text

Elektronický zdroj E-kniha

17

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /

Vydáno 2013

Obsah: “... Java Development.- About One Efficient Algorithm for Reachability Checking in Modeling and Its...”
Získat plný text

Elektronický zdroj E-kniha

18

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Vydáno 2008

Obsah: “... for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve...”
Získat plný text

Elektronický zdroj E-kniha

19

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Vydáno 2008

Obsah: “... -- Abstract Interpretation Plugins for Type Systems -- Separation Logic Contracts for a Java-Like Language...”
Získat plný text

Elektronický zdroj E-kniha

20

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Vydáno 2013

Obsah: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání