Search Results for

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Material Type: E-Book

+

Language: English

+

Publication Date: 2011

+

Subject: Computer Communication Networks.

+

Subject: Logic design.

Author

SpringerLink (Online service)

(32)

Barthe, Gilles. editor.

(2)

Gleizes, Marie-Pierre. editor.

(2)

Sicard, Gilles. editor.

(2)

Stenström, Per. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Aceto, Luca. editor.

(1)

Adeli, Hojjat. editor.

(1)

Agha, Gul. editor.

(1)

Aldini, Alessandro. editor.

(1)

Apel, Sven. editor.

(1)

Ayala, José L. editor.

(1)

Bishop, Judith. editor.

(1)

Boella, Guido. editor.

(1)

Book, Matthias. editor.

(1)

Bordbar, Behzad. editor.

(1)

Bruni, Roberto. editor.

(1)

Bultan, Tevfik. editor.

(1)

Cabot, Jordi. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Danvy, Olivier. editor.

(1)

Dingel, Juergen. editor.

(1)

France, Robert B. editor.

(1)

García-Cámara, Braulio. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Gomez-Sanz, Jorge J. editor.

(1)

Gorrieri, Roberto. editor.

(1)

Gruhn, Volker. editor.

(1)

Henzinger, Monika. editor.

(1)

Herrmann, Peter. editor.

(1)

Hsiung, Pao-Ann. editor.

(1)

Jackson, Ethan. editor.

(1)

Kang, Byeong-Ho. editor.

(1)

Kang, Heau-jo. editor.

(1)

Katoen, Joost-Pieter. editor.

(1)

Kim, Haeng-kon. editor.

(1)

Kim, Kyung Jung. editor.

(1)

Kim, Tai-hoon. editor.

(1)

Kiumi, Akingbehin. editor.

(1)

Klügl, Franziska. editor.

(1)

Kraemer, Frank Alexander. editor.

(1)

Kuester, Jochen M. editor.

(1)

König, Barbara. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Leite, João. editor.

(1)

Leuken, René. editor.

(1)

Liu, Weiru. editor.

(1)

Loucopoulos, Pericles. editor.

(1)

Maciaszek, Leszek A. editor.

(1)

Meseguer, José. editor.

(1)

Mezini, Mira. editor.

(1)

Natarajan, Raja. editor.

(1)

Ojo, Adegboyega. editor.

(1)

Omicini, Andrea. editor.

(1)

Orejas, Fernando. editor.

(1)

Ossowski, Sascha. editor.

(1)

Paige, Richard F. editor.

(1)

Pardo, Alberto. editor.

(1)

Prieto, Manuel. editor.

(1)

Romanovsky, Alexander. editor.

(1)

Ruggiero, Martino. editor.

(1)

Sardina, Sebastian. editor.

(1)

Schneider, Gerardo. editor.

(1)

Sgall, Jiří. editor.

(1)

Thomas, Nigel. editor.

(1)

Torre, Leon. editor.

(1)

Torroni, Paolo. editor.

(1)

Vallecillo, Antonio. editor.

(1)

Vardanega, Tullio. editor.

(1)

Vasconcelos, Wamberto. editor.

(1)

Visser, Eelco. editor.

(1)

Weyns, Danny. editor.

(1)

Ågotnes, Thomas. editor.

(1)

Subject

Computer science.

(32)

Software engineering.

(28)

Artificial intelligence.

(11)

Information Systems.

(6)

Information systems.

(4)

Computer software.

(3)

Computer simulation.

(2)

Computer system performance.

(2)

Data transmission systems.

(2)

Information storage and retrieval systems.

(2)

Data encryption (Computer science).

(1)

(1)

Data protection.

(1)

Multimedia systems.

(1)

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

32 Results Found

Subscribe to search results

1 2 3

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

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

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:

2.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Author

Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Transactions on High-Performance Embedded Architectures and Compilers III

Transactions on High-Performance Embedded Architectures and Compilers III

Transactions on High-Performance Embedded Architectures and Compilers III

Author

Stenström, Per. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Author

Giannakopoulou, Dimitra. editor. Orejas, Fernando. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers

Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers

Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers

Author

Omicini, Andrea. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

Author

Kraemer, Frank Alexander. editor. Herrmann, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

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

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:

8.

Cover image for Transactions on High-Performance Embedded Architectures and Compilers IV

Transactions on High-Performance Embedded Architectures and Compilers IV

Transactions on High-Performance Embedded Architectures and Compilers IV

Author

Stenström, Per. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Author

Agha, Gul. editor. Danvy, Olivier. editor. Meseguer, José. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings

Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings

Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings

Author

Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Kim, Haeng-kon. editor. Kang, Heau-jo. editor. Kim, Kyung Jung. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings

Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings

Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings

Author

Natarajan, Raja. editor. Ojo, Adegboyega. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers

Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers

Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers

Author

Gleizes, Marie-Pierre. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11