Search Results for USA.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Library: Online Library

+

Shelf Location: Electronic Library

+

Subject: Computer science.

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(186)

Stephanidis, Constantine. editor.

(7)

Albada, Geert Dick. editor.

(5)

Sloot, Peter M. A. editor.

(5)

Chapman, Barbara M. editor.

(4)

Dongarra, Jack. editor.

(3)

Havelund, Klaus. editor.

(3)

Kurosu, Masaaki. editor.

(3)

Marcus, Aaron. editor.

(3)

Palsberg, Jens. editor.

(3)

Paschke, Adrian. editor.

(3)

Salvendy, Gavriel. editor.

(3)

Shumaker, Randall. editor.

(3)

Smith, Michael J. editor.

(3)

Stafford, Judith A. editor.

(3)

Sunderam, Vaidy S. editor.

(3)

Wang, Wentao. editor.

(3)

Winikoff, Michael. editor.

(3)

Allen, Gabrielle. editor.

(2)

Antona, Margherita. editor.

(2)

Bernstein, Abraham. editor.

(2)

Blomqvist, Eva. editor.

(2)

Boldyreva, Alexandra. editor.

(2)

Broy, Manfred. editor.

(2)

Chen, Jessie Y.C. editor.

(2)

Crnkovic, Ivica. editor.

(2)

Cudré-Mauroux, Philippe. editor.

(2)

Dastani, Mehdi. editor.

(2)

Dongarra, Jack J. editor.

(2)

Du, Ding-Zhu. editor.

(2)

Euzenat, Jérôme. editor.

(2)

Fallah Seghrouchni, Amal. editor.

(2)

Fantinato, Marcelo. editor.

(2)

Fragomeni, Gino. editor.

(2)

Governatori, Guido. editor.

(2)

Gray, Jeff. editor.

(2)

Hall, John. editor.

(2)

Hauswirth, Manfred. editor.

(2)

Heflin, Jeff. editor.

(2)

Heineman, George T. editor.

(2)

Hendler, Jim. editor.

(2)

Hinchey, Michael G. editor.

(2)

Hofmeister, Christine. editor.

(2)

Joshi, Rajeev. editor.

(2)

Konomi, Shin’ichi. editor.

(2)

Krüger, Ingolf H. editor.

(2)

Logozzo, Francesco. editor.

(2)

Majumdar, Rupak. editor.

(2)

Meisinger, Michael. editor.

(2)

Nabrzyski, Jarosław. editor.

(2)

Padget, Julian. editor.

(2)

Parreira, Josiane Xavier. editor.

(2)

Polleres, Axel. editor.

(2)

Príncipe, José C. editor.

(2)

Roşu, Grigore. editor.

(2)

Schmidt, Heinz W. editor.

(2)

Schreiber, Guus. editor.

(2)

Seidel, Edward. editor.

(2)

Shacham, Hovav. editor.

(2)

Sirin, Evren. editor.

(2)

Streitz, Norbert. editor. (orcid)0000-0002-0244-0945

(2)

Supinski, Bronis R. editor.

(2)

Tudorache, Tania. editor.

(2)

Ahn, Gail-Joon. editor.

(1)

Ahram, Tareq. editor.

(1)

Akyildiz, Ian F. editor.

(1)

Allbeck, Jan. editor.

(1)

Artikis, Alexander. editor.

(1)

Bacon, Jean M. editor.

(1)

Badler, Norman. editor.

(1)

Baldoni, Matteo. editor.

(1)

Ball, Thomas. editor.

(1)

Barker, Steve. editor.

(1)

Bartocci, Ezio. editor.

(1)

Bassiliades, Nick. editor.

(1)

Benatallah, Boualem. editor.

(1)

Beringer, Lennart. editor.

(1)

Bestavros, Azer. editor.

(1)

Bickmore, Timothy. editor.

(1)

Bobaru, Mihaela. editor.

(1)

