Search Results for Integrated.

64 Results Found

1 2 3 4 5 6

000000000000DEFAULT

13.

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Author

Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334634.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38613-8

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings

Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings

Author

Qin, Zengchang. editor. Huynh, Van-Nam. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334813.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39515-4

Format:

Availability

Online Library~1

Available:
Copies:

15.

Design for High Performance, Low Power, and Reliable 3D Integrated Circuits

Author

Lim, Sung Kyu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330852.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-9542-1

Format:

Availability

Online Library~1

Available:
Copies:

16.

Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Author

Derrick, John. editor. Gnesi, Stefania. editor. Latella, Diego. editor. Treharne, Helen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-30729-4

Format:

Availability

Online Library~1

Available:
Copies:

17.

Integrated Computing Technology First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31 – June 2, 2011. Proceedings

Author

Hruschka, Estevam Rafael. editor. Watada, Junzo. editor. Carmo Nicoletti, Maria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22247-4

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

Author

Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-17752-1

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

Author

Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24154-3

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2011, Hangzhou, China, October 28-30, 2011. Proceedings

Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2011, Hangzhou, China, October 28-30, 2011. Proceedings

Author

Tang, Yongchuan. editor. Huynh, Van-Nam. editor. Lawry, Jonathan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24918-1

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

Author

Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11802-9

Format:

Availability

Online Library~1

Available:
Copies:

22.

The Integrated Architecture Framework Explained Why, What, How

Author

van't Wout, Jack. author. Waage, Maarten. author. Hartman, Herman. author. Stahlecker, Max. author. Hofman, Aaldert. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11518-9

Format:

Availability

Online Library~1

Available:
Copies:

23.

Pro LINQ Language Integrated Query in C# 2010

Author

Freeman, Adam. author. Rattz, Joseph C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-2654-3

Format:

Availability

Online Library~1

Available:
Copies:

24.

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

Author

Méry, Dominique. editor. Merz, Stephan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-16265-7

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6

	{displayName}	{count}
{error}