Search Results for USA.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer science.

Author

SpringerLink (Online service)

(608)

Stephanidis, Constantine. editor.

(20)

Bebis, George. editor.

(14)

Boyle, Richard. editor.

(14)

Koracin, Darko. editor.

(14)

Parvin, Bahram. editor.

(14)

Kurosu, Masaaki. editor.

(10)

Shenoi, Sujeet. editor.

(10)

Marcus, Aaron. editor.

(9)

Jacko, Julie A. editor.

(8)

Jansen, Klaus. editor.

(7)

Salvendy, Gavriel. editor.

(6)

Albada, Geert Dick. editor.

(5)

Antona, Margherita. editor.

(5)

Duffy, Vincent G. editor.

(5)

Harris, Don. editor.

(5)

Rolim, José D. P. editor.

(5)

Schmorrow, Dylan D. editor.

(5)

Shumaker, Randall. editor.

(5)

Sloot, Peter M. A. editor.

(5)

Yamamoto, Sakae. editor.

(5)

Zaphiris, Panayiotis. editor.

(5)

Ahram, Tareq. editor.

(4)

Butts, Jonathan. editor.

(4)

Canetti, Ran. editor.

(4)

Chapman, Barbara M. editor.

(4)

Chen, Hsinchun. editor.

(4)

Du, Ding-Zhu. editor.

(4)

Fidopiastis, Cali M. editor.

(4)

Malzbender, Tom. editor.

(4)

Mobasher, Bamshad. editor.

(4)

Măndoiu, Ion. editor.

(4)

Nasraoui, Olfa. editor.

(4)

Nerode, Anil. editor.

(4)

Perner, Petra. editor.

(4)

Remagnino, Paolo. editor.

(4)

Schwiegelshohn, Uwe. editor.

(4)

Smith, Michael J. editor.

(4)

Winikoff, Michael. editor.

(4)

Yung, Moti. editor.

(4)

Artemov, Sergei. editor.

(3)

Avila, Lisa. editor.

(3)

Axel, Leon. editor.

(3)

Barneva, Reneta P. editor.

(3)

Bernstein, Abraham. editor.

(3)

Brimkov, Valentin E. editor.

(3)

Chung, Ronald. editor.

(3)

Crawfis, Roger. editor.

(3)

Dongarra, Jack. editor.

(3)

Ferrari, Elena. editor.

(3)

Frachtenberg, Eitan. editor.

(3)

Havelund, Klaus. editor.

(3)

Hussain, Muhammad. editor.

(3)

Kao, David. editor.

(3)

Kar-Han, Tan. editor.

(3)

Masand, Brij. editor.

(3)

Moreau, Luc. editor.

(3)

Mostow, Jack. editor.

(3)

Ozok, A. Ant. editor.

(3)

Palsberg, Jens. editor.

(3)

Paschke, Adrian. editor.

(3)

Peterson, Gilbert. editor.

(3)

Rau, P. L. Patrick. editor.

(3)

Shacham, Hovav. editor.

(3)

Shehory, Onn. editor.

(3)

Spiliopoulou, Myra. editor.

(3)

Stafford, Judith A. editor.

(3)

Sunderam, Vaidy S. editor.

(3)

Thalmann, Daniel. editor.

(3)

Wang, Wentao. editor.

(3)

Zelikovsky, Alexander. editor.

(3)

Aleven, Vincent. editor.

(2)

Ali, Moonis. editor.

(2)

Allen, Gabrielle. editor.

(2)

Arns, Laura. editor.

(2)

Aspnes, James. editor.

(2)

Atzmueller, Martin. editor.

(2)

Bacardit, Jaume. editor.

(2)

Benes, Bedrich. editor.

(2)

Bergamaschi, Sonia. editor.

(2)

Bernadó-Mansilla, Ester. editor.

(2)

Bertino, Elisa. editor.

(2)

Blomqvist, Eva. editor.

(2)

Boldyreva, Alexandra. editor.

(2)

Bonato, Anthony. editor.

(2)

Bonchi, Francesco. editor.

(2)

Bontcheva, Kalina. editor.

(2)

Borst, Christoph. editor.

(2)

Broy, Manfred. editor.

(2)

Butz, Martin V. editor.

(2)

Celino, Irene. editor. (orcid)0000-0001-9962-7193

(2)

Chai, Sun-Ki. editor.

(2)

Chen, Jessie Y.C. editor.

(2)

Chin, Alvin. editor.

(2)

