Hakutulokset - processing international https function java https

1

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

Julkaistu 2010

Sisällysluettelo: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Hae kokoteksti

Elektroninen E-kirja

2

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

Julkaistu 2008

Sisällysluettelo: “...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2010

Sisällysluettelo: “... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”
Hae kokoteksti

Elektroninen E-kirja

4

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

Julkaistu 2014

Sisällysluettelo: “... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”
Hae kokoteksti

Elektroninen E-kirja

5

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

Julkaistu 2010

Sisällysluettelo: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
Hae kokoteksti

Elektroninen E-kirja

6

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

Tekijä Hunt, John., Hunt, John.
Julkaistu 2014

Sisällysluettelo: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Hae kokoteksti

Elektroninen E-kirja

7

Business Information Systems 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “...Keynote -- Security Issues for the Use of Semantic Web in E-Commerce -- Business Process Management...”
Hae kokoteksti

Elektroninen E-kirja

8

Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “...-organizing Neural Network for Clustering -- A Design of Reward Function Based on Knowledge in Multi-agent...”
Hae kokoteksti

Elektroninen E-kirja

9

Advances in Soft Computing and Its Applications 12th Mexican International Conference, MICAI 2013...

Julkaistu 2013

Sisällysluettelo: “... Recognition Based on Linear Discriminant Analysis -- Association Measures and Aggregation Functions -- JT2FIS...”
Hae kokoteksti

Elektroninen E-kirja

10

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Design -- A Data Warehouse Engineering Process -- Aggregation and Analysis of Spatial Data by Means...”
Hae kokoteksti

Elektroninen E-kirja

11

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

Julkaistu 2007

Sisällysluettelo: “... -- Personalized E-Learning Process Using Effective Assessment and Feedback -- Optimally Pricing European Options...”
Hae kokoteksti

Elektroninen E-kirja

12

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

Julkaistu 2010

Sisällysluettelo: “... -- Remote Attestation on Function Execution (Work-in-Progress) -- Scalable Remote Attestation with Privacy...”
Hae kokoteksti

Elektroninen E-kirja

13

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Hae kokoteksti

Elektroninen E-kirja

14

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

Julkaistu 2010

Sisällysluettelo: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Hae kokoteksti

Elektroninen E-kirja

15

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

Julkaistu 2008

Sisällysluettelo: “... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...”
Hae kokoteksti

Elektroninen E-kirja

16

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Polymorphically Typed Functional Languages -- Lattice Automata: A Representation for Languages on Infinite...”
Hae kokoteksti

Elektroninen E-kirja

17

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... -- Abstract Interpretation Plugins for Type Systems -- Separation Logic Contracts for a Java-Like Language...”
Hae kokoteksti

Elektroninen E-kirja

18

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

Julkaistu 2008

Sisällysluettelo: “... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...”
Hae kokoteksti

Elektroninen E-kirja

19

Web Engineering 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... with Content-Modification Operations -- Metamodeling the Quality of the Web Development Process’ Intermediate...”
Hae kokoteksti

Elektroninen E-kirja

20

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

Julkaistu 2013

Sisällysluettelo: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua