High Performance Computing - HiPC'99 : 6th International Conference, Calcutta, India, December 17-20, 1999 Proceedings /

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /
Published: (2023)

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /
Published: (2022)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /
Published: (2023)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /
Published: (2023)

Topics in Cryptology -- CT-RSA 2004 : the Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004, Proceedings /
by: Okamoto, Tatsuaki
Published: (2004)

Smart card research and advanced applications : 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011 : revised selected papers /
Published: (2011)

Parallel Computing Technologies : 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings /
Published: (2019)

Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2020+1 : Selected Papers from the ICOSAHOM Conference, Vienna, Austria, July 12-16, 2021 /
Published: (2023)

Combinatorial Optimization and Applications : 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings /
Published: (2018)

Combinatorial Optimization and Applications : 13th International Conference, COCOA 2019, Xiamen, China, December 13-15, 2019, Proceedings /
Published: (2019)

PRIMA 2022: Principles and Practice of Multi-Agent Systems : 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings /
Published: (2023)

Combinatorial Optimization : New Frontiers in Theory and Practice /
by: Akgül, M.
Published: (1992)

Active Inference : Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers /
Published: (2023)

Genetic Programming : 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings /
Published: (2022)

Internet and network economics : 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011, proceedings /
Published: (2011)

Machine Learning, Optimization, and Data Science : 7th International Conference, LOD 2021, Grasmere, UK, October 4-8, 2021, Revised Selected Papers, Part II /
Published: (2022)

Computer-Aided Architectural Design. Design Imperatives: The Future is Now : 19th International Conference, CAAD Futures 2021, Los Angeles, CA, USA, July 16-18, 2021, Selected Papers /
Published: (2022)

Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries : 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023, Selected Papers /
Published: (2023)

Algorithms ESA 98 : 6th Annual European Symposium Venice, Italy, August 2426, 1998 Proceedings /
Published: (1998)

Algorithms and computation : 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011, proceedings /
Published: (2011)

Information Processing in Medical Imaging : 28th International Conference, IPMI 2023, San Carlos de Bariloche, Argentina, June 18-23, 2023, Proceedings /
Published: (2023)

Machine Intelligence and Emerging Technologies : First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part I /
Published: (2023)

Algorithms and Data Structures : 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5-7, 2019, Proceedings /
Published: (2019)

Information computing and applications : second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011, proceedings.
Published: (2011)

Information computing and applications : second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011, proceedings.
Published: (2011)

Foundations of wavelet networks and applications /
by: Iyengar, S. Sitharama (Sundararaja Sitharam), et al.
Published: (2002)

Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings /
Published: (2022)

Collaborative Networks in Digitalization and Society 5.0 : 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings /
Published: (2023)

Collaborative Networks in Digitalization and Society 5.0 : 23rd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2022, Lisbon, Portugal, September 19-21, 2022, Proceedings /
Published: (2022)

Managing Software Quality : a Measurement Framework for Assesment and Prediction /
by: Nance, Richard E.
Published: (2002)

DCE - The OSF Distributed Computing Environment, Client/Server Model and Beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993. Proceedings /
by: Schill, Alexander
Published: (1993)

PARLE '89 - Parallel Architectures and Languages Europe : Volume I: Parallel Architectures, Eindhoven, the Netherlands, June 12-16, 1989; Proceedings /
by: Odijk, E. (Eddy)
Published: (1989)

Real-Time and Multi-Agent Systems /
by: Attoui, Ammar
Published: (2000)

PARLE '89 - Parallel Architectures and Languages Europe : Volume II: Parallel Languages, Eindhoven, the Netherlands, June 12-16, 1989; Proceedings /
by: Odijk, E. (Eddy)
Published: (1989)

Reliable Software Technologies - Ada Europe 96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings /
by: Strohmeier, Alfred, 1946-
Published: (1996)

Heterogeneous Network Quality of Service Systems /
by: Schmitt, Jens Burkhard
Published: (2001)