Search Results for Computer science.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

530 Results Found

1 .. 3 4 5 6 7 .. 45

000000000000DEFAULT

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-41528-4

Format:

Availability

Online Library~1

Available:
Copies:

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:

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:

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:

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:

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:

Cover image for Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

Author

Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Software and Data Engineering 33rd International Conference, SEDE 2024, San Diego, CA, USA, October 21-22, 2024, Proceedings

Author

Feng, Wenying. editor. Rahimi, Nick. editor. Margapuri, Venkatasivakumar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75201-8

Format:

Availability

Online Library~1

Available:
Copies:

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:

10.

Cover image for Applications and Techniques in Information Security 14th International Conference, ATIS 2024, Tamil Nadu, India, November 22-24, 2024, Proceedings

Applications and Techniques in Information Security 14th International Conference, ATIS 2024, Tamil Nadu, India, November 22-24, 2024, Proceedings

Author

Shankar Sriram, V.S. editor. (orcid)0000-0001-7870-7944 H., Anila Glory. editor. (orcid)0000-0002-0313-6275 Li, Gang. editor. (orcid)0000-0003-1583-641X Pokhrel, Shiva Raj. editor. (orcid)0000-0001-5819-765X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-9743-1

Format:

Availability

Online Library~1

Available:
Copies:

11.