Arama Sonuçları - integration session processing programmed cases https

1

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”
Tam Metin Erişim

Elektronik Ekitap

2

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...”
Tam Metin Erişim

Elektronik Ekitap

3

Software Process and Product Measurement International Conferences IWSM 2008, Metrikon 2008...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...”
Tam Metin Erişim

Elektronik Ekitap

4

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Recognition Case Study -- Effect of Luminance Gradients in Measurement of Differential Limen -- Robust...”
Tam Metin Erişim

Elektronik Ekitap

5

Integer Programming and Combinatorial Optimization 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Extending SDP Integrality Gaps to Sherali-Adams with Applications to Quadratic Programming and MaxCutGain...”
Tam Metin Erişim

Elektronik Ekitap

6

Product Focused Software Process Improvement 6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Deployment in the Coffee Agribusiness of Brazil -- Case Study: Software Product Integration Practices...”
Tam Metin Erişim

Elektronik Ekitap

7

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- An Integrated Approach to Battlefield Situation Assessment -- Negotiation Based on Personality -- MIAM: A Robot...”
Tam Metin Erişim

Elektronik Ekitap

8

Advances in Integrated Design and Manufacturing in Mechanical Engineering II

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Management: An Approach through the Information Management within and between Processes — Case Study...”
Tam Metin Erişim

Elektronik Ekitap

9

Computational Linguistics and Intelligent Text Processing 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Decision Tree Learning -- NLP (Natural Language Processing) for NLP (Natural Language Programming...”
Tam Metin Erişim

Elektronik Ekitap

10

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th...

Baskı/Yayın Bilgisi 2005

İçindekiler: “...-Level Design -- Session 4: Telecommunications and Signal Processing -- Session 5: Low-Power Circuits...”
Tam Metin Erişim

Elektronik Ekitap

11

Advances in Multimedia Information Processing - PCM 2006 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Sketch Retrieval Based on Linear Programming Classification -- Hierarchical Motion-Compensated Frame...”
Tam Metin Erişim

Elektronik Ekitap

12

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...

Baskı/Yayın Bilgisi 2007

İçindekiler: “...Session 1 - High-Level Design (1) -- System-Level Application-Specific NoC Design for Network...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
Tam Metin Erişim

Elektronik Ekitap

14

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing /

Baskı/Yayın Bilgisi 2011

İçindekiler: “... for the SENSORIA Approach: A White Paper -- Introduction to the SENSORIA Case Studies -- UML Extensions for Service...”
Tam Metin Erişim

Elektronik Ekitap

15

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 /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Implementation for Distributed Signal Processing -- A Parallel Exponential Integrator for Large-Scale...”
Tam Metin Erişim

Elektronik Ekitap

16

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...”
Tam Metin Erişim

Elektronik Ekitap

17

Software Architecture 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Process of Students -- Towards Architecture-Centric Software Generation -- An Architectural Blueprint...”
Tam Metin Erişim

Elektronik Ekitap

18

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Tam Metin Erişim

Elektronik Ekitap

19

Intelligent Computing International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part I /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Programming -- Case Based Reasoning and Probabilistic Reasoning -- Special Session on Computational...”
Tam Metin Erişim

Elektronik Ekitap

20

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt