Search Results for Computer science.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

971 Results Found

1 .. 3 4 5 6 7 .. 81

000000000000DEFAULT

49.

Cover image for Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-29510-7

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

Author

Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334120.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Author

Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334136.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Author

Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334556.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Transactions on Computational Collective Intelligence X

Author

Nguyen, Ngoc-Thanh. editor. Kołodziej, Joanna. editor. Burczyński, Tadeusz. editor. Biba, Marenglen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334611.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Intelligent Virtual Agents 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings

Author

Aylett, Ruth. editor. Krenn, Brigitte. editor. Pelachaud, Catherine. editor. Shimodaira, Hiroshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334943.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Author

Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332934.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02654-1

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Author

Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334055.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

Author

Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334071.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

Author

Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334099.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

Author

Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.

Preferred Shelf Number

ONLINE(334508.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings

Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings

Author

Demazeau, Yves. editor. Ishida, Toru. editor. Corchado, Juan M. editor. Bajo, Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334528.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 81

	{displayName}	{count}
{error}