検索結果 - program mobile programs https array https

1

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

出版事項 2006

目次: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
全文の入手

電子媒体 eBook

2

Foundational Java Key Elements and Practical Programming /

著者: Parsons, David., Parsons, David.
出版事項 2012

目次: “...The Java Story -- Compiling and Running Java Programs -- Data Types, Arithmetic and Arrays...”
全文の入手

電子媒体 eBook

3

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

出版事項 2005

目次: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
全文の入手

電子媒体 eBook

4

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

出版事項 2014

目次: “... Probabilistic Inputs -- Effect Analysis for Programs with Callbacks -- Compositional Network Mobility...”
全文の入手

電子媒体 eBook

5

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

出版事項 2006

目次: “... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”
全文の入手

電子媒体 eBook

6

Advanced Topics in Java Core Concepts in Data Structures /

著者: Kalicharan, Noel., Kalicharan, Noel.
出版事項 2014

主題: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
全文の入手

電子媒体 eBook

7

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

出版事項 2010

目次: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
全文の入手

電子媒体 eBook

8

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

出版事項 2015

目次: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
全文の入手

電子媒体 eBook

9

Beginning Android Games

著者: Zechner, Mario., Zechner, Mario.
出版事項 2011

主題: “...Computer games—Programming....”
全文の入手

電子媒体 eBook

10

Beginning Android 4 Games Development

著者: Zechner, Mario., Zechner, Mario., Green, Robert.
出版事項 2011

主題: “...Computer games—Programming....”
全文の入手

電子媒体 eBook

11

Beginning Android Games

著者: Green, Robert., Green, Robert., Zechner, Mario.
出版事項 2012

主題: “...Computer games—Programming....”
全文の入手

電子媒体 eBook

12

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

出版事項 2005

目次: “... Study of Mobile IPv6 and Hierarchical Mobile IPv6 -- An Adaptive Transmission Power Control Protocol...”
全文の入手

電子媒体 eBook

13

Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings /

出版事項 2006

目次: “... Processes May Crash and Recover -- Lock-Free Dynamically Resizable Arrays -- Distributed Spanner...”
全文の入手

電子媒体 eBook

14

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

出版事項 2008

目次: “... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”
全文の入手

電子媒体 eBook

15

Combinatorial Optimization and Applications Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings /

出版事項 2008

目次: “... of Mobile Sensors for Barrier Coverage of a Planar Region -- Parameterized Algorithms for Generalized...”
全文の入手

電子媒体 eBook

16

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

出版事項 2005

目次: “... on the Grid Using Irregular Array Distributions -- Dynamic Adaptation for Grid Computing -- Improving...”
全文の入手

電子媒体 eBook

17

Model Driven Architecture - Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings /

出版事項 2008

目次: “... Approach for Autonomic Profiling and Performance Assessment -- Ladder Metamodeling and PLC Program...”
全文の入手

電子媒体 eBook

18

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings /

出版事項 2005

目次: “...-Grained Parallel Algorithm for Irregular Dynamic Programming Applications -- A Feedback-Based Adaptive...”
全文の入手

電子媒体 eBook

19

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

出版事項 2010

目次: “...Workshop on Mobile Communications (MC 2010) -- A Control Loop Reduction Scheme for Wireless Process...”
全文の入手

電子媒体 eBook

20

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

出版事項 2010

目次: “... -- Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Nodes...”
全文の入手

電子媒体 eBook

絞込み検索