نتایج جستجو
برای Software: Systems: Scientific Computing، صفحه ۸۰ از ۱,۴۸۱ در بین ۳۷,۰۰۲ کتاب.
PDF
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Paris, France, April 22–27, 2023 Proceedings, Part I
Sriram Sankaranarayanan, Natasha Sharygina, 2023PDF
Designing Deep Learning Systems: A software engineer's guide
Chi Wang, Donald Szeto, 2023PDF
Challenges of Software Verification (Intelligent Systems Reference Library, 238)
Vincenzo Arceri (editor), Agostino Cortesi (editor), Pietro Ferrara (editor), Martina Olliaro (editor), 2023PDF
COTS-Based Software Systems: First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, Proceedings (Lecture Notes in Computer Science, 2255)
John Dean (editor), Andree Gravel (editor), 2002PDF
Sensor Systems and Software: 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings (Lecture Notes of the ... and Telecommunications Engineering, 487)
Hamid Reza Karimi (editor), Ning Wang (editor), 2023DJVU
Systems and Software Verification: Model-Checking Techniques and Tools
B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen, 2001PDF
Systems and Software Verification: Model-Checking Techniques and Tools
B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen, 2001PDF
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.), 2010PDF
7th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS'09) (Advances in Intelligent and Soft Computing)
Yves Demazeau, Juan Pavón, Juan M. Corchado, Javier Bajo, 2009PDF
14th IEEE International Conference on Embedded and Real-time Computing Systems and Applications
Institute of Electrical and Electronics Engineers, 2008PDF
14th IEEE International Conference on Embedded and Real-time Computing Systems and Applications (Rtcsa 2008)
Institute of Electrical and Electronics Engineers, 2008PDF
Computational Intelligence, Networked Systems and Their Applications: International Conference of Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 20-23, 2014, Proceedings, Part II
Minrui Fei, Chen Peng, Zhou Su, Yang Song, Qinglong Han (eds.), 2014PDF
Autonomic Computing and Communications Systems: Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers
João Ferreira, João Leitão, Luis Rodrigues (auth.), Athanasius V. Vasilakos, Roberto Beraldi, Roy Friedman, Marco Mamei (eds.), 2010PDF
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings
Philip Koopman, Justin Ray (auth.), Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb (eds.), 2010PDF
Computing in Geographic Information Systems
Narayan Panigrahi, 2014PDF
High Performance Computing in Power and Energy Systems
Djalma M. Falcao, Carmen L. T. Borges (auth.), Siddhartha Kumar Khaitan, Anshul Gupta (eds.), 2013DJVU
Advances in Intelligent Computing — IPMU '94: 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Paris, France, July 4–8, 1994 Selected Papers
Glenn Shafer (auth.), Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh (eds.), 1995PDF
Advances in Soft Computing — AFSS 2002: 2002 AFSS International Conference on Fuzzy Systems Calcutta, India, February 3–6, 2002 Proceedings
D. Dubois, H. Prade, L. Ughetto (auth.), Nikhil R. Pal, Michio Sugeno (eds.), 2002PDF
Agent Computing and Multi-Agent Systems: 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings
Zhongzhi Shi, Ramakoti Sadananada, 2006PDF
PDF
Agent Computing and Multi-Agent Systems: 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
Ka-man Lam, Ho-Fung Leung (auth.), Aditya Ghose, Guido Governatori, Ramakoti Sadananda (eds.), 2009PDF
Analysis and Design of Intelligent Systems using Soft Computing Techniques
Lotfi A. Zadeh (auth.), Patricia Melin, Oscar Castillo, Eduardo Gomez Ramírez, Janusz Kacprzyk, Witold Pedrycz (eds.), 2007PDF
Architecture of Computing Systems - ARCS 2007: 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings
Afshin Niktash, Hooman T. Parizi (auth.), Paul Lukowicz, Lothar Thiele, Gerhard Tröster (eds.), 2007PDF
