Risultati della ricerca - detecting java https developing programs https

1

JavaScript Creativity Exploring the Modern Capabilities of JavaScript and HTML5 /

di Hudson, Shane., Hudson, Shane.
Pubblicazione 2014

Soggetti: “...Web Development. https://scigraph.springernature.com/ontologies/product-market-codes/I29050...”
Testo

Elettronico eBook

2

Foundation HTML5 Animation with JavaScript

di Lamberta, Billy., Lamberta, Billy., Peters, Keith.
Pubblicazione 2011

Soggetti: “...Web Development. https://scigraph.springernature.com/ontologies/product-market-codes/I29050...”
Testo

Elettronico eBook

3

Foundation Game Design with HTML5 and JavaScript

di van der Spuy, Rex., van der Spuy, Rex.
Pubblicazione 2012

Soggetti: “...Game Development. https://scigraph.springernature.com/ontologies/product-market-codes/I29040...”
Testo

Elettronico eBook

4

Advanced Game Design with HTML5 and JavaScript

di van der Spuy, Rex., van der Spuy, Rex.
Pubblicazione 2015

Soggetti: “...Game Development. https://scigraph.springernature.com/ontologies/product-market-codes/I29040...”
Testo

Elettronico eBook

5

Distributed Programming Theory and Practice /

di Shankar, A. Udaya., Shankar, A. Udaya.
Pubblicazione 2013

Sommario: “... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
Testo

Elettronico eBook

6

ECOOP 2010 -- Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings /

Pubblicazione 2010

Sommario: “...Keynote 1 -- Code Roots -- Programming Environments and Tools -- Detecting Missing Method Calls...”
Testo

Elettronico eBook

7

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Pubblicazione 2013

Sommario: “... for the Java Virtual Machine -- Averroes: Whole-Program Analysis without the Whole Program -- QUIC Graphs...”
Testo

Elettronico eBook

8

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Testo

Elettronico eBook

9

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /

Pubblicazione 2005

Sommario: “... Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces...”
Testo

Elettronico eBook

10

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Pubblicazione 2015

Sommario: “... Evaluation for Java Malware Detection -- Access control and obligations in the category-based metamodel: a...”
Testo

Elettronico eBook

11

Digital Image Processing An Algorithmic Introduction Using Java /

di Burger, Wilhelm., Burger, Wilhelm., Burge, Mark J.
Pubblicazione 2008

Sommario: “... and Contours -- Corner Detection -- Detecting Simple Curves -- Morphological Filters -- Regions in Binary...”
Testo

Elettronico eBook

12

Technological Developments in Networking, Education and Automation

Pubblicazione 2010

Sommario: “... Linear Algebra, Computer Programming and Biochemistry Curriculum -- Adaptive Assessments using Open...”
Testo

Elettronico eBook

13

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Pubblicazione 2010

Sommario: “... Analysis -- Shape Refinement through Explicit Heap Analysis -- Memory Leaks Detection in Java by Bi...”
Testo

Elettronico eBook

14

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Pubblicazione 2012

Sommario: “... Security Constraints -- Customizing protocol specifications for detecting resource exhaustion and guessing...”
Testo

Elettronico eBook

15

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Pubblicazione 2008

Sommario: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Testo

Elettronico eBook

16

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”
Testo

Elettronico eBook

17

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II /

Pubblicazione 2010

Sommario: “... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”
Testo

Elettronico eBook

18

Reliable Software Technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings /

Pubblicazione 2010

Sommario: “... -- Program Verification in SPARK and ACSL: A Comparative Case Study -- Static Versioning of Global State...”
Testo

Elettronico eBook

19

Reliable Software Technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /

Pubblicazione 2008

Sommario: “...A New Approach to Memory Partitioning in On-Board Spacecraft Software -- Design and Development...”
Testo

Elettronico eBook

20

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Pubblicazione 2008

Sommario: “... Tools -- Towards a Worldwide Verification Technology -- It Is Time to Mechanize Programming Language...”
Testo

Elettronico eBook

Restringi la ricerca