Search Results for Software

1.

Model-Driven Dependability Assessment of Software Systems

Author

Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334812.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Requirements Engineering and Management for Software Development Projects

Author

Chemuturi, Murali. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331756.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-5377-2

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Author

Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334870.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

Author

Kormanyos, Christopher Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333884.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing

Author

Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334079.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

Author

Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334882.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

Author

Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334797.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Autonomic Computing Principles, Design and Implementation

Author

Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331115.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5007-7

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

Author

Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.

Preferred Shelf Number

ONLINE(334328.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Benchmarking Peer-to-Peer Systems Understanding Quality of Service in Large-Scale Distributed Systems

Author

Effelsberg, Wolfgang. editor. Steinmetz, Ralf. editor. Strufe, Thorsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334646.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings

Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings

Author

Ren, Kui. editor. Liu, Xue. editor. Liang, Weifa. editor. Xu, Ming. editor. Jia, Xiaohua. editor.

Preferred Shelf Number

ONLINE(334838.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings

Author

Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.

Preferred Shelf Number

ONLINE(335047.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Author

Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.

Preferred Shelf Number

ONLINE(335120.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II

Author

Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335148.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I

Author

Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335179.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings

Author

Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335181.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers

Author

Yousif, Mazin. editor. Schubert, Lutz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333002.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03874-2

Format:

Availability

Online Library~1

Available:
Copies:

18.

Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings

Author

Demeester, Piet. editor. Moerman, Ingrid. editor. Terzis, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334263.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

Author

Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334274.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

Author

Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334658.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

Author

Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.

Preferred Shelf Number

ONLINE(334682.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings

Author

Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334686.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers

Author

Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334425.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

Author

Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334290.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers

Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers

Author

Manninen, Pekka. editor. Öster, Per. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334296.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings

Author

Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334662.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

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:

28.

Cover image for OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

Author

Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334990.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings

Author

Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334995.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}