Search Results for

1.

Computation Engineering Applied Automata Theory and Logic

Author

Gopalakrishnan, Ganesh. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-32520-4

Format:

Availability

Online Library~1

Available:
Copies:

2.

A Practical Introduction to PSL

Author

Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-36123-9

Format:

Availability

Online Library~1

Available:
Copies:

3.

Hardware Verification with C++ A Practitioner’s Handbook

Author

Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-36254-0

Format:

Availability

Online Library~1

Available:
Copies:

4.

A Roadmap for Formal Property Verification

Author

DasGupta, Pallab. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-4758-9

Format:

Availability

Online Library~1

Available:
Copies:

5.

Fast, Efficient and Predictable Memory Accesses Optimization Algorithms for Memory Architecture Aware Compilation

Author

Wehmeyer, Lars. author. Marwedel, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-4822-X

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

Author

Vounckx, Johan. editor. Azemard, Nadine. editor. Maurine, Philippe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11847083

Format:

Availability

Online Library~1

Available:
Copies:

7.

Embedded System Design

Author

Marwedel, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-30087-2

Format:

Availability

Online Library~1

Available:
Copies:

8.

Linear Systems

Author

Antsaklis, Panos J. author. Michel, Anthony N. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-8176-4435-0

Format:

Availability

Online Library~1

Available:
Copies:

9.

AmIware Hardware Technology Drivers of Ambient Intelligence

Author

Mukherjee, Satyen. editor. Aarts, Ronald M. editor. Roovers, Raf. editor. Widdershoven, Frans. editor. Ouwerkerk, Martin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-4198-5

Format:

Availability

Online Library~1

Available:
Copies:

10.

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

Author

Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-5138-7

Format:

Availability

Online Library~1

Available:
Copies:

11.

FPGA Implementations of Neural Networks

Author

Omondi, Amos R. editor. Rajapakse, Jagath C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-28487-7

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for VLSI-SOC: From Systems to Chips IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1–3, 2003, Darmstadt, Germany

VLSI-SOC: From Systems to Chips IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1–3, 2003, Darmstadt, Germany

Author

Glesner, Manfred. editor. Reis, Ricardo. editor. Indrusiak, Leandro. editor. Mooney, Vincent. editor. Eveking, Hans. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-33403-3

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}