Boisvert, Ronald F. editor.

(1)

Boldyreff, Cornelia. editor.

(1)

Bonacina, Maria Paola. editor.

(1)

Bordini, Rafael H. editor.

(1)

Brand, Mark. editor.

(1)

Brat, Guillaume. editor.

(1)

Bravetti, Mario. editor.

(1)

Bultan, Tevfik. editor.

(1)

Burmester, Mike. editor.

(1)

Butler, Michael. editor.

(1)

Cabeza, Daniel. editor.

(1)

Cai, Ying. editor.

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Calinescu, Radu. editor.

(1)

Calvert, Kenneth L. editor.

(1)

Campbell, Roy H. editor.

(1)

Castro, Miguel. editor.

(1)

Cerqueira, Renato. editor.

(1)

Chang, Carl K. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Cirne, Walfredo. editor.

(1)

Clarke, Peter. editor.

(1)

Cobb, Jorge. editor.

(1)

Cooper, Brian F. editor.

(1)

Cossentino, Massimo. editor.

(1)

Cusumano, Michael A. editor.

(1)

Dan, Asit. editor.

(1)

Darondeau, Philippe. editor.

(1)

Das, Sajal K. editor.

(1)

Datta, Ajoy K. editor.

(1)

Daydé, Michel. editor.

(1)

Dean, Mike. editor.

(1)

Desai, Narayan. editor.

(1)

Dienstfrey, Andrew M. editor.

(1)

Dignum, Frank. editor.

(1)

Dillig, Isil. editor.

(1)

Dix, Jürgen. editor.

(1)

Dolev, Shlomi. editor.

(1)

Dosch, Walter. editor.

(1)

Dourish, Paul. editor.

(1)

Duale, Ali Y. editor.

(1)

Duffy, Vincent G. editor.

(1)

Dunkels, Adam. editor.

(1)

Dutle, Aaron. editor.

(1)

Edwards, Stephen H. editor.

(1)

Egerstedt, Magnus. editor.

(1)

Eggen, Berry. editor.

(1)

Eigenmann, Rudolf. editor.

(1)

Eijk, Rogier M. editor.

(1)

Ekici, Eylem. editor.

(1)

El Fallah Seghrouchni, Amal. editor.

(1)

Embley, David W. editor.

(1)

Emerson, E. Allen. editor.

(1)

Engels, Gregor. editor.

(1)

Erdogmus, Deniz. editor.

(1)

Erwig, Martin. editor.

(1)

Fecko, Mariusz A. editor.

(1)

Felty, Amy. editor.

(1)

Feuerlicht, George. editor.

(1)

Fischer, Michael. editor.

(1)

Fogg, B. J. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

Friday, Adrian. editor.

(1)

Fuller, Richard. editor.

(1)

Furbach, Ulrich. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Gantenbein, Rex. editor.

(1)

Gašević, Dragan. editor.

(1)

Georgakopoulos, Dimitrios. editor.

(1)

Ghosh, Sudipto. editor.

(1)

Giannelli, Carlo. editor.

(1)

Giese, Holger. editor.

(1)

Gill, Andy. editor.

(1)

Giorgini, Paolo. editor.

(1)

Godefroid, Patrice. editor.

(1)

Godo, Lluís. editor.

(1)

González-Barahona, Jesús M. editor.

(1)

Goodloe, Alwyn E. editor.

(1)

Gopalakrishnan, Ganesh. editor.

(1)

Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682

(1)

Gorton, Ian. editor.

(1)

Gradinariu, Maria. editor.

(1)

Gris, Martin. editor.

(1)

Groce, Alex. editor.

(1)

Gropp, William D. editor.

(1)

Gupta, Aarti. editor.

(1)

Hage, Jurriaan. editor.

(1)

Hamlen, Kevin. editor.

(1)

Hasler, Paul. editor.

(1)

Haykin, Simon. editor.

(1)

Heinzelman, Wendi. editor.

