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: Artificial intelligence.

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(84)

Kurosu, Masaaki. editor.

(6)

Stephanidis, Constantine. editor.

(5)

Boldyreva, Alexandra. editor.

(4)

Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985

(3)

Shumaker, Randall. editor.

(3)

Winikoff, Michael. editor.

(3)

Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

(3)

Antona, Margherita. editor.

(2)

Bernstein, Abraham. editor.

(2)

Blomqvist, Eva. editor.

(2)

Cudré-Mauroux, Philippe. editor.

(2)

Dastani, Mehdi. editor.

(2)

Euzenat, Jérôme. editor.

(2)

Fallah Seghrouchni, Amal. editor.

(2)

Hauswirth, Manfred. editor.

(2)

Heflin, Jeff. editor.

(2)

Hendler, Jim. editor.

(2)

Konomi, Shin’ichi. editor.

(2)

Padget, Julian. editor.

(2)

Parreira, Josiane Xavier. editor.

(2)

Schreiber, Guus. editor.

(2)

Sirin, Evren. editor.

(2)

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

(2)

Tudorache, Tania. editor.

(2)

Aiello, Marco. editor.

(1)

Allbeck, Jan. editor.

(1)

Ampatzoglou, Apostolos. editor.

(1)

Artikis, Alexander. editor.

(1)

Badler, Norman. editor.

(1)

Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537

(1)

Baldoni, Matteo. editor.

(1)

Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054

(1)

Ball, Thomas. editor.

(1)

Bebis, George. editor.

(1)

Benos, Takis. editor.

(1)

Beringer, Lennart. editor.

(1)

Bhowmik, Tanmay. editor.

(1)

Bickmore, Timothy. editor.

(1)

Bisgin, Halil. editor.

(1)

Bonacina, Maria Paola. editor.

(1)

Bordini, Rafael H. editor.

(1)

Breitinger, Frank. editor. (orcid)0000-0001-5261-4600

(1)

Cai, Ying. editor.

(1)

Calinescu, Radu. editor.

(1)

Chen, C. L. Philip. editor. (orcid)0000-0001-5451-7230

(1)

Chen, Ken. editor.

(1)

Chin, Francis Y. L. editor.

(1)

Cohen, Ernie. editor.

(1)

Cossentino, Massimo. editor.

(1)

Dancy, Christopher. editor.

(1)

Dean, Mike. editor.

(1)

Dignum, Frank. editor.

(1)

Dillig, Isil. editor.

(1)

Dix, Jürgen. editor.

(1)

Dosch, Walter. editor.

(1)

Duffy, Vincent G. editor.

(1)

Dutle, Aaron. editor.

(1)

Eggen, Berry. editor.

(1)

Eijk, Rogier M. editor.

(1)

El Fallah Seghrouchni, Amal. editor.

(1)

Embley, David W. editor.

(1)

Erwig, Martin. editor.

(1)

Felty, Amy. editor.

(1)

Ferreira, João Eduardo. editor. (orcid)0000-0001-9607-2014

(1)

Fogg, B. J. editor.

(1)

Furbach, Ulrich. editor.

(1)

Giannelli, Carlo. editor.

(1)

Giorgini, Paolo. editor.

(1)

Godo, Lluís. editor.

(1)

Gopalakrishnan, Ganesh. editor.

(1)

Gris, Martin. editor.

(1)

Gupta, Aarti. editor.

(1)

Hall, John. editor.

(1)

Hinchey, Michael G. editor.

(1)

Huget, Marc-Philippe. editor.

(1)

Hyder, Ayaz. editor.

(1)

IJsselsteijn, Wijnand. editor.

(1)

Jackson, Ethan. editor.

(1)

Jahn, Katharina. editor.

(1)

Jain, Hemant. editor.

(1)

Jones, Robert B. editor.

(1)

Joshi, Rajeev. editor.

(1)

Khan, Latifur. editor.

(1)

Kort, Yvonne. editor.

(1)

Kuechler, Bill. editor.

(1)

Launchbury, John. editor.

(1)

Lee, Kisung. editor. (orcid)0000-0003-4367-4374

(1)

Lee, Roger Y. editor.

(1)

Leite, João. editor.

(1)

Li, Minglu. editor.

(1)

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X

(1)

Lima, Ernesto. editor.

(1)

Liu, Peng. editor.

(1)

Liu, Yan. editor.

(1)

Luck, Michael. editor.

(1)

Lynch, Nancy A. editor.

(1)

Lévy, François. editor.

(1)

Ma, Yutao. editor.

(1)

Madhusudan, P. editor.

(1)

Magedanz, Thomas. editor.

(1)

Malik, Sharad. editor.

(1)

Matson, Eric. editor.

(1)

Matsui, Mitsuru. editor.

(1)

Mauw, Sjouke. editor.

(1)

McMillan, Kenneth. editor.

(1)

Meseguer, José. editor.

(1)

Meyden, Ron. editor.

(1)

Midden, Cees. editor.

(1)

Miikkulainen, Risto. editor.

(1)

Montanari, Rebecca. editor.

(1)

Morazán, Marco T. editor.

(1)

Morgenstern, Leora. editor.

(1)

Mori, Hirohiko. editor.

(1)

Muñoz, César. editor.

(1)

Müller, Jörg P. editor.

(1)

Müller, Peter. editor.

(1)

Nahapetian, Ani. editor.

(1)

Nakano, Tadashi. editor.

(1)

Narkawicz, Anthony. editor.

(1)

Noriega, Pablo. editor.

(1)

Odell, James. editor.

(1)

Olivé, Antoni. editor.

(1)

Olken, Frank. editor.

(1)

Omicini, Andrea. editor.

(1)

Ossowski, Sascha. editor.

(1)

Padgham, Lin. editor.

(1)

Paige, Richard F. editor.

(1)

Palmirani, Monica. editor.

(1)

Paschke, Adrian. editor.

(1)

Peffers, Ken. editor.

(1)

Pelachaud, Catherine. editor.

(1)

Peng, Xin. editor.

(1)

Phan, Thomas. editor.

(1)

Podelski, Andreas. editor.

(1)

Polleres, Axel. editor.

(1)

Príncipe, José C. editor.

(1)

Pugliese, Andrea. editor.

(1)

Qadeer, Shaz. editor.

(1)

Rago, Patricia. editor.

(1)

Ram, Sudha. editor.

(1)

Rash, James L. editor.

(1)

Ricci, Alessandro. editor.

(1)

Riemsdijk, M. Birna. editor.

(1)

Rival, Xavier. editor.

(1)

Rocha, Ricardo. editor.

(1)

Rothenberger, Marcus. editor.

(1)

Rotolo, Antonino. editor.

(1)

Rouff, Christopher A. editor.

(1)

Roşu, Grigore. editor.

(1)

Russo, Claudio. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Safonova, Alla. editor.

(1)

Schaefer, Ina. editor.

(1)

Scholz, Sven-Bodo. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Shacham, Hovav. editor.

(1)

Shankar, Natarajan. editor.

(1)

Shvartsman, Alexander A. editor.

(1)

Sichman, Jaime Simão. editor.

(1)

Silva, Viviane Torres. editor.

(1)

Sinha, Atish P. editor.

(1)

Smaus, Jan-Georg. editor.

(1)

Son, Tran Cao. editor.

(1)

Sottara, Davide. editor.

(1)

Spanoudakis, George. editor.

(1)

Stamelos, Ioannis. editor.

(1)

Stathis, Kostas. editor.

(1)

Stefaneas, Petros. editor.

(1)

Sterritt, Roy. editor.

(1)

Stolen, Ketil. editor.

(1)

Suzuki, Junichi. editor.

