Rezultaty - integrated session programming programming contracts https

Inne możliwości wyszukiwania:
programming programming » programming programmed , programming program
programming contracts » programming contract , programming constructs , programming constraints
session programming » revision programming , design programming , session programme
integrated session » integration session , integrated decision , integrated vision
https » http

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

Wydane 2013

Spis treści: “... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2011

Spis treści: “... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, Octo...

Wydane 2008

Spis treści: “... Settings -- Best Papers Session -- An Integrated Approach for Identifying Relevant Factors Influencing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

Wydane 2006

Spis treści: “... Preference Specifications for Application Sessions -- Mobile Ad Hoc Services: Semantic Service Discovery...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Autonomic and Trusted Computing 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008, Proceedings /

Wydane 2008

Spis treści: “... Key Encryption with Keyword Search Schemes -- An Integrated Solution for Policy Filtering and Traffic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Wydane 2005

Spis treści: “... Integral Equation of Prandtl’s Type -- Fourier Integral Operators and Gelfand-Shilov Spaces -- Strongly...”
Dokumenty pełnotekstowe

Elektroniczne E-book

E-Commerce and Web Technologies 6th International Conference, EC-Web 2005, Copenhagen, Denmark, August 23-26, 2005, Proceedings /

Wydane 2005

Spis treści: “... Methodology for Peer-to-Peer Systems -- A Framework for Session Based Recommendations -- Automatic Knowledge...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Digital Enterprise Technology Perspectives and Future Challenges /

Wydane 2007

Spis treści: “...-Of-The-Box Integrated Services Environment -- Session 5 Physical-To-Digital Environment Integrators -- A Cad...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Operations Research Proceedings 2013 Selected Papers of the International Conference on Operations Research, OR2013, organized by the German Operations Research Society (GOR), the...

Wydane 2014

Spis treści: “...) Production System -- Integrating Keyword Advertising and Dynamic Pricing for an Online Market Place...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Wydane 2005

Spis treści: “... Retrieval and Analysis -- An Interactive Visualization Method for Integrating Digital Elevation Models...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty