Canlyniadau Chwilio - program java processing functioning modeling https

1

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Performance Development -- A Test-Driven Approach for Model-Based Development of Powertrain Functions -- Part...”
Cael y testun llawn

Electronig eLyfr

2

Reflections on the Teaching of Programming Methods and Implementations /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... to OOP/Java — A Never Ending Story -- Using BlueJ to Introduce Programming -- Model-Driven Programming...”
Cael y testun llawn

Electronig eLyfr

3

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking...”
Cael y testun llawn

Electronig eLyfr

4

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA...

Cyhoeddwyd 2006

Tabl Cynhwysion: “... and Validation – MoDeVa -- Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models...”
Cael y testun llawn

Electronig eLyfr

5

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

gan Klawonn, Frank., Klawonn, Frank.
Cyhoeddwyd 2012

Tabl Cynhwysion: “... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...”
Cael y testun llawn

Electronig eLyfr

6

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... System Equivalent to a Model Checker -- Instant Polymorphic Type Systems for Mobile Process Calculi: Just...”
Cael y testun llawn

Electronig eLyfr

7

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Theories for Object Oriented Languages -- A Complete Guide to the Future -- The Java Memory Model...”
Cael y testun llawn

Electronig eLyfr

8

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Cael y testun llawn

Electronig eLyfr

9

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
Cael y testun llawn

Electronig eLyfr

10

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”
Cael y testun llawn

Electronig eLyfr

11

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Cael y testun llawn

Electronig eLyfr

12

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... on Partial Estimation of Their Functional Performance Models -- An Efficient Weighted Bi-objective Scheduling...”
Cael y testun llawn

Electronig eLyfr

13

A Computational Model of Natural Language Communication Interpretation, Inference, and Production in Database Semantics /

gan Hausser, Roland R., Hausser, Roland R.
Cyhoeddwyd 2006

Pynciau: “...Natural Language Processing (NLP). https://scigraph.springernature.com/ontologies/product-market...”
Cael y testun llawn

Electronig eLyfr

14

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- The Effect of Entity Generalization on Software Functional Sizing: A Case Study -- Towards a Capability Model...”
Cael y testun llawn

Electronig eLyfr

15

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Cael y testun llawn

Electronig eLyfr

16

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing...”
Cael y testun llawn

Electronig eLyfr

17

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
Cael y testun llawn

Electronig eLyfr

18

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...”
Cael y testun llawn

Electronig eLyfr

19

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...”
Cael y testun llawn

Electronig eLyfr

20

Ecologist-Developed Spatially-Explicit Dynamic Landscape Models

Cyhoeddwyd 2012

Tabl Cynhwysion: “...Preface -- Foreword -- Never Fear--You Already Model! -- A Collaborative Process...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad