ハードカバー 2016-06-27 月曜日 発売中 FPGAs for Software Programmers Dirk Koch/Frank Hannig/Daniel Ziener Springer embedded|  embedded, embed|  bluespec|  software|  gpu...

ペーパーバック 2015-11-01 日曜日 発売中 Research Infrastructures for Hardware Accelerators (Synthesis Lectures on Computer Architecture) Yakun Sophia Shao/David Brooks Morgan & Claypool bluespec|  scala programming

ペーパーバック 2015-08-21 金曜日 発売中 Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (Lecture Notes in Computer Science) Narciso Martí-Oliet/Peter Oelveczky/Carolyn Talcott Springer bluespec

ペーパーバック 2014-09-18 木曜日 発売中 Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Gaurav Singh/Sandeep Kumar Shukla Springer bluespec

ハードカバー 2011-10-28 金曜日 発売中 Low Power Design with High-Level Power Estimation and Power-Aware Synthesis Sumit Ahuja/Avinash Lakshminarayana/Sandeep Kumar Shukla Springer bluespec

ペーパーバック 2011-10-16 日曜日 発売中 Low Power Design with High-Level Power Estimation and Power-Aware Synthesis Sumit Ahuja/Avinash Lakshminarayana/Sandeep Kumar Shukla Springer bluespec

ペーパーバック 2011-07-30 土曜日 発売中 Formal Methods for Components and Objects: 8th International Symposium, Fmco 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering) Frank S. De Boer/Marcello M. Bonsangue/Stefan Hallerstede/Michael Leuschel Springer-Verlag New York Inc (C) bluespec

ペーパーバック 2011-04-06 水曜日 発売中 Reconfigurable Computing: Architectures, Tools and Applications: 7th International Symposium, ARC 2011 Belfast, UK, March 23-25, 2011 Proceedings (Lecture Notes in Computer Science) Andreas Koch/Ram Krishnamurthy/John Mcallister/Roger Woods/Tarek El-Ghazawi Springer-Verlag New York Inc (C) bluespec|  machine translation|  gpu

ハードカバー 2010-12-29 水曜日 発売中 Post-Silicon and Runtime Verification for Modern Processors Ilya Wagner/Valeria Bertacco Springer-Verlag bluespec|  gpu

ハードカバー 2010-12-03 金曜日 発売中 Multiprocessor System-on-Chip: Hardware Design and Tool Integration Michael Huebner/Juergen Becker Springer embedded|  bluespec|  noc|  machine translation|  gpu

ペーパーバック 2010-11-19 金曜日 発売中 Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from Fdl 06 Sorin Alexander Huss Springer Netherlands bluespec

ペーパーバック 2010-11-10 水曜日 発売中 High-Level Synthesis: from Algorithm to Digital Circuit Philippe Coussy/Adam Morawiec Springer bluespec

ペーパーバック 2010-11-05 金曜日 発売中 Low-Power High-Level Synthesis for Nanoscale CMOS Circuits Saraju P. Mohanty/Nagarajan Ranganathan/Elias Kougianos/Priyardarsan Patra Springer bluespec|  nanoscale|  nanoscale

ハードカバー 2010-10-30 土曜日 発売中 Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's (Lecture Notes in Electrical Engineering) Dominique Borrione Springer-Verlag embedded|  bluespec|  noc|  haskell programming|  gpu

ペーパーバック 2010-10-19 火曜日 発売中 Ingredients for Successful System Level Design Methodology Hiren D. Patel/Sandeep Kumar Shukla Springer bluespec|  haskell programming

ハードカバー 2010-08-16 月曜日 発売中 Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Gaurav Singh/Sandeep Kumar Shukla Springer embedded|  bluespec|  scheme programming

ハードカバー 2010-07-16 金曜日 発売中 Bioinformatics: High Performance Parallel Computer Architectures (Embedded Multi-Core Systems) Bertil Schmidt CRC Press bluespec|  embedded|  intel|  computer architecture design|  graphic programming...

ハードカバー 2010-04-09 金曜日 発売中 Multi-Core Embedded Systems (Embedded Multi-Core Systems) Georgios Kornaros CRC Press embedded|  bluespec|  cortex-a9

ハードカバー 2010-01 発売中 ESL Models and Their Application: Electronic System Level Design and Verification in Practice (Embedded Systems) Brian Bailey/Grant Martin Springer-Verlag embedded, embed|  art|  springer|  embedded|  bluespec...

ペーパーバック 2009-12-15 火曜日 発売中 FM 2009: Formal Methods: Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science) Ana Cavalcanti/Dennis Dams Springer-Verlag New York Inc (C) bluespec|  noc|  computer architecture design

ハードカバー 2009-09-01 火曜日 発売中 System Level Design with .Net Technology El Mostapha Aboulhamid/Frederic Rousseau CRC Press .net microsoft|  bluespec

ハードカバー 2009-07-28 火曜日 発売中 Embedded System Design: Modeling, Synthesis and Verification Daniel D. Gajski/Samar Abdi/Andreas Gerstlauer/Gunar Schirner Springer-Verlag bluespec|  noc

ペーパーバック 2008-12-23 火曜日 発売中 Bebop to the Boolean Boogie, Third Edition: An Unconventional Guide to Electronics Clive Maxfield Newnes bluespec

ペーパーバック 2008-08 発売中 Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings (Lecture Notes in Computer Science) Klaus Havelund/Rupak Majumdar/Jens Palsberg Springer bluespec

ハードカバー 2008-08-26 火曜日 発売中 High-Level Synthesis: from Algorithm to Digital Circuit Philippe Coussy/Adam Morawiec Springer bluespec|  computer architecture design

ペーパーバック 2008-08-03 日曜日 発売中 Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-fabrication Debugging and On-line Monitoring Marc Boule/Zeljko Zilic Springer Netherlands bluespec

ハードカバー 2008-08-03 日曜日 発売中 Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-line Monitoring Marc Boule/Zeljko Zilic Springer-Verlag bluespec

ハードカバー 2008-07-21 月曜日 発売中 Low-Power High-Level Synthesis for Nanoscale CMOS Circuits Saraju P. Mohanty/Nagarajan Ranganathan/Elias Kougianos/Priyardarsan Patra Springer nanoscale|  bluespec

ハードカバー 2008-06-22 日曜日 発売中 Ingredients for Successful System Level Design Methodology Hiren D. Patel/Sandeep Kumar Shukla Springer bluespec|  haskell programming

ペーパーバック 2008-06-03 火曜日 発売中 Embedded Systems Specification and Design Languages (Lecture Notes in Electrical Engineering) Eugenio Villar Springer Netherlands bluespec