Search Results for Computer science.

530 Results Found

1 .. 3 4 5 6 7 .. 45

000000000000DEFAULT

49.

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Author

Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-41540-6

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Technology Systems and Management First International Conference, ICTSM 2011, Mumbai, India, February 25-27, 2011. Selected Papers

Technology Systems and Management First International Conference, ICTSM 2011, Mumbai, India, February 25-27, 2011. Selected Papers

Author

Shah, Ketan. editor. Lakshmi Gorty, V. R. editor. Phirke, Ajay. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Power-Aware Computer Systems Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers

Author

Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104218

Format:

Availability

Online Library~1

Available:
Copies:

52.

Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers

Author

Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11574859

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

Author

Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11556930

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for String Processing and Information Retrieval 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024, Proceedings

String Processing and Information Retrieval 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024, Proceedings

Author

Lipták, Zsuzsanna. editor. (orcid)0000-0002-3233-0691 Moura, Edleno. editor. (orcid)0000-0002-7860-9575 Figueroa, Karina. editor. (orcid)0000-0002-4680-5950 Baeza-Yates, Ricardo. editor. (orcid)0000-0003-3208-9778 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72200-4

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Information, Communication and Computing Technology 9th International Conference, ICICCT 2024, New Delhi, India, May 11, 2024, Revised Selected Papers

Information, Communication and Computing Technology 9th International Conference, ICICCT 2024, New Delhi, India, May 11, 2024, Revised Selected Papers

Author

Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771 Martinez Trinidad, Jose Francisco. editor. (orcid)0000-0001-7973-9075 Sheng, Michael. editor. (orcid)0000-0002-3326-4147 Ramachand, Raghavendra. editor. (orcid)0000-0003-0484-3956 Kharb, Latika. editor. (orcid)0000-0002-8549-0920

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72483-1

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Edge Computing - EDGE 2024 8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Edge Computing - EDGE 2024 8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Author

Zeng, Jing. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-77069-2

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Big Data - BigData 2024 13th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Big Data - BigData 2024 13th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Author

Zhang, Yong. editor. Cai, Ting. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-77088-3

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Cognitive Computing - ICCC 2024 8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Cognitive Computing - ICCC 2024 8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Author

Xu, Ruifeng. editor. (orcid)0000-0002-4009-5679 Chen, Huan. editor. Wu, Yirui. editor. (orcid)0000-0003-3022-3718 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-77954-1

Format:

Availability

Online Library~1

Available:
Copies:

59.

Information Systems Security 20th International Conference, ICISS 2024, Jaipur, India, December 16-20, 2024, Proceedings

Author

Patil, Vishwas T. editor. (orcid)0000-0001-7714-2291 Krishnan, Ram. editor. (orcid)0000-0002-7402-553X Shyamasundar, Rudrapatna K. editor. (orcid)0000-0001-6966-0507 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-80020-7

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Haptics: Understanding Touch; Technology and Systems; Applications and Interaction 14th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2024, Lille, France, June 30 - July 3, 2024, Proceedings, Part II

Haptics: Understanding Touch; Technology and Systems; Applications and Interaction 14th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2024, Lille, France, June 30 - July 3, 2024, Proceedings, Part II

Author

Kajimoto, Hiroyuki. editor. (orcid)0000-0002-5088-7397 Lopes, Pedro. editor. (orcid)0000-0001-6527-7084 Pacchierotti, Claudio. editor. (orcid)0000-0002-8006-9168 Basdogan, Cagatay. editor. (orcid)0000-0002-6382-7334 Gori, Monica. editor. (orcid)0000-0002-5616-865X

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70061-3

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 45

	{displayName}	{count}
{error}