Отображение 1 - 20 результаты of 56 для поиска '', время запроса: 0.05сек. Отмена результатов
  1. 1
    Computer Engineering and Technology 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 – August 1, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Полный текст
    Электронная книга
  2. 2
    Job Scheduling Strategies for Parallel Processing (vol. # 3834) 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
    по Feitelson, Dror
    Опубликовано в: Springer e-books (2005)
    Полный текст
    Электронная книга
  3. 3
    Introduction to Embedded System Design Using Field Programmable Gate Arrays
    по Dubey, Rahul
    Опубликовано в: Springer eBooks (2009)
    Полный текст
    Электронная книга
  4. 4
    New Algorithms, Architectures and Applications for Reconfigurable Computing
    по Lysaght, Patrick
    Опубликовано в: Springer e-books (2005)
    Полный текст
    Электронная книга
  5. 5
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 3728) 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings
    по Paliouras, Vassilis
    Опубликовано в: Springer e-books (2005)
    Полный текст
    Электронная книга
  6. 6
    Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings
    по Cosp, Jordi
    Опубликовано в: Springer e-books (2005)
    Полный текст
    Электронная книга
  7. 7
    High-Level Synthesis From Algorithm to Digital Circuit /
    по Coussy, Philippe
    Опубликовано в: Springer eBooks (2008)
    Полный текст
    Электронная книга
  8. 8
    Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    по Etessami, Kousha
    Опубликовано в: Springer e-books (2005)
    Полный текст
    Электронная книга
  9. 9
    Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    по Hurd, Joe
    Опубликовано в: Springer e-books (2005)
    Полный текст
    Электронная книга
  10. 10
    Electronics System Design Techniques for Safety Critical Applications
    по Sterpone, Luca
    Опубликовано в: Springer eBooks (2009)
    Полный текст
    Электронная книга
  11. 11
    Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
    по Chang, Kai-hui
    Опубликовано в: Springer eBooks (2009)
    Полный текст
    Электронная книга
  12. 12
    Practical Problems in VLSI Physical Design Automation
    по Lim, Sung Kyu
    Опубликовано в: Springer eBooks (2008)
    Полный текст
    Электронная книга
  13. 13
    Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Полный текст
    Электронная книга
  14. 14
    Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Полный текст
    Электронная книга
  15. 15
    Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers /
    Опубликовано в: Springer eBooks (2013)
    Полный текст
    Электронная книга
  16. 16
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Полный текст
    Электронная книга
  17. 17
    Johan van Benthem on Logic and Information Dynamics
    Опубликовано в: Springer eBooks (2014)
    Полный текст
    Электронная книга
  18. 18
    Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Полный текст
    Электронная книга
  19. 19
    Transactions on Computational Science XXIV Special Issue on Reversible Computing /
    Опубликовано в: Springer eBooks (2014)
    Полный текст
    Электронная книга
  20. 20
    Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning /
    по Abe, Jair Minoro, Akama, Seiki, Nakamatsu, Kazumi
    Опубликовано в: Springer eBooks (2015)
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток