Rezultati - program path program programming java https

1

Distributed Programming Theory and Practice /

od Shankar, A. Udaya., Shankar, A. Udaya.
Izdano 2013

Kazalo: “... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
Polni tekst

Elektronski eKnjiga

2

Linear Programming Foundations and Extensions /

od Vanderbei, Robert J., Vanderbei, Robert J.
Izdano 2014

Kazalo: “... Applications -- Network-Type Problems -- Applications -- Structural Optimization -- The Central Path -- A Path...”
Polni tekst

Elektronski eKnjiga

3

Linear Programming Foundations and Extensions /

od Vanderbei, Robert J., Vanderbei, Robert J.
Izdano 2008

Kazalo: “... -- Structural Optimization -- Interior-Point Methods -- The Central Path -- A Path-Following Method -- The KKT...”
Polni tekst

Elektronski eKnjiga

4

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Izdano 2005

Kazalo: “...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”
Polni tekst

Elektronski eKnjiga

5

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Izdano 2010

Kazalo: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Polni tekst

Elektronski eKnjiga

6

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

Izdano 2005

Kazalo: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Polni tekst

Elektronski eKnjiga

7

Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams /

od Sharan, Kishori., Sharan, Kishori.
Izdano 2014

Teme: “...Java (Computer program language)....”
Polni tekst

Elektronski eKnjiga

8

Stripes by Example

od Watson, Brent., Watson, Brent.
Izdano 2015

Teme: “...Java (Computer program language)....”
Polni tekst

Elektronski eKnjiga

9

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Izdano 2006

Kazalo: “...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”
Polni tekst

Elektronski eKnjiga

10

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Izdano 2008

Kazalo: “... the Absence of Errors -- Protocol Inference Using Static Path Profiles -- Solving Multiple Dataflow Queries...”
Polni tekst

Elektronski eKnjiga

11

Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings /

Izdano 2006

Kazalo: “... Manipulations in Critical Embedded C Programs -- Session 2 -- Abstract Regular Tree Model Checking of Complex...”
Polni tekst

Elektronski eKnjiga

12

HTML5 Advertising

od Percival, John., Percival, John.
Izdano 2013

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

Elektronski eKnjiga

13

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /

Izdano 2005

Kazalo: “... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”
Polni tekst

Elektronski eKnjiga

14

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Izdano 2006

Kazalo: “... of Deterministic Blocks in Java PathFinder -- Tools -- A Tool for a Formal Pattern Modeling Language -- An Open...”
Polni tekst

Elektronski eKnjiga

15

Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 2...

Izdano 2010

Kazalo: “...Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code...”
Polni tekst

Elektronski eKnjiga

16

Pro HTML5 Games

od Shankar, Aditya Ravi., Shankar, Aditya Ravi.
Izdano 2012

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

Elektronski eKnjiga

17

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /

Izdano 2006

Kazalo: “... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...”
Polni tekst

Elektronski eKnjiga

18

Foundations of Atlas Rapid Ajax Development with ASP.NET 2.0 /

od Moroney, Laurence., Moroney, Laurence.
Izdano 2006

Kazalo: “...Introducing Ajax -- Atlas: Taking Ajax to the Next Level -- Atlas: Making Client-Side Java...”
Polni tekst

Elektronski eKnjiga

19

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers /

Izdano 2005

Kazalo: “... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...”
Polni tekst

Elektronski eKnjiga

20

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

Izdano 2014

Kazalo: “... of Touch Develop Scripts -- Efficient Incremental Static Analysis Using Path Abstraction -- Type-Based...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje