Constraints in Computational Logics: Theory and Applications International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures edited by Hubert Comon, Claude Marche, Ralf Treinen.

Published 2001

Reliable Distributed Systems Technologies, Web Services, and Applications by Kenneth Birman.

by Birman, Kenneth
Published 2005

Parallel Computer Routing and Communication First International Workshop, PCRCW '94, Seattle, Washington, USA, May 16-18, 1994. Proceedings edited by Kevin Bolding, Lawrence Snyder.

Published 1994

Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers edited by Roman Wyrzykowski, Jack Dongarra, Norbert Meyer, Jerzy Wasniewski.

Published 2006

Beacon Technologies The Hitchhiker's Guide to the Beacosystem by Stephen Statler.

by Statler, Stephen
Published 2016

Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings edited by Ulrich Furbach, Anil Nerode.

Published 1997

Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WIST 2013, Heraklion, Greece, May 28-30, 2013, Proc... edited by Lorenzo Cavallaro, Dieter Gollmann.

Published 2013

Scientific Applications of Grid Computing First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers edited by Maria S. Pérez, Victor Robles.

Published 2005

Algorithms for Parallel Polygon Rendering by Theoharis Theoharis.

by Theoharis, Theoharis
Published 1989

Computer Science Logic 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers edited by Dirk van Dalen, Marc Bezem.

Published 1997

Reconfigurable Computing: Architectures, Tools, and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings edited by Roger Woods, Katherine Compton, Christos Bourganis, Pedro C. Diniz.

Published 2008

Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Procee... edited by Huansheng Ning.

Published 2019

Database and Application Security XV IFIP TC11 / WG11.3 Fifteenth Annual Working Conference on Database and Application Security July 15–18, 2001, Niagara on the Lake, Ontario, Can... edited by Martin S. Olivier, David L. Spooner.

Published 2002

Crisp and Soft Computing with Hypercubical Calculus New Approaches to Modeling in Cognitive Science and Technology with Parity Logic, Fuzzy Logic, and Evolutionary Computing by Michael Zaus.

by Zaus, Michael
Published 1999

Guide to Cloud Computing Principles and Practice by Richard Hill, Laurie Hirsch, Peter Lake, Siavash Moshiri.

by Hill, Richard, Hirsch, Laurie, Lake, Peter, Moshiri, Siavash
Published 2013

Advances in Information Systems Development: Bridging the Gap between Academia & Industry edited by Anders G. Nilsson, Remigijus Gustas, Gregory Wojtkowski, Wita Wojtkowski, Stanislaw Wrycza, Joze Zupancic.

Published 2006

Microelectronic and Microprocessor-based Systems by Noel M. Morris.

by Morris, Noel M.
Published 1985

Euro-Par’98 Parallel Processing 4th International Euro-Par Conference Southampton, UK, September 1–4, 1998 Proceedings edited by David Pritchard, Jeff Reeve.

Published 1998

Recent Advances in Parallel Virtual Machine and Message Passing Interface 8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. Proceedings edited by Yiannis Cotronis, Jack Dongarra.

Published 2001

Applied Parallel Computing. Computations in Physics, Chemistry and Engineering Science Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995. Proceedings edited by Jack Dongarra, Kaj Madsen, Jerzy Wasniewski.

Published 1996

Software Process Improvement 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008, Proceedings edited by Rory O'Connor, Nathan Baddoo, Kari Smolander, Richard Messnarz.

Published 2008

Parallel Lisp: Languages and Systems US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings edited by Takayasu Ito, Robert H. Jr. Halstead.

Published 1990

Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France edited by Pierre Dissaux, Mamoun Filali Amine, Pierre Michel, Francois Vernadat.

Published 2005

Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings edited by Philippe Codognet.

Published 2001

Architecture of Computing Systems - ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008, Proceedings edited by Theo Ungerer, Christian Hochberger, Rainer G. Spallek.

Published 2008

Coordination Languages and Models First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings. edited by Paolo Ciancarini, Chris Hankin.

Published 1996

OpenMP Shared Memory Parallel Programming International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings edited by Rudolf Eigenmann, Michael J. Voss.

Published 2001

Video Processing in the Cloud by Rafael Silva Pereira, Karin K. Breitman.

by Pereira, Rafael Silva, Breitman, Karin K.
Published 2011

Handheld and Ubiquitous Computing First International Symposium, HUC'99, Karlsruhe, Germany, September 27-29, 1999, Proceedings edited by Hans-W. Gellersen.

Published 1999

Fundamentals of Computation Theory 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings edited by Zoltan Esik.

Published 1993

Object-Based Parallel and Distributed Computation France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers edited by Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa.

Published 1996

Partial-Order Methods for the Verification of Concurrent Systems An Approach to the State-Explosion Problem edited by Patrice Godefroid.

Published 1996

Logics of Programs Brooklyn, June 17-19, 1985 edited by Rohit Parikh.

Published 1985

Euro-Par’ 99 Parallel Processing 5th International Euro-Par Conference Toulouse, France, August 31–September 3, 1999 Proceedings edited by Patrick Amestoy, Philippe Berger, Michel Dayde, Iain Duff, Valerie Fraysse, Luc Giraud, Daniel Ruiz.

Published 1999

Artificial Neural Networks International Workshop IWANN '91, Granada, Spain, September 17-19, 1991. Proceedings edited by Alberto Prieto.

Published 1991

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29,... edited by Oege de Moor, Michael I. Schwartzbach.

Published 2009

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings edited by Taisuke Izumi, Petr Kuznetsov.

Published 2018

Hybrid Systems IV edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry.

Published 1997

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3–7, 2017, Revised Selected Papers edited by Leonid Sokolinsky, Mikhail Zymbler.

Published 2017

Parallel Virtual Machine - EuroPVM'96 Third European PVM Conference, Munich, Germany, October, 7 - 9, 1996. Proceedings edited by Arndt Bode, Jack Dongarra, Thomas Ludwig, Vaidy Sunderam.

Published 1996

Parallel Computation Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993. Proceedings edited by Jens Volkert.

Published 1993

Nonlinear Assignment Problems Algorithms and Applications edited by Panos M. Pardalos, L.S. Pitsoulis.

Published 2000

Hardware Evolution Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution by Adrian Thompson.

by Thompson, Adrian
Published 1998

Parallel Computing Using Optical Interconnections edited by Keqin Li, Yi Pan, Si-Qing Zheng.

Published 1998

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 edited by Beniamino Di Martino, Dieter Kranzlmüller, Jack Dongarra.

Published 2005

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings edited by Julian M. Kunkel, Thomas Ludwig, Hans Meuer.

Published 2013

Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings edited by Ahmed Bouajjani, Oded Maler.

Published 2009

Intelligent Agents IV: Agent Theories, Architectures, and Languages 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings edited by Munindar P. Singh, Anand Rao, Michael J. Wooldridge.

Published 1998

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selec... edited by Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond.

Published 2015

Handbook on Parallel and Distributed Processing edited by Jacek Blazewicz, Klaus Ecker, Brigitte Plateau, Denis Trystram.

Published 2000