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:

+

Konu: Software engineering.

Author

SpringerLink (Online service)

(233)

Stephanidis, Constantine. editor.

(9)

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

(8)

Boldyreva, Alexandra. editor.

(6)

Kurosu, Masaaki. editor.

(6)

Albada, Geert Dick. editor.

(5)

Marcus, Aaron. editor.

(5)

Sloot, Peter M. A. editor.

(5)

Wang, Wentao. editor.

(5)

Chapman, Barbara M. editor.

(4)

Antona, Margherita. editor.

(3)

Dillig, Isil. editor.

(3)

Dongarra, Jack. editor.

(3)

Havelund, Klaus. editor.

(3)

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

(3)

Palsberg, Jens. editor.

(3)

Paschke, Adrian. editor.

(3)

Salvendy, Gavriel. editor.

(3)

Shacham, Hovav. editor.

(3)

Shumaker, Randall. editor.

(3)

Smith, Michael J. editor.

(3)

Stafford, Judith A. editor.

(3)

Sunderam, Vaidy S. editor.

(3)

Winikoff, Michael. editor.

(3)

Allen, Gabrielle. editor.

(2)

Badger, Julia M. editor.

(2)

Bernstein, Abraham. editor.

(2)

Blomqvist, Eva. editor.

(2)

Broy, Manfred. editor.

(2)

Chen, Jessie Y.C. editor.

(2)

Cirne, Walfredo. editor.

(2)

Crnkovic, Ivica. editor.

(2)

Cudré-Mauroux, Philippe. editor.

(2)

Dastani, Mehdi. editor.

(2)

Desai, Narayan. 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)

Georgakopoulos, Dimitrios. editor.

(2)

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

(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)

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

(2)

Joshi, Rajeev. editor.

(2)

Konomi, Shin’ichi. editor.

(2)

Krüger, Ingolf H. editor.

(2)

Logozzo, Francesco. editor.

(2)

Majumdar, Rupak. editor.

(2)

Malony, Allen D. editor.

(2)

Meisinger, Michael. editor.

(2)

Nabrzyski, Jarosław. editor.

(2)

Padget, Julian. editor.

(2)

Parreira, Josiane Xavier. editor.

(2)

Polleres, Axel. editor.

(2)

Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367

(2)

Príncipe, José C. editor.

(2)

Purao, Sandeep. editor.

(2)

Roşu, Grigore. editor.

(2)

Rybalchenko, Andrey. editor.

(2)

Schmidt, Heinz W. editor.

(2)

Schreiber, Guus. editor.

(2)

Seidel, Edward. editor.

(2)

Sirin, Evren. editor.

(2)

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

(2)

Supinski, Bronis R. editor.

(2)

Tasiran, Serdar. editor.

(2)

Tudorache, Tania. editor.

(2)

Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493

(1)

Ahn, Gail-Joon. editor.

(1)

Ahram, Tareq. editor.

(1)

Aiello, Marco. editor.

(1)

Akyildiz, Ian F. editor.

(1)

Allbeck, Jan. editor.

(1)

Ampatzoglou, Apostolos. editor.

(1)

Artikis, Alexander. editor.

(1)

Bacon, Jean M. 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)

Barker, Steve. editor.

(1)

Bartocci, Ezio. editor.

(1)

Bassiliades, Nick. editor.

(1)

Bebis, George. editor.

(1)

Benatallah, Boualem. editor.

(1)

Benos, Takis. editor.

(1)

Beringer, Lennart. editor.

(1)

Bertino, Elisa. editor. (orcid)0000-0002-4029-7051

(1)

Bestavros, Azer. editor.

(1)

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701

(1)

Bhowmik, Tanmay. editor.

(1)

Bickmore, Timothy. editor.

(1)

Bisgin, Halil. editor.

(1)

Bobaru, Mihaela. editor.

(1)

Boehme, David. 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)

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

(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)

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

(1)

Chen, Ken. editor.

(1)

Chen, Xiangang. editor.

(1)

Chin, Francis Y. L. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Clarke, Peter. editor.

(1)

Cobb, Jorge. editor.

(1)

Cohen, Ernie. editor.

(1)

Cooper, Brian F. editor.

(1)

Cossentino, Massimo. editor.

(1)

Cusumano, Michael A. editor.

(1)

Da Silva, Dilma. editor.

(1)

Dan, Asit. editor.

(1)

Dancy, Christopher. editor.

(1)

Darondeau, Philippe. editor.

(1)

