Search Results for Computers.

30 Results Found

1 2 3

000000000000DEFAULT

Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Author

Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71734-0

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05051-1

Format:

Availability

Online Library~1

Available:
Copies:

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

Author

Mishra, Anurag. editor. Basu, Anirban. editor. Tyagi, Vipin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-7656-5

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Association Rule Hiding for Data Mining

Author

Gkoulalas-Divanis, Aris. author. Verykios, Vassilios S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Autonomic Computing and Communications Systems Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers

Autonomic Computing and Communications Systems Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers

Author

Vasilakos, Athanasius V. editor. Beraldi, Roberto. editor. Friedman, Roy. editor. Mamei, Marco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Distributed Intelligent Systems A Coordination Perspective

Author

Bedrouni, Abdellah. author. Mittu, Ranjeev. author. Boukhtouta, A. author. Berger, Jean. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-77702-3

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers

Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers

Author

Vouros, George. editor. Artikis, Alexander. editor. Stathis, Kostas. editor. Pitt, Jeremy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Methods, Models and Tools for Fault Tolerance

Author

Butler, Michael. editor. Jones, Cliff. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings

Author

Papasratorn, Borworn. editor. Chutimaskul, Wichian. editor. Porkaew, Kriengkrai. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Constructing Ambient Intelligence AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers

Author

Mühlhäuser, Max. editor. Ferscha, Alois. editor. Aitenbichler, Erwin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85379-4

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

	{displayName}	{count}
{error}