Proceedings of the third Workshop on Formal Methods in Software Practice

por Heimdahl, Mats P. E.
Publicado 2000

HLPP '10 : proceedings of the fourth International Workshop on High-level Parallel Programming and Applications, September 25, 2010, Baltimore, Maryland, USA

por Loulergue, Frédéric
Publicado 2010

Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : PPDP'00 : Montréal, Canada, September 20-23, 2000

por Gabbrielli, Maurizio
Publicado 2000

KDD 2008 : proceedings of the 14th ACMKDD International Conference on Knowledge Discovery & Data Mining : Las Legas, NV, USA, August 24-27, 2008

por Li, Ying
Publicado 2008

Proceedings of the 2nd International Symposium on Memory Management

por Chambers, Craig
Publicado 2000

SIGCSE '16 proceedings of the 47th ACM Technical Symposium on Computing Science Education : March 2-5, 2016, Memphis, TN, USA

Publicado 2016

Erlang '10 : proceedings of the 2010 ACM SIGPLAN Erlang Workshop, September 30, 2010, Baltimore, Maryland, USA

por Fritchie, Scott Lystig
Publicado 2010

The future of software engineering 2000 : 22nd International Conference on Software Engineering

por Finkelstein, Anthony
Publicado 2000

ICMI '08 : proceedings of the tenth International Conference on Multimodal Interfaces : Chania, Crete, Greece, October 20-22, 2008

por Digalakis, Vassilis
Publicado 2008

Proceedings of the 2nd Conference on Domain-Specific Languages

por Ball, Thomas
Publicado 1999

ACM SIGSPATIAL GIS 2015 23rd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems : November 3-6, 2015, Seattle, Washington

Publicado 2015

Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2004): The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems Using ADA and Related Technologies: November 14-18, 2004 Double Tree Hotel-Atlanta/Buckhead At

por McCormick, John W.
Publicado 2004

SIGSIM-PADS '16 proceedings of the 2016 annual ACM Conference on Principles of Advanced Discrete Simulation : May, 15-18, 2016, Banff, Alberta, Canada

Publicado 2016

IOPADS, '96: Workshop on I-O in Parallel and Distributed Systems

por Kotz, David
Publicado 1996

Proceedings of the 15th Acm International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems

Publicado 2013

ScalA '15 proceedings of 6th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems

Publicado 2015

Proceedings of the 1999 Workshop on New Paradigms in Information Visualization and Manipulation in Conjunction with the Eighth ACM International Conference on Information and Knowledge Management

por International Conference on Information and Knowledge Management
Publicado 1999

ICER '10 : Proceedings of the International Computing Education Research Workshop, August 9-10, 2010, Aarhus, Denmark

por Caspersen, Michael E.
Publicado 2010

ICFP '04 : proceedings of the ninth ACM SIGPLAN International Conference on Functional Programming : September 19-21, 2004, Snowbird, Utah, USA

por Okasaki, Chris
Publicado 2004

CIKM '15 proceedings of the 24th ACM International Conference on Information and Knowledge Management : October 19-23, 2015, Melbourne, Australia

Publicado 2015