Search Results for Data processing.

19 Results Found

1 2

000000000000DEFAULT

Using Event-B for Critical Device Software Systems

Author

Singh, Neeraj Kumar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331181.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5260-6

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings

Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings

Author

Barratt, Dean. editor. Cotin, Stéphane. editor. Fichtinger, Gabor. editor. Jannin, Pierre. editor. Navab, Nassir. editor.

Preferred Shelf Number

ONLINE(334624.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings

On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings

Author

Demey, Yan Tang. editor. Panetto, Hervé. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335045.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

Author

Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334111.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

Author

Malyshkin, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334871.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings

Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings

Author

Fernández-Izquierdo, María Ángeles. editor. Muñoz-Torres, María Jesús. editor. León, Raúl. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334573.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings

Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings

Author

Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334768.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings

Author

Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335043.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Decision Support Systems II - Recent Developments Applied to DSS Network Environments Euro Working Group Workshop, EWG-DSS 2012, Liverpool, UK, April 12-13, 2012, and Vilnius, Lithuania, July 8-11, 2012, Revised Selected and Extended Papers

Decision Support Systems II - Recent Developments Applied to DSS Network Environments Euro Working Group Workshop, EWG-DSS 2012, Liverpool, UK, April 12-13, 2012, and Vilnius, Lithuania, July 8-11, 2012, Revised Selected and Extended Papers

Author

Hernández, Jorge E. editor. Liu, Shaofeng. editor. Delibašić, Boris. editor. Zaraté, Pascale. editor. Dargam, Fátima. editor.

Preferred Shelf Number

ONLINE(335053.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Human Aspects in Ambient Intelligence Contemporary Challenges and Solutions

Author

Bosse, Tibor. editor. Cook, Diane J. editor. Neerincx, Mark. editor. Sadri, Fariba. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336488.1)

Electronic Access

http://dx.doi.org/10.2991/978-94-6239-018-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Advanced Computing

Author

Bader, Michael. editor. Bungartz, Hans-Joachim. editor. Weinzierl, Tobias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334664.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

Author

Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334727.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}