Das, Sajal K. editor.

(1)

Datta, Ajoy K. editor.

(1)

Daydé, Michel. editor.

(1)

Dean, Mike. editor.

(1)

Dico, Awel. editor.

(1)

Dienstfrey, Andrew M. editor.

(1)

Dignum, Frank. editor.

(1)

Dix, Jürgen. editor.

(1)

Dobbie, Gillian. editor. (orcid)0000-0001-7245-0367

(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)

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

(1)

Feuerlicht, George. editor.

(1)

Fidopiastis, Cali M. editor.

(1)

Fischer, Michael. editor.

(1)

Fogg, B. J. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713

(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)

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)

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)

Language

(233)

Publication Date

-

(37)

(27)

(26)

(25)

(21)

(19)

(16)

(16)

(15)

(14)

(9)

(8)

Subject

Computer science.

(186)

Artificial intelligence.

(84)

Computer Communication Networks.

(83)

(72)

Information systems.

(55)

Computer software.

(34)

Computer simulation.

(30)

Information storage and retrieval systems.

(26)

Information Systems.

(23)

Operating systems (Computers).

(20)

Computer vision.

(18)

Computer system performance.

(16)

Data encryption (Computer science).

(15)

(15)

Computer network architectures.

(14)

Database management.

(12)

(11)

(11)

Information theory.

(11)

Application software.

(10)

Computer communication systems.

(9)

Computer graphics.

(9)

Data protection.

(9)

User interfaces (Computer systems).

(9)

Computer logic.

(8)

Computer security.

(8)

Electronic data processing.

(7)

Logics and Meanings of Programs.

(7)

Optical data processing.

(7)

Programming languages (Electronic computers).

(7)

Social sciences -- Data processing.

(7)

Programming Languages, Compilers, Interpreters.

(6)

Telecommunication.

(6)

Management information systems.

(5)

Multimedia systems.

(5)

Artificial Intelligence (incl. Robotics).

(4)

Computer organization.

(4)

Computers and civilization.

(4)

Mathematical Logic and Formal Languages.

(4)

Optical pattern recognition.

(4)

Programming Techniques.

(4)

Computational complexity.

(3)

Computer programming.

(3)

Computer science -- Mathematics.

(3)

(3)

Management of Computing and Information Systems.

(3)

Business—Data processing.

(2)

Data structures (Computer scienc.

(2)

Information technology.

(2)

Mathematical logic.

(2)

Natural language processing (Computer science).

(2)

Simulation and Modeling.

(2)

Text processing (Computer science.

(2)

Algebra -- Data processing.

(1)

Algorithm Analysis and Problem Complexity.

(1)

(1)

(1)

Bioinformatics.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Science, general.

(1)

Computer hardware.

(1)

Computer industry.

(1)

Computer science—Mathematics.

(1)

Computer system failures.

(1)

Data transmission systems.

(1)

(1)

Information Systems Applications (incl. Internet).

(1)

Law and legislation.

(1)

Mathematical statistics.

(1)

Microprocessors.

(1)

Microprogramming.

(1)

Operating Systems.

(1)

Pattern recognition.

(1)

(1)

Software Engineering/Programming and Operating Systems.

(1)

Special purpose computers.

(1)

System Performance and Evaluation.

(1)

(1)

Translators (Computer programs).

(1)

Material Type

Shelf Location

Electronic Library

Library

{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

233 Results Found

Subscribe to search results

1 2 3 4 5 .. 20

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 Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Author

Da Silva, Dilma. editor. Wang, Qingyang. editor. (orcid)0000-0002-5729-2898 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-030-23502-4

Format:

Availability

Online Library~1

Available:
Copies:

2.

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:

3.

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:

4.

Cover image for Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers

Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers

Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers

Author

Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713 Ma, Kwan-Liu. editor. (orcid)0000-0001-8086-0366 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

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:

6.

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:

7.

Cover image for Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

Author

Thomson, Robert. editor. Dancy, Christopher. editor. Hyder, Ayaz. editor. Bisgin, Halil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Author

Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-77935-5

Format:

Availability

Online Library~1

Available:
Copies:

9.

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:

10.

Cover image for Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Author

Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Author

Aiello, Marco. editor. Yang, Yujiu. editor. Zou, Yuexian. 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-319-94361-9

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Internet of Things – ICIOT 2018 Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Internet of Things – ICIOT 2018 Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Internet of Things – ICIOT 2018 Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Author

Georgakopoulos, Dimitrios. 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-319-94370-1

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 20

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11