Christensen, Gary E. editor.

(2)

Chun, Yu Ka. editor.

(2)

Coming, Daniel. editor.

(2)

Coquillart, Sabine. editor.

(2)

Crnkovic, Ivica. editor.

(2)

Cruz-Neira, Carolina. editor.

(2)

Cudré-Mauroux, Philippe. editor.

(2)

Daescu, Ovidiu. editor.

(2)

Das, Sajal K. editor.

(2)

Das, Sanmay. editor.

(2)

Dastani, Mehdi. editor.

(2)

David, Esther. editor.

(2)

DeGross, Janice I. editor.

(2)

Dean, Mike. editor.

(2)

DiVerdi, Stephen. editor.

(2)

Dix, Jürgen. editor.

(2)

Dongarra, Jack J. editor.

(2)

Duncan, James S. editor.

(2)

D’Mello, Sidney. editor.

(2)

Eigenmann, Rudolf. editor.

(2)

Encarnação, Miguel L. editor.

(2)

Eskin, Eleazar. editor.

(2)

Euzenat, Jérôme. editor.

(2)

Falcão, Christianne. editor.

(2)

Fallah Seghrouchni, Amal. editor.

(2)

Falsafi, Babak. editor.

(2)

Fantinato, Marcelo. editor.

(2)

Fichtinger, Gabor. editor.

(2)

Fragomeni, Gino. editor.

(2)

Garay, Juan A. editor.

(2)

Gerig, Guido. editor.

(2)

Gill, Andy. editor.

(2)

Giorgini, Paolo. editor.

(2)

Golomb, Solomon W. editor.

(2)

Goodchild, Michael F. editor.

(2)

Governatori, Guido. editor.

(2)

Graesser, Arthur. editor.

(2)

Gray, Jeff. editor.

(2)

Greenberg, Ariel M. editor.

(2)

Halevi, Shai. editor.

(2)

Hall, John. editor.

(2)

Hammound, Riad. editor.

(2)

Hauptman, Herbert A. editor.

(2)

Hauswirth, Manfred. editor.

(2)

Heflin, Jeff. editor.

(2)

Heineman, George T. editor.

(2)

Helic, Denis. editor.

(2)

Hendler, Jim. editor.

(2)

Hinchey, Michael G. editor.

(2)

Hinkenjann, André. editor.

(2)

Hofmeister, Christine. editor.

(2)

Hotho, Andreas. editor.

(2)

Ibarra, Oscar H. editor.

(2)

Ideker, Trey. editor.

(2)

Ioannou, Andri. editor. (orcid)0000-0002-3570-6578

(2)

Joshi, Rajeev. editor.

(2)

Ju, Tao. editor.

(2)

Kaffee, Lucie-Aimée. editor. (orcid)0000-0002-1514-8505

(2)

Karwowski, Waldemar. editor.

(2)

Kay, Judy. editor.

(2)

Keromytis, Angelos. editor.

(2)

Kiayias, Aggelos. editor.

(2)

Kiritsis, Dimitris. editor.

(2)

Klosowski, James. editor.

(2)

Konomi, Shin’ichi. editor.

(2)

Krüger, Ingolf H. editor.

(2)

Kuno, Yoshinori. editor.

(2)

Kyungnam, Kim. editor.

(2)

Leite, João. editor.

(2)

Li, Ninghui. editor.

(2)

Lindstrom, Peter. editor.

(2)

Liu, Zicheng. editor.

(2)

Lober, Bill. editor.

(2)

Logozzo, Francesco. editor.

(2)

Lyytinen, Kalle. editor.

(2)

Majumdar, Rupak. editor.

(2)

Malin, Bradley. editor.

(2)

Malkin, Tal. editor.

(2)

Martin, Jean-Claude. editor.

(2)

Matson, Eric. editor.

(2)

Meenakshisundaram, Gopi. editor.

(2)

Mehrotra, Kishan G. editor.

(2)

Meiselwitz, Gabriele. editor.

(2)

Meisinger, Michael. editor.

(2)

Menezes, Alfred. editor.

(2)

Metaxas, Dimitris. editor.

(2)

Ming, Jiang. editor.

(2)

Mohan, Chilukuri K. editor.

(2)

Molineros, Jose. editor.

(2)

Monroe, Laura. editor.

(2)

Moreland, Kenneth. editor.

(2)

Mori, Hirohiko. editor.

(2)

Moro, Gianluca. editor.

(2)

Müller, Torsten. editor.

(2)

