馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Embedded systems and software validation

Main Authors: Roychoudhury Abhik.
Published: Morgan Kaufmann Publishers/Elsevier,
Publication Dates: c2009.
Call Number: TP302.1/R888

Book

2

Cover is for reference only

Computers as components：principles of embedded computing system design

Main Authors: Wolf Wayne Hendrix.
Published: Elsevier/Morgan Kaufmann,
Publication Dates: c2008.
Call Number: TP302.1/W855/2nd.ed.

Book

3

Cover is for reference only

Pervasive computing：4th international conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006 : proceedings

Corporate Authors: Pervasive 2006 (2006 Dublin, Ireland)
Group Author: Fishkin Kenneth P.
Published: Springer,
Publication Dates: c2006.
Call Number: TP3-532/P471/2006

Book

4

Cover is for reference only

Embedded Linux system design and development

Main Authors: Raghavan P. (Pichai), 1973-
Group Author: Lad Amol.; Neelakandan Sriram.
Published: Auerbach Publications,
Publication Dates: 2006.
Call Number: TP316/R142

Book

5

Cover is for reference only

Embedded computer systems：architectures, modeling, and simulation : 6th international workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006 : proceedings

Corporate Authors: SAMOS 2006 (2006 Samos, Greece)
Group Author: Vassiliadis Stamatis.; Wong Stephan, 1973-; Hämäläinen Timo D.
Published: Springer,
Publication Dates: c2006.
Call Number: TP303-532/S191/2006

Book

6

Cover is for reference only

High performance embedded architectures and compilers：first international conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005 : proceedings

Corporate Authors: HiPEAC 2005 (2005 Barcelona, Spain)
Group Author: Conte Tom.
Published: Springer,
Publication Dates: c2005.
Call Number: TP368.1-532/H638/2005

Book

7

Cover is for reference only

Embedded and ubiquitous computing--EUC 2005 workshops：EUC 2005 workshops : UISW, NCUS, SecUbiq, USN and TAUES, Nagasaki, Japan, December 6-9, 2005 : proceedings

Corporate Authors: EUC 2005 (2005 Nagasaki, Japon); Fédération internationale pour le traitement de l'information.
Group Author: Enokido Tomoya.
Published: Springer,
Publication Dates: 2005.

Book

8

Cover is for reference only

Embedded and ubiquitous computing--EUC 2005：international conference, EUC 2005, Nagasaki, Japan, December 6-9, 2005 : proceedings

Corporate Authors: EUC 2005 (2005 Nagasaki-shi, Japan); International Federation for Information Processing.
Group Author: Yang Laurence Tianruo.
Published: Springer,
Publication Dates: 2005.
Call Number: TP302.1-532/E532/2005/

Book

9

Cover is for reference only

Software frameworks and embedded control systems

Main Authors: Pasetti Alessandro.
Published: Springer,
Publication Dates: c2002.
Call Number: TP303/P281

Book

10

Cover is for reference only

Specification and design methodology for real-time embedded systems

Main Authors: Janka Randall S.
Published: Kluwer Academic Publishers,
Publication Dates: c2002.
Call Number: TP302.1/J338

Musical Score Book

11

Cover is for reference only

Embedded software：first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings

Corporate Authors: EMSOFT 2001 (2001 Tahoe City, Calif.)
Group Author: Henzinger T. A.; (Thomas A.); Kirsch Christoph M., 1968-
Published: Springer,
Publication Dates: c2001.
Call Number: TP311.5-532/E532/2001

Book

12

Cover is for reference only

Languages, compilers, and tools for embedded systems：ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings

Corporate Authors: ACM SIGPLAN Workshop LCTES 2000 (2000 Vancouver, B.C.) (Vancouver, B.C.))
Group Author: Davidson Jack W.; (Jack Winfred); Min Sang Lyul.
Published: Springer,
Publication Dates: c2001.
Call Number: TP311-532/L287/2000

Book

13

Cover is for reference only

VLSI：systems on a chip : IFIP TC10 WG 10.5 Tenth International Conference on Very Large Scale Integration (VLSI'99), December 1-4, 1999, Lisboa, Portugal

Corporate Authors: IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration (10th 1999 Lisbon, Portugal)
Group Author: Devadas Srinivas.; Reis Ricardo A. L.; (Ricardo Augusto da Luz).; Silveira Luis Miguel.
Published: Kluwer Academic,
Publication Dates: 1999.
Call Number: TN47-532/I61.3/1999

Book

14

Cover is for reference only

Hardware-dependent software：principles and practice

Group Author: Ecker Wolfgang.; Müller Wolfgang. 1961-; Domer Rainer.
Published: Springer,
Publication Dates: c2009.
Call Number: TP311.5/H267

Book

15

Cover is for reference only

Embedded and ubiquitous computing：international conference, EUC 2006, Seoul, Korea, August 1-4, 2006 : proceedings

Corporate Authors: EUC 2006 (2006 Seoul, Korea); International Federation for Information Processing.
Group Author: Sha E.; (Edwin)
Published: Springer,
Publication Dates: c2006.
Call Number: TP302.1-532/E532/2006

Book

16

Cover is for reference only

Embedded and ubiquitous computing：international conference, EUC 2006, Seoul, Korea, August 1-4, 2006 : proceedings

Corporate Authors: EUC 2006 (2006 Seoul, Korea); International Federation for Information Processing.; SpringerLink (Online service)
Group Author: (Edwin); Sha E.
Published: Springer,
Publication Dates: c2006.

Book

17

Cover is for reference only

Component-based software development for embedded systems：an overview of current research trends

Group Author: Atkinson Colin.
Published: Springer,
Publication Dates: c2005.
Call Number: TP311/C737-1

Book

18

Cover is for reference only

Machine learning for indoor localization and navigation /

Group Author: Tiku, Saideep (Editor); Pasricha, Sudeep. (Editor)
Published: Springer,
Publication Dates: [2023]
Call Number: TN929.5/M149

Book

Narrow Search