(1)

Tabet, Said. editor.

(1)

Tasiran, Serdar. editor.

(1)

Thachuk, Chris. editor.

(1)

Thomson, Robert. editor.

(1)

Torroni, Paolo. editor.

(1)

Truszkowski, Walt. editor.

(1)

Vasconcelos, Wamberto. editor.

(1)

Vitharana, Padmal. editor.

(1)

Wilkiewicz, Jarek. editor.

(1)

Woltran, Stefan. editor. (orcid)0000-0003-1594-8972

(1)

Wu, Chisu. editor.

(1)

Wyk, Eric. editor.

(1)

Wyner, Adam. editor.

(1)

Xia, Jinchun. editor.

(1)

Yamamoto, Sakae. editor.

(1)

Yang, Guang. editor.

(1)

Yang, Yujiu. editor.

(1)

Yolum, pInar. editor.

(1)

Zamani, Majid. editor.

(1)

Zerfos, Petros. editor.

(1)

Zhang, Joy Ying. editor.

(1)

Zhou, Neng-Fa. editor.

(1)

Zou, Yuexian. editor.

(1)

Zufferey, Damien. editor. (orcid)0000-0002-3197-8736

(1)

Language

(84)

Publication Date

-

(16)

(15)

(11)

(10)

(6)

(6)

(5)

(4)

(4)

(3)

(3)

(1)

Subject

Computer science.

(60)

Computer Communication Networks.

(34)

(22)

Information systems.

(17)

Information storage and retrieval systems.

(12)

Computer logic.

(7)

(7)

Computer vision.

(6)

(6)

Application software.

(5)

Computer network architectures.

(5)

Data encryption (Computer science).

(5)

Database management.

(5)

Optical data processing.

(5)

User interfaces (Computer systems).

(5)

Artificial Intelligence (incl. Robotics).

(4)

(4)

Computer security.

(4)

Computer simulation.

(4)

Computer software.

(4)

Computers and civilization.

(4)

Computer graphics.

(3)

Computer system performance.

(3)

Multimedia systems.

(3)

Social sciences -- Data processing.

(3)

Computer communication systems.

(2)

Computer programming.

(2)

Data protection.

(2)

Information Systems.

(2)

Information theory.

(2)

Logics and Meanings of Programs.

(2)

Mathematical Logic and Formal Languages.

(2)

Mathematical logic.

(2)

Natural language processing (Computer science).

(2)

Programming languages (Electronic computers).

(2)

Text processing (Computer science.

(2)

Algebra -- Data processing.

(1)

Algorithm Analysis and Problem Complexity.

(1)

(1)

Bioinformatics.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Science, general.

(1)

Computer hardware.

(1)

Computer science—Mathematics.

(1)

Data structures (Computer scienc.

(1)

Data transmission systems.

(1)

Electronic data processing.

(1)

Information Systems Applications (incl. Internet).

(1)

Management of Computing and Information Systems.

(1)

Optical pattern recognition.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Programming Techniques.

(1)

Simulation and Modeling.

(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

84 Results Found

Subscribe to search results

1 2 3 4 5 .. 7

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 Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

Author

Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-20528-7

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Author

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-25543-5

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings

Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings

Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings

Author

Bebis, George. editor. Benos, Takis. editor. Chen, Ken. editor. Jahn, Katharina. editor. Lima, Ernesto. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35210-3

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Author

Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28423-7

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III

Author

Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-26954-8

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II

Author

Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-26951-7

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I

Author

Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-26948-7

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings

Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings

Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings

Author

Matsui, Mitsuru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Author

Antona, Margherita. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

Author

Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-26807-7

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Human-Computer Interaction. Perspectives on Design Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Human-Computer Interaction. Perspectives on Design Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Human-Computer Interaction. Perspectives on Design Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Author

Kurosu, Masaaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22646-6

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

Author

Kurosu, Masaaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22636-7

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 7

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11