檢索結果 - internet computer program programs case https

1

Towards the Internet of Services: The THESEUS Research Program

出版 2014

書本目錄: “... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”
獲取全文

電子電子書

2

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II /

出版 2014

書本目錄: “...Track B: Logic, Semantics, Automata, and Theory of Programming -- Symmetric Groups and Quotient...”
獲取全文

電子電子書

3

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

出版 2014

書本目錄: “... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...”
獲取全文

電子電子書

4

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

出版 2006

書本目錄: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
獲取全文

電子電子書

5

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /

出版 2012

書本目錄: “... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”
獲取全文

電子電子書

6

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

出版 2015

書本目錄: “...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”
獲取全文

電子電子書

7

On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS...

出版 2013

書本目錄: “...On The Move Academy -- Industry Case Studies Program -- Adaptive Case Management and other non...”
獲取全文

電子電子書

8

On the Move to Meaningful Internet Systems: OTM 2012 Workshops Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM...

出版 2012

書本目錄: “...Computer supported cooperative work (CSCW).-middleware -- Internet/Web data management...”
獲取全文

電子電子書

9

On the Move to Meaningful Internet Systems: OTM 2015 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015...

出版 2015

主題: “...Information Systems Applications (incl. Internet). https://scigraph.springernature.com/ontologies...”
獲取全文

電子電子書

10

On the Move to Meaningful Internet Systems: OTM 2014 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent...

出版 2014

書本目錄: “... Reconstructing Digital Objects’ Custody Chain -- Industry Case Studies Program 2014 -- Industry Case Studies...”
獲取全文

電子電子書

11

Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings /

出版 2010

書本目錄: “... Chains Using Krylov Subspace Methods: An Experience Report -- Case Studies -- A Markovian Agent Model...”
獲取全文

電子電子書

12

Distributed Computing 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010, Proceedings /

出版 2010

書本目錄: “...The 2010 Edsger W. Dijkstra Prize in Distributed Computing -- The 2010 Edsger W. Dijkstra Prize...”
獲取全文

電子電子書

13

Internet and Network Economics First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings /

出版 2005

書本目錄: “... Dominating Set Games -- Local Flow Betweenness Centrality for Clustering Community Graphs -- Computerized...”
獲取全文

電子電子書

14

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

出版 2010

書本目錄: “... to Preference Learning from Pairwise Comparisons in Case of Decision under Uncertainty -- Uncertainty Handling...”
獲取全文

電子電子書

15

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

出版 2010

書本目錄: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
獲取全文

電子電子書

16

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings /

出版 2013

書本目錄: “... Frameworks -- Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System -- A...”
獲取全文

電子電子書

17

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

出版 2007

書本目錄: “... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”
獲取全文

電子電子書

18

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings /

出版 2012

書本目錄: “... -- Improving the Performances of Internet-Based Marketplace for Technology: A Korean Case Study -- The Day...”
獲取全文

電子電子書

19

Mobile Computing, Applications, and Services First International ICST Conference, MobiCASE 2009...

出版 2010

書本目錄: “... of Computation through Virtualization of the Mobile Platform -- MobiCASE 2009 - Session 3: On the Go...”
獲取全文

電子電子書

20

Computational Linguistics and Intelligent Text Processing 11th International Conference, CICLing 2010, Iasi, Romania, March 21-27, 2010, Proceedings /

出版 2010

書本目錄: “... and Parsing -- Computational Models of Language Acquisition -- ETL Ensembles for Chunking, NER and SRL...”
獲取全文

電子電子書

縮小搜索