Результаты поиска - integration functions ((processing program) OR (proceedings program)) java https*

1

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Опубликовано 2014

Оглавление: “... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”
Полный текст

Электронный ресурс eКнига

2

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Опубликовано 2013

Оглавление: “... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”
Полный текст

Электронный ресурс eКнига

3

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

Опубликовано 2005

Оглавление: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Полный текст

Электронный ресурс eКнига

4

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...”
Полный текст

Электронный ресурс eКнига

5

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

Опубликовано 2005

Оглавление: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Полный текст

Электронный ресурс eКнига

6

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Опубликовано 2013

Оглавление: “... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”
Полный текст

Электронный ресурс eКнига

7

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Опубликовано 2008

Оглавление: “...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”
Полный текст

Электронный ресурс eКнига

8

Beginning Java Game Development with LibGDX

по STEMKOSKI, LEE., STEMKOSKI, LEE.
Опубликовано 2015

Оглавление: “.... Integrating Third-Party Software -- 8. Introduction to 3D Programming -- 9. Taking Your Games Further...”
Полный текст

Электронный ресурс eКнига

9

Reflections on the Teaching of Programming Methods and Implementations /

Опубликовано 2008

Оглавление: “... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”
Полный текст

Электронный ресурс eКнига

10

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

Опубликовано 2010

Оглавление: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Полный текст

Электронный ресурс eКнига

11

Introduction to Computer Graphics Using Java 2D and 3D /

по Klawonn, Frank., Klawonn, Frank.
Опубликовано 2012

Оглавление: “... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...”
Полный текст

Электронный ресурс eКнига

12

Develop on Yammer Social Integration for Modern Business Applications /

по Rawal, Pathik., Rawal, Pathik., Rohilla, Pryank.
Опубликовано 2015

Предметы: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Полный текст

Электронный ресурс eКнига

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 /

Опубликовано 2005

Оглавление: “... Implementation for Distributed Signal Processing -- A Parallel Exponential Integrator for Large-Scale...”
Полный текст

Электронный ресурс eКнига

14

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”
Полный текст

Электронный ресурс eКнига

15

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

Опубликовано 2008

Оглавление: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
Полный текст

Электронный ресурс eКнига

16

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

Опубликовано 2013

Оглавление: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Полный текст

Электронный ресурс eКнига

17

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

Опубликовано 2010

Оглавление: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
Полный текст

Электронный ресурс eКнига

18

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Опубликовано 2013

Оглавление: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
Полный текст

Электронный ресурс eКнига

19

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings...

Опубликовано 2014

Оглавление: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Полный текст

Электронный ресурс eКнига

20

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings /

Опубликовано 2008

Оглавление: “...-to-End Integrity Protection in Signed PGP Mail -- Unclonable Lightweight Authentication Scheme -- Threat...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска