Your search returned 39 results.

Sort
Results
1.
High-Level Synthesis [electronic resource] : From Algorithm to Digital Circuit / edited by Philippe Coussy, Adam Morawiec. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science + Business Media B.V, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7888.3 C68 2008.

2.
Hybrid Systems: Computation and Control [electronic resource] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings / edited by Manfred Morari, Lothar Thiele. by Series: Lecture Notes in Computer Science ; 3414
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.38 M67 2005.

3.
Applications and Theory of Petri Nets [electronic resource] : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings / edited by Kees M. Hee, Rüdiger Valk. by Series: Lecture Notes in Computer Science ; 5062
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267 H44 2008.

4.
Hybrid Systems: Computation and Control [electronic resource] : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / edited by Magnus Egerstedt, Bud Mishra. by Series: Lecture Notes in Computer Science ; 4981
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.38 E34 2008.

5.
Processor Design [electronic resource] : System-on-Chip Computing for ASICs and FPGAs / edited by Jari Nurmi. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 N87 2007.

6.
Co-design for System Acceleration [electronic resource] : A Quantitative Approach / by Nadia Nedjah, Luiza De Macedo Mourelle. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S88 N43 2007.

7.
Distributed and Parallel Systems [electronic resource] : In Focus: Desktop Grid Computing / edited by Péter Kacsuk, Róbert Lovas, Zsolt Németh. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.C58 K33 2008.

8.
Introduction to Reconfigurable Computing [electronic resource] : Architectures, Algorithms, and Applications / edited by Christophe Bobda. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.G36 B63 2008.

9.
High Performance Computing on Vector Systems 2007 [electronic resource] / edited by Michael Resch, Sabine Roller, Peter Lammers, Toshiyuki Furui, Martin Galle, Wolfgang Bez. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.88 R47 2008.

10.
Future Generation Grids [electronic resource] : Proceedings of the Workshop on Future Generation Grids November 1–5, 2004, Dagstuhl, Germany / edited by Vladimir Getov, Domenico Laforenza, Alexander Reinefeld. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.C58 G48 2006.

11.
Designing Embedded Processors [electronic resource] : A Low Power Perspective / edited by Jörg Henkel, Sri Parameswaran. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 H46 2007.

12.
Embedded Software and Systems [electronic resource] : First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / edited by Zhaohui Wu, Chun Chen, Minyi Guo, Jiajun Bu. by Series: Lecture Notes in Computer Science ; 3605
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 W8 2005.

13.
Real-Time Applications with Stochastic Task Execution Times [electronic resource] : Analysis and Optimisation / by Sorin Manolache, Petru Eles, Zebo Peng. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK895.E42 M36 2007.

14.
Hybrid Systems: Computation and Control [electronic resource] : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings / edited by João P. Hespanha, Ashish Tiwari. by Series: Lecture Notes in Computer Science ; 3927
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.38 H47 2006.

15.
Event-Triggered and Time-Triggered Control Paradigms [electronic resource] / by Roman Obermaisser. by Series: Real-Time Systems Series, Event-Triggered and Time-Triggered Control Paradigms ; 22
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science + Business Media, Inc., 2005
In: Springer e-books
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ217.7 O24 2005.

16.
High-Level Modeling and Synthesis of Analog Integrated Systems [electronic resource] / by Ewout S. J. Martens, Georges G. E. Gielen. by Series: Analog Circuits and Signal Processing Series
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7888.4 M37 2008.

17.
Fast, Efficient and Predictable Memory Accesses [electronic resource] : Optimization Algorithms for Memory Architecture Aware Compilation / by Lars Wehmeyer, Peter Marwedel. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.M45 W44 2006.

18.
Digital VLSI Systems Design [electronic resource] : A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog / by S. Ramachandran. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874 R36 2007.

19.
20.
Pages

Powered by Koha