International Olympic Committee-（h87.cc）-international Olympic Committee->>h87.cc<<-ghyu.html

Public-Key Cryptography - PKC 2015: 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings

Jonathan Katz Couverture souple

80,50 $

L@S 2017 Fourth (2017) ACM Conference on Learning @ Scale

L@S 2017 Conference Committee Couverture souple

111,00 $

Principles and Practice of Constraint Programming - CP 2012: 18th International Conference, Cp 2012, Quebec City, Qc, Canada, October 8-12, 2012, Proceedings

Michela Milano Couverture souple

160,95 $

ASPLOS XXI 21st ACM International Conference on Architectural Support for Programming Languages and Operating Systems

ASPLOS XXI Conference Committee Couverture souple

268,00 $

Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Helmut Seidl Couverture souple

80,50 $

Runtime Verification: 5th International Conference, Rv 2014, Toronto, On, Canada, September 22-25, 2014. Proceedings

Borzoo Bonakdarpour Couverture souple

80,50 $

Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings

Andy Gill Couverture souple

80,50 $

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Flemming Nielson Couverture souple

87,95 $

2 formats offerts

Adaptive Resource Management and Scheduling for Cloud Computing: First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers

Florin Pop Couverture souple

80,50 $

2 formats offerts

Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings

David Kaeli Couverture souple

80,50 $

Post-Quantum Cryptography: 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedin: 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings

Michele Mosca Couverture souple

80,50 $

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Cormac Flanagan Couverture souple

80,50 $

VEE 16 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments

VEE 16 Conference Committee Couverture souple

60,91 $

Applied Cryptography and Network Security: 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings

Michael Jacobson Couverture souple

80,50 $

DIS 2016 Designing Interactive Interfaces Conference Vol 1

DIS 2016 Conference Committee Couverture souple

229,00 $

Topics In Cryptology - Ct-rsa 2022: Cryptographers' Track At The Rsa Conference 2022, Virtual Event, March 1-2, 2022, Proceedings

Steven D. Galbraith Couverture souple

175,50 $

2 formats offerts

Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Juan De Lara Couverture souple

80,50 $

Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Koen De Bosschere Couverture souple

72,95 $

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings

Paul Hudak Couverture rigide

80,50 $

Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Antti Valmari Couverture souple

80,50 $

Aucun article trouvé

Public-Key Cryptography - PKC 2015: 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings

L@S 2017 Fourth (2017) ACM Conference on Learning @ Scale

Principles and Practice of Constraint Programming - CP 2012: 18th International Conference, Cp 2012, Quebec City, Qc, Canada, October 8-12, 2012, Proceedings

ASPLOS XXI 21st ACM International Conference on Architectural Support for Programming Languages and Operating Systems

Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Runtime Verification: 5th International Conference, Rv 2014, Toronto, On, Canada, September 22-25, 2014. Proceedings

Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Adaptive Resource Management and Scheduling for Cloud Computing: First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers

Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings

Post-Quantum Cryptography: 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedin: 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

VEE 16 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments

Applied Cryptography and Network Security: 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings

DIS 2016 Designing Interactive Interfaces Conference Vol 1

Topics In Cryptology - Ct-rsa 2022: Cryptographers' Track At The Rsa Conference 2022, Virtual Event, March 1-2, 2022, Proceedings

Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings

Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Articles récemment consultés

Catégorie

Filtres

Catégorie

Langue

Format du livre

Pages

Prix

Aucun article trouvé

Public-Key Cryptography - PKC 2015: 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings

L@S 2017 Fourth (2017) ACM Conference on Learning @ Scale

Principles and Practice of Constraint Programming - CP 2012: 18th International Conference, Cp 2012, Quebec City, Qc, Canada, October 8-12, 2012, Proceedings

ASPLOS XXI 21st ACM International Conference on Architectural Support for Programming Languages and Operating Systems

Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Runtime Verification: 5th International Conference, Rv 2014, Toronto, On, Canada, September 22-25, 2014. Proceedings

Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings

Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Adaptive Resource Management and Scheduling for Cloud Computing: First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers

Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings

Post-Quantum Cryptography: 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedin: 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

VEE 16 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments

Applied Cryptography and Network Security: 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings

DIS 2016 Designing Interactive Interfaces Conference Vol 1

Topics In Cryptology - Ct-rsa 2022: Cryptographers' Track At The Rsa Conference 2022, Virtual Event, March 1-2, 2022, Proceedings

Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings

Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Articles récemment consultés