Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
hardware
Связанные издания:
Advanced Encryption Standard - AES: Revised Selected and Invited Papers: 4th International Conference, AES 2004. Bonn, Germany, May 2004
Advances in Computer Systems Architecture: Proc./10th Asia-Pacific Conference, ACSAC 2005. Singapore, October 2005
Advances in Computer Systems Architecture: Proc./11th Asia-Pacific Conference, ACSAC 2006. Shanghai, China, September 2006
Advances in Computer Systems Architecture: Proc./12th Asia-Pacific Conference, ACSAC 2007. Seoul, Korea, August 2007
Advances in Image and Video Technology: Proc./Second Pacific Rim Symposium, PSVIT 2007. Santiago, Chile, December 2007
Advances in Image and Video Technology: Proc./Third Pacific Rim Symposium, PSIVT 2009. Tokyo, Japan, January 2009
Advances in Natural Computation: Part II: Proc./Second International Conference, ICNC 2006. Xi an, China, September 2006
Ambient Intelligence: Proc./European Conference, Aml 2008. Nuremberg, Germany, November 2008
Architecture of Computing Systems - ARCS 2007: Proc./20th International Conference. Zurich, Switzerland, March 2007
Architecture of Computing Systems - ARCS 2008: Proc./21st International Conference. Dresden, Germany, February 2008
Architecture of Computing Systems - ARCS 2015: Proc./28th International Conference, Porto, Portugal, March 2015
Arithmetic of Finite Fields: Revised Selected Papers/7th International Workshop, WAIFI 2018, Bergen, Norway, June 2018
Artificial Neural Networks - ICANN 2008. Part II: Proc./18th International Conference. Prague, Czech Republic, September 2008
Big Data Benchmarks, Performance Optimization, and Emerging Hardware: Revised Selected Papers/4th and 5th Workshops, BPOE 2014, Salt Lake City, USA, March 2014, and Hangzhou, China, September 2014
Bioinformatics and Computational Biology: Proc./1st International Conference, BICoB 2009, New Orleans,LA,USA, April 2009
Biologically Inspired Approaches to Advanced Information Technology: Revised Selected Papers/First International Workshop, BioADIT 2004. Lausanne, Switzerland, January 2004
Cellular Automata: Proc./8th International Conference on CA for Research and Industry, ACRI 2008. Yokohama, Japan, September 2008
Cloud Computing: Proc./First Internatioal Conference, CloudCom 2009, Beijing, China, December 2009
Computational Science - ICCS 2006: Part IV: Proc./6th International Conference. Reading, UK, May 2006
Computer Aided Verification: Proc./20th International Conference, CAV 2008. Princeton, NJ, USA, July 2008
Computer Aided Verification: Proc./21st International Conference, CAV 2009, Grenoble, France, June/Jule 2009
Computing and Software Science: State of the Art and Perspectives
Correct Hardware Design and Verification Methods: Proc./13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005. Saaerbruecken, Germany, October 2005
Dependability Metrics: Advanced Lectures
Dependable Computing - EDCC-5: Proc./5th European Computing Conference. Budapest, Hungary, April 2005
Distributed Computing and Networking: Proc./10th International Conference, ICDCN 2009, Hyderabad, India, January 2009
Embedded and Ubiquitous Computing - EUC 2005: Proc./International Conference EUC 2005. Nagasaki, Japan, December 2005
Embedded and Ubiquitous Computing: Proc./International Conference, EUC 2006. Seoul, Korea, August 2006
Embedded Computer Systems: Architectures, Modeling, and Simulation: Proc./6th International Workshop, SAMOS 2006. Samos, Greece, July 2006
Embedded Software and Systems: Proc./Third International Conference, ICESS 2007. Daegu, Korea, May 2007
Euro-Par 2006 Parallel Processing: Proc./12th International Euro-Par Conference. Dresden, Germany, August/September 2006
Evolvable Systems: From Biology to Hardware: Proc./6th International Conference, ICES 2005. Sitges, Spain, September 2005
Evolvable Systems: From Biology to Hardware: Proc./7th International Conference, ICES 2007. Wuhan, China, September 2007
Evolvable Systems: From Biology to Hardware: Proc./8th International Conference, ICES 2008. Prague, Czech Republic, September 2008
Evolvable Systems: From Biology to Hardware: Proc./9th International Conference, ICES 2010, York,UK, September 2010
Evolvable Systems: From Biology to Hardware: Proc./First Intern. Conf., ICES 96. Tsukuba, Japan, October 1996
Formal Hardware Verification: Methods and Systems in Comparison
Formal Methods and Software Engineering: Proc./21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 2019
Formal Methods for Hardware Verification: Advanced Lectures/6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. Bertinoro, Italy, May 2006
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Proc./Joint International Conferences FORMATS 2004, and FTRTFT 2004. Grenoble,France,September 2004
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Hardware and Software: Verification and Testing: Proc./Third International Haifa Verification Conference, HVC 2007. Haifa, Israel, October 2007
Hardware and Software: Verification and Testing: Revised Selected Papers/7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 2011
Hardware and Software Verification and Testing: Revised Selected Papers/Fist International Haifa Verification Conference. Haifa, Israel, November 2005
Hardware and Software, Verification and Testing: Revised Selected Papers/Second International Haifa Verification Conference, HVC 2006 Haifa, Israel, October 2006
High Performance Computing - HiPC 2006: Proc./13th International Conference Bangalore,India,December 2006
High Performance Computing - HiPC 2008: Proc./15th International Conference. Bangalore, India, December 2008
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: Proc./16th International Workshop, PATMOS 2006. Montpellier, France, September 2006
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: Revised Selected Papers/18th Intl WS, PATMOS 2008. Lisbon, Portuga, September 2008
Integrated Circuit and System Design: Power Timing Modeling, Optimization and Simulation: Proc./ 15th International Workshop, PATMOS 2005. Leuven, Belgium, September 2005
1
2
следующая ›
последняя »