(1)

Helal, Sumi. editor.

(1)

Hentenryck, Pascal. editor.

(1)

Hermenegildo, Manuel V. editor.

(1)

Hespanha, João P. editor.

(1)

Hightower, Jeffrey. editor.

(1)

Holzmann, Gerard J. editor.

(1)

Hong, Jiman. editor.

(1)

Horváth, Zoltán. editor.

(1)

Huang, Elaine M. editor.

(1)

Hudak, Paul. editor.

(1)

Huget, Marc-Philippe. editor.

(1)

Hull, Richard. editor.

(1)

Huynh, Dung T. editor.

(1)

IJsselsteijn, Wijnand. editor.

(1)

Ilić, Ivana. editor.

(1)

Imam, Neena. editor. (orcid)0000-0001-8860-4738

(1)

Inverardi, Paola. editor.

(1)

Iyer, Bala. editor.

(1)

Jackson, Ethan. editor.

(1)

Jain, Hemant. editor.

(1)

Jajodia, Sushil. editor.

(1)

Jazayeri, Mehdi. editor.

(1)

Jhala, Ranjit. editor.

(1)

Jones, Neil D. editor.

(1)

Jones, Robert B. editor.

(1)

Juels, Ari. editor.

(1)

Karwowski, Waldemar. editor.

(1)

Khurshid, Sarfraz. editor.

(1)

Klusáček, Dalibor. editor.

(1)

Language

(186)

Publication Date

-

(26)

(25)

(25)

(21)

(19)

(16)

(16)

(15)

(14)

(9)

Subject

Computer Communication Networks.

(79)

(67)

Artificial intelligence.

(60)

Information systems.

(51)

Computer software.

(33)

Information storage and retrieval systems.

(26)

Computer simulation.

(25)

Information Systems.

(22)

Computer vision.

(18)

(15)

Operating systems (Computers).

(15)

Computer system performance.

(13)

Computer network architectures.

(10)

Database management.

(9)

Information theory.

(9)

Computer graphics.

(8)

Data encryption (Computer science).

(7)

Electronic data processing.

(7)

Logics and Meanings of Programs.

(7)

Data protection.

(6)

Programming Languages, Compilers, Interpreters.

(6)

Telecommunication.

(6)

Computer security.

(5)

Management information systems.

(5)

Multimedia systems.

(5)

Social sciences -- Data processing.

(5)

Artificial Intelligence (incl. Robotics).

(4)

(4)

Mathematical Logic and Formal Languages.

(4)

Optical pattern recognition.

(4)

Programming Techniques.

(4)

Computer science -- Mathematics.

(3)

(3)

Management of Computing and Information Systems.

(3)

Computational complexity.

(2)

Simulation and Modeling.

(2)

Text processing (Computer science.

(2)

Algebra -- Data processing.

(1)

Algorithm Analysis and Problem Complexity.

(1)

Bioinformatics.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Science, general.

(1)

Computer hardware.

(1)

Computer industry.

(1)

(1)

Information Systems Applications (incl. Internet).

(1)

Mathematical statistics.

(1)

Microprogramming.

(1)

Natural language processing (Computer science).

(1)

Operating Systems.

(1)

Software Engineering/Programming and Operating Systems.

(1)

System Performance and Evaluation.

(1)

(1)

Translators (Computer programs).

(1)

Material Type

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

186 Results Found

Subscribe to search results

1 2 3 4 5 .. 16

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III

Author

Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Author

Kurosu, Masaaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91238-7

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Author

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

Author

Klusáček, Dalibor. editor. Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-77398-8

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Author

Ahram, Tareq. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Author

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91803-7

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Author

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91797-9

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

Author

Duffy, Vincent G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91397-1

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Author

Chen, Jessie Y.C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Author

Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01090-4

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

Author

Kurosu, Masaaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91244-8

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Author

Dillig, Isil. editor. Palsberg, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73721-8

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 16

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11