Hakutulokset - interface proceedings processing programs compiling https

Tarkoititko:
proceedings processing » proceedings proceedings , processing processing , proceedings investing
interface proceedings » interfaces proceedings , interaction proceedings , conference proceedings
processing programs » processing programmed , processing problems , processing products
programs compiling » programs combining , programs compiler , programs containing
compiling https » computing https , counseling https , consulting https

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”
Hae kokoteksti

Elektroninen E-kirja

Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “...Invited Talks -- The Next Decade of BPM -- BPM in Cloud Architectures: Business Process Management...”
Hae kokoteksti

Elektroninen E-kirja

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Julkaistu 2005

Sisällysluettelo: “... Using uDAPL Interface -- Experiences, Strategies and Challenges in Adapting PVM to VxWorks TM Hard Real...”
Hae kokoteksti

Elektroninen E-kirja

Recent Advances in Parallel Virtual Machine and Message Passing Interface 14th European PVM/MPI...

Julkaistu 2007

Sisällysluettelo: “..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”
Hae kokoteksti

Elektroninen E-kirja

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI...

Julkaistu 2006

Sisällysluettelo: “... Approach -- Performance Tools for Parallel Programming -- High-Performance Parallel I/O -- Hybrid MPI...”
Hae kokoteksti

Elektroninen E-kirja

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Reasoning in Memory Hierarchies -- The Complexity of Coverage -- Game Characterizations of Process...”
Hae kokoteksti

Elektroninen E-kirja

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”
Hae kokoteksti

Elektroninen E-kirja

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Julkaistu 2015

Sisällysluettelo: “... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”
Hae kokoteksti

Elektroninen E-kirja

Business Process Management 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “...Research Papers -- Modeling and Analysis of Mobile Service Processes by Example of the Housing...”
Hae kokoteksti

Elektroninen E-kirja

Computational Processing of the Portuguese Language 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Windows Programming Interface -- A Baseline System for Continuous Speech Recognition of Brazilian...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
Hae kokoteksti

Elektroninen E-kirja

Conceptual Modeling – ER 2011 30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings /

Julkaistu 2011

Aiheet: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti

Elektroninen E-kirja

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Hae kokoteksti

Elektroninen E-kirja

Software Architecture First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Adaptivity in User Interfaces -- Architecture Migration Driven by Code Categorization -- Effective Tool...”
Hae kokoteksti

Elektroninen E-kirja

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
Hae kokoteksti

Elektroninen E-kirja

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... for Process Mediation -- How Symbolic Animation Can Help Designing an Efficient Formal Model -- Security -- A...”
Hae kokoteksti

Elektroninen E-kirja

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Support for Dynamics Patterns to Static Business Process Management Systems -- Service Composition...”
Hae kokoteksti

Elektroninen E-kirja

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute...

Julkaistu 2005

Sisällysluettelo: “... -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking...”
Hae kokoteksti

Elektroninen E-kirja

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case...”
Hae kokoteksti

Elektroninen E-kirja

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems via CEGAR...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua