Arama Sonuçları - process execution https function java https

1

Beginning Java Game Development with LibGDX

Yazar: STEMKOSKI, LEE., STEMKOSKI, LEE.
Baskı/Yayın Bilgisi 2015

İçindekiler: “...1. Getting Started with Java and LibGDX -- 2. Using the LibGDX Framework -- 3. Extending the LibGDX...”
Tam Metin Erişim

Elektronik Ekitap

2

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”
Tam Metin Erişim

Elektronik Ekitap

5

A Beginner's Guide to Scala, Object Orientation and Functional Programming

Yazar: Hunt, John., Hunt, John.
Baskı/Yayın Bilgisi 2014

İçindekiler: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Tam Metin Erişim

Elektronik Ekitap

6

Trusted Systems First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Remote Attestation on Function Execution (Work-in-Progress) -- Scalable Remote Attestation with Privacy...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Tam Metin Erişim

Elektronik Ekitap

8

Advanced Techniques in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Tam Metin Erişim

Elektronik Ekitap

9

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...”
Tam Metin Erişim

Elektronik Ekitap

10

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Sensor Networks: Case Analysis of Mica2 -- Energy-Driven Partitioning of Signal Processing Algorithms...”
Tam Metin Erişim

Elektronik Ekitap

11

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...”
Tam Metin Erişim

Elektronik Ekitap

12

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Integration with Uncertainty -- Model Fragmentation for Distributed Workflow Execution: A Petri Net Approach...”
Tam Metin Erişim

Elektronik Ekitap

13

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”
Tam Metin Erişim

Elektronik Ekitap

14

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... on the Multistage Markov Process -- Performance Analysis and Evaluation of Digital Connection Oriented Internet...”
Tam Metin Erişim

Elektronik Ekitap

15

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”
Tam Metin Erişim

Elektronik Ekitap

16

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
Tam Metin Erişim

Elektronik Ekitap

17

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
Tam Metin Erişim

Elektronik Ekitap

18

The Semantic Web: ESWC 2012 Satellite Events ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised Selected Papers /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... for Ubiquitous Business Processing -- Context Management in Event Marketplaces -- SDDS based Hierarchical DHT...”
Tam Metin Erişim

Elektronik Ekitap

19

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

Baskı/Yayın Bilgisi 2015

İçindekiler: “...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”
Tam Metin Erişim

Elektronik Ekitap

20

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Middleware Architecture for eBusiness Process Execution -- Experience with Lightweight Distributed Component...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt