Arama Sonuçları - integrals computing proceedings programmed contract https

1

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”
Tam Metin Erişim

Elektronik Ekitap

4

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Baskı/Yayın Bilgisi 2014

İçindekiler: “...-efficiency Model Based on QoS in Cloud Computing -- Revenue Sharing Contract in a Cloud Computing Service...”
Tam Metin Erişim

Elektronik Ekitap

5

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: “... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”
Tam Metin Erişim

Elektronik Ekitap

6

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”
Tam Metin Erişim

Elektronik Ekitap

7

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
Tam Metin Erişim

Elektronik Ekitap

8

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”
Tam Metin Erişim

Elektronik Ekitap

9

Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Service Planning -- Integrated Service Process Adaptation -- Contract Based, Non-invasive, Black-Box...”
Tam Metin Erişim

Elektronik Ekitap

10

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Computing Environments -- Using Automated Planning for Trusted Self-organising Organic Computing Systems...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... and Efficient Computation of High Order Zernike Moments -- 3D Model Generation from Image Sequences Using Global...”
Tam Metin Erişim

Elektronik Ekitap

12

Computer Security - ESORICS 2007 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 - 26, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... of Computational Secrecy -- What, Indeed, Is Intransitive Noninterference? -- Traceability and Integrity...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”
Tam Metin Erişim

Elektronik Ekitap