Nabrzyski, Jarosław. editor.

(2)

Nefian, Ara. editor.

(2)

Oh, Jae C. editor.

(2)

Padget, Julian. editor.

(2)

Pajarola, Renato. editor.

(2)

Paragios, Nikos. editor.

(2)

Parreira, Josiane Xavier. editor.

(2)

Pascucci, Valerio. editor.

(2)

Peters, Jörg. editor.

(2)

Pfeifer, Tom. editor.

(2)

Polleres, Axel. editor.

(2)

Porikli, Fatih. editor.

(2)

Language

(607)

(1)

Publication Date

-

(79)

(78)

(74)

(70)

(59)

(58)

(50)

(48)

(47)

(39)

(6)

Subject

Computer Communication Networks.

(205)

Artificial intelligence.

(199)

Software engineering.

(186)

Information systems.

(163)

Computer software.

(153)

Information storage and retrieval systems.

(112)

Computer vision.

(92)

(88)

(87)

Computational complexity.

(85)

Information Systems.

(63)

Data encryption (Computer science).

(62)

Optical pattern recognition.

(61)

Database management.

(59)

Computer graphics.

(57)

Data protection.

(50)

Computer simulation.

(44)

Data structures (Computer science).

(43)

Bioinformatics.

(40)

Operating systems (Computers).

(39)

Multimedia systems.

(36)

User Interfaces and Human Computer Interaction.

(33)

Electronic data processing.

(32)

(30)

Computer network architectures.

(26)

Information Storage and Retrieval.

(26)

Information Systems Applications (incl. Internet).

(26)

Management information systems.

(25)

Social sciences -- Data processing.

(25)

Medical records -- Data processing.

(22)

(21)

Computer Applications.

(19)

Computer system performance.

(19)

Computers and Society.

(18)

Algorithm Analysis and Problem Complexity.

(17)

Artificial Intelligence (incl. Robotics).

(16)

(16)

Computer security.

(15)

Algebra -- Data processing.

(14)

Computers -- Law and legislation.

(14)

Information theory.

(13)

Radiology, Medical.

(13)

Telecommunication.

(13)

Computers and Education.

(12)

Data Mining and Knowledge Discovery.

(11)

Systems and Data Security.

(11)

Biology -- Data processing.

(10)

Management of Computing and Information Systems.

(10)

(9)

Discrete Mathematics in Computer Science.

(9)

Models and Principles.

(9)

Translators (Computer programs).

(9)

Data Encryption.

(8)

Health Informatics.

(8)

Logics and Meanings of Programs.

(8)

Programming Languages, Compilers, Interpreters.

(8)

Computer Science, general.

(7)

Computer hardware.

(6)

Engineering design.

(6)

(5)

Image Processing and Computer Vision.

(5)

Mathematical Logic and Formal Languages.

(5)

Programming Techniques.

(5)

(5)

Text processing (Computer science.

(5)

(4)

Logic, Symbolic and mathematical.

(4)

Pattern Recognition.

(4)

Simulation and Modeling.

(4)

e-Commerce/e-business.

(4)

(3)

Computation by Abstract Devices.

(3)

Computational Biology/Bioinformatics.

(3)

Computer Appl. in Administrative Data Processing.

(3)

Computer Systems Organization and Communication Networks.

(3)

Computer industry.

(3)

Computer science -- Mathematics.

(3)

Data Structures.

(3)

Multimedia Information Systems.

(3)

Natural language processing (Computer science).

(3)

Architectural design.

(2)

Biomedical engineering.

(2)

Business Information Systems.

(2)

(2)

(2)

Computer aided design.

(2)

Computer communication systems.

(2)

Computer engineering.

(2)

Computer-Aided Engineering (CAD, CAE) and Design.

(2)

Electronic commerce.

(2)

Geographical information systems.

(2)

(2)

(2)

Medicine, Industrial.

(2)

Microprogramming.

(2)

Numeric Computing.

(2)

Operating Systems.

(2)

Probability and Statistics in Computer Science.

(2)

Psychology, Experimental.

(2)

(2)

Theory of Computation.

(2)

Application software.

(1)

Applied psychology.

(1)

Arithmetic and Logic Structures.

(1)

Coding and Information Theory.

(1)

Complex Systems.

(1)

Computational linguistics.

(1)

Computer Appl. in Life Sciences.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer System Implementation.

(1)

Computer crimes.

(1)

Computer system failures.

(1)

Computers and civilization.

(1)

(1)

Computing Methodologies.

(1)

Computing Milieux.

(1)

Data structures (Computer scienc.

(1)

Discrete groups.

(1)

Education -- Psychology.

(1)

Educational Technology.

(1)

Education—Data processing.

(1)

(1)

(1)

Engineering economy.

(1)

Game Theory, Economics, Social and Behav. Sciences.

(1)

(1)

(1)

(1)

Imaging / Radiology.

(1)

Indo-Iranian philology.

(1)

Industrial engineering.

(1)

Industrial management.

(1)

Law and legislation.

(1)

Legal Aspects of Computing.

(1)

(1)

Math Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical geography.

(1)

Mathematical statistics.

(1)

Mathematics of Computing.

(1)

(1)

Memory management (Computer science).

(1)

(1)

(1)

(1)

Operations Research, Management Science.

(1)

Operations research.

(1)

Optical data processing.

(1)

Pattern recognition.

(1)

Pedagogic Psychology.

(1)

Physical geography.

(1)

Psychology, Applied.

(1)

Service industries.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Sports-Psychological aspects.

(1)

Sports-Sociological aspects.

(1)

Sustainable architecture.

(1)

Symbolic and Algebraic Manipulation.

(1)

System Performance and Evaluation.

(1)

Traffic Engineering.

(1)

Urban economics.

(1)

User interfaces (Computer systems).

(1)

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

608 Results Found

Subscribe to search results

1 2 3 4 5 .. 51

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 Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Author

Streitz, Norbert. editor. (orcid)0000-0002-0244-0945 Konomi, Shin’ichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Advances in Human Factors in Sports, Injury Prevention and Outdoor Recreation Proceedings of the AHFE 2017 International Conference on Human Factors in Sports, Injury Prevention and Outdoor Recreation, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Advances in Human Factors in Sports, Injury Prevention and Outdoor Recreation Proceedings of the AHFE 2017 International Conference on Human Factors in Sports, Injury Prevention and Outdoor Recreation, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Advances in Human Factors in Sports, Injury Prevention and Outdoor Recreation Proceedings of the AHFE 2017 International Conference on Human Factors in Sports, Injury Prevention and Outdoor Recreation, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Author

Ahram, Tareq. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Learning and Collaboration Technologies. Design, Development and Technological Innovation 5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Learning and Collaboration Technologies. Design, Development and Technological Innovation 5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Learning and Collaboration Technologies. Design, Development and Technological Innovation 5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Author

Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. (orcid)0000-0002-3570-6578 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Advances in Neuroergonomics and Cognitive Engineering Proceedings of the AHFE 2017 International Conference on Neuroergonomics and Cognitive Engineering, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Advances in Neuroergonomics and Cognitive Engineering Proceedings of the AHFE 2017 International Conference on Neuroergonomics and Cognitive Engineering, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Advances in Neuroergonomics and Cognitive Engineering Proceedings of the AHFE 2017 International Conference on Neuroergonomics and Cognitive Engineering, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Author

Baldwin, Carryl. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60642-2

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Author

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-72056-2

Format:

Availability

Online Library~1

Available:
Copies:

6.

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:

7.

Cover image for Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks

Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks

Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks

Author

Rozonoer, Lev. editor. Mirkin, Boris. editor. (orcid)0000-0001-5470-8635 Muchnik, Ilya. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Critical Infrastructure Protection XII 12th IFIP WG 11.10 International Conference, ICCIP 2018, Arlington, VA, USA, March 12-14, 2018, Revised Selected Papers

Critical Infrastructure Protection XII 12th IFIP WG 11.10 International Conference, ICCIP 2018, Arlington, VA, USA, March 12-14, 2018, Revised Selected Papers

Critical Infrastructure Protection XII 12th IFIP WG 11.10 International Conference, ICCIP 2018, Arlington, VA, USA, March 12-14, 2018, Revised Selected Papers

Author

Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04537-1

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Universal Access in Human-Computer Interaction. Methods, Technologies, and Users 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Universal Access in Human-Computer Interaction. Methods, Technologies, and Users 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Universal Access in Human-Computer Interaction. Methods, Technologies, and Users 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, 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-319-92049-8

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Author

Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Learning and Collaboration Technologies. Learning and Teaching 5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Learning and Collaboration Technologies. Learning and Teaching 5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Learning and Collaboration Technologies. Learning and Teaching 5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Author

Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. (orcid)0000-0002-3570-6578 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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:

1 2 3 4 5 .. 51

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11