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:

+

Subject: Computer science.

Author

SpringerLink (Online service)

(659)

Stephanidis, Constantine. editor.

(20)

Bebis, George. editor.

(14)

Boyle, Richard. editor.

(14)

Koracin, Darko. editor.

(14)

Parvin, Bahram. editor.

(14)

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094

(11)

Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142

(10)

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)

Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739

(5)

Antona, Margherita. editor.

(5)

Chen, Hsinchun. editor.

(5)

Duffy, Vincent G. editor.

(5)

Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X

(5)

Harris, Don. editor.

(5)

Rolim, José D. P. editor.

(5)

Schmorrow, Dylan D. editor.

(5)

Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X

(5)

Shumaker, Randall. editor.

(5)

Sloot, Peter M. A. editor.

(5)

Wu, Weili. 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)

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)

Acosta, Maribel. editor. (orcid)0000-0002-1209-2868

(3)

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)

Cheng, Gong. editor. (orcid)0000-0003-3539-7776

(3)

Chung, Ronald. editor.

(3)

Crawfis, Roger. editor.

(3)

Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693

(3)

Dongarra, Jack. editor.

(3)

Ferranti, Nicolas. editor. (orcid)0000-0002-5574-1987

(3)

Ferrari, Elena. editor.

(3)

Frachtenberg, Eitan. editor.

(3)

Governatori, Guido. editor.

(3)

Havelund, Klaus. editor.

(3)

Hernández, Daniel. editor. (orcid)0000-0002-7896-0875

(3)

Hogan, Aidan. editor. (orcid)0000-0001-9482-1982

(3)

Hose, Katja. editor. (orcid)0000-0001-7025-8099

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

Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118

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

Skaf-Molli, Hala. editor. (orcid)0000-0003-1062-6659

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

Chaudhuri, Swarat. 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)

Eulenstein, Oliver. 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)

Farzan, Azadeh. 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)

Graesser, Arthur. editor.

(2)

Gray, Jeff. editor.

(2)

Greenberg, Ariel M. editor.

(2)

Guo, Jianxiong. 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)

Language

(658)

(1)

Publication Date

-

(79)

(78)

(74)

(70)

(59)

(58)

(50)

(48)

(47)

(39)

(21)

(12)

(10)

(8)

(6)

Subject

Artificial intelligence.

(228)

Software engineering.

(215)

Computer Communication Networks.

(209)

Information systems.

(163)

Computer software.

(153)

Information storage and retrieval systems.

(117)

Computer vision.

(106)

(92)

(87)

Computational complexity.

(85)

Database management.

(64)

Information Systems.

(63)

Data encryption (Computer science).

(62)

Data protection.

(61)

Optical pattern recognition.

(61)

Computer graphics.

(59)

Data structures (Computer science).

(50)

Computer simulation.

(46)

Bioinformatics.

(43)

Operating systems (Computers).

(41)

Multimedia systems.

(36)

User Interfaces and Human Computer Interaction.

(33)

Electronic data processing.

(32)

Information Storage and Retrieval.

(31)

(30)

Computer network architectures.

(26)

Information Systems Applications (incl. Internet).

(26)

Management information systems.

(25)

Social sciences -- Data processing.

(25)

Theory of Computation.

(24)

Medical records -- Data processing.

(22)

(21)

Information theory.

(20)

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)

Data Mining and Knowledge Discovery.

(15)

Algebra -- Data processing.

(14)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(14)

Computer Science Logic and Foundations of Programming.

(14)

Computers -- Law and legislation.

(14)

Image processing -- Digital techniques.

(14)

Computer science -- Mathematics.

(13)

Radiology, Medical.

(13)

Telecommunication.

(13)

(12)

Computers and Education.

(12)

Discrete Mathematics in Computer Science.

(12)

Data and Information Security.

(11)

Systems and Data Security.

(11)

Application software.

(10)

Biology -- Data processing.

(10)

Computer networks .

(10)

Management of Computing and Information Systems.

(10)

Programming Techniques.

(10)

(9)

Computer and Information Systems Applications.

(9)

Formal Languages and Automata Theory.

(9)

Health Informatics.

(9)

Machine theory.

(9)

Models and Principles.

(9)

Translators (Computer programs).

(9)

Compilers (Computer programs).

(8)

Compilers and Interpreters.

(8)

Computer engineering.

(8)

Data Encryption.

(8)

Logics and Meanings of Programs.

(8)

Programming Languages, Compilers, Interpreters.

(8)

Computer Science, general.

(7)

Data Structures and Information Theory.

(7)

Computer Engineering and Networks.

(6)

Computer hardware.

(6)

Engineering design.

(6)

Mathematics of Computing.

(6)

Computer programming.

(5)

Image Processing and Computer Vision.

(5)

Mathematical Logic and Formal Languages.

(5)

(5)

Text processing (Computer science.

(5)

(4)

Logic, Symbolic and mathematical.

(4)

Natural language processing (Computer science).

(4)

Operating Systems.

(4)

Pattern Recognition.

(4)

Simulation and Modeling.

(4)

e-Commerce/e-business.

(4)

(3)

Computation by Abstract Devices.

(3)

Computational Biology/Bioinformatics.

(3)

Computational and Systems Biology.

(3)

Computer Appl. in Administrative Data Processing.

(3)

Computer Systems Organization and Communication Networks.

(3)

Computer industry.

(3)

Computers, Special purpose.

(3)

(3)

Data Structures.

(3)

Discrete mathematics.

(3)

(3)

Logic programming.

(3)

Multimedia Information Systems.

(3)

Probability and Statistics in Computer Science.

(3)

Special Purpose and Application-Based Systems.

(3)

Symbolic and Algebraic Manipulation.

(3)

Architectural design.

(2)

Automated Pattern Recognition.

(2)

Biomedical engineering.

(2)

Business Information Systems.

(2)

(2)

(2)

Computer Hardware.

(2)

Computer Modelling.

(2)

Computer System Implementation.

(2)

Computer aided design.

(2)

Computer communication systems.

(2)

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

(2)

Electronic commerce.

(2)

Geographical information systems.

(2)

Mathematical statistics.

(2)

(2)

(2)

Medicine, Industrial.

(2)

Microprogramming.

(2)

Numeric Computing.

(2)

Numerical analysis.

(2)

Pattern recognition systems.

(2)

Psychology, Experimental.

(2)

(2)

Algebraic logic.

(1)

Applied psychology.

(1)

Arithmetic and Logic Structures.

(1)

Artificial intelligence -- Data processing.

(1)

(1)

Chemistry -- Data processing.

(1)

Coding and Information Theory.

(1)

Complex Systems.

(1)

Computational Chemistry.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational linguistics.

(1)

Computer Appl. in Life Sciences.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer crimes.

(1)

Computer system failures.

(1)

Computer systems.

(1)

Computers and civilization.

(1)

Computing Methodologies.

(1)

Computing Milieux.

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

(1)

Data structures (Computer scienc.

(1)

Discrete groups.

(1)

Education -- Psychology.

(1)

Educational Technology.

(1)

Education—Data processing.

(1)

Electronic data processing -- Management.

(1)

(1)

(1)

Engineering economy.

(1)

Expert systems (Computer science).

(1)

Game Theory, Economics, Social and Behav. Sciences.

(1)

(1)

Geographic information systems.

(1)

Geographical Information System.

(1)

(1)

(1)

(1)

Imaging / Radiology.

(1)

Indo-Iranian philology.

(1)

Industrial engineering.

(1)

Industrial management.

(1)

Knowledge Based Systems.

(1)

Law and legislation.

(1)

Legal Aspects of Computing.

(1)

Machine learning.

(1)

(1)

Math Applications in Computer Science.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical geography.

(1)

Mathematical physics.

(1)

Mathematics -- Data processing.

(1)

Medical informatics.

(1)

(1)

Memory management (Computer science).

(1)

Microcomputers.

(1)

Models of Computation.

(1)

(1)

Natural Language Processing (NLP).

(1)

(1)

(1)

Operations Research, Management Science.

(1)

Operations research.

(1)

Optical data processing.

(1)

Pattern recognition.

(1)

Pedagogic Psychology.

(1)

Personal Computing.

(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

659 Results Found

Subscribe to search results

1 2 3 4 5 .. 55

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 Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82700-6

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Author

Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-84924-4

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-85884-0

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Data Science 20th International Conference, ICDATA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Data Science 20th International Conference, ICDATA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Data Science 20th International Conference, ICDATA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Stahlbock, Robert. editor. (orcid)0000-0002-0393-4904 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-85856-7

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications 25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications 25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications 25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-85923-6

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

Author

Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-93706-4

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Bioinformatics and Computational Biology 17th International Conference, BICOB 2025, San Francisco, CA, USA, March 17, 2025, Proceedings

Bioinformatics and Computational Biology 17th International Conference, BICOB 2025, San Francisco, CA, USA, March 17, 2025, Proceedings

Bioinformatics and Computational Biology 17th International Conference, BICOB 2025, San Francisco, CA, USA, March 17, 2025, Proceedings

Author

Aldwairi, Tamer. editor. Al-Mubaid, Hisham. editor. Eulenstein, Oliver. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-94039-2

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-85930-4

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Research in Computational Molecular Biology 28th Annual International Conference, RECOMB 2024, Cambridge, MA, USA, April 29-May 2, 2024, Proceedings

Research in Computational Molecular Biology 28th Annual International Conference, RECOMB 2024, Cambridge, MA, USA, April 29-May 2, 2024, Proceedings

Research in Computational Molecular Biology 28th Annual International Conference, RECOMB 2024, Cambridge, MA, USA, April 29-May 2, 2024, Proceedings

Author

Ma, Jian. editor. (orcid)0000-0002-4202-5834 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-0716-3989-4

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Author

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-60698-4

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Asynchronous Many-Task Systems and Applications Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings

Asynchronous Many-Task Systems and Applications Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings

Asynchronous Many-Task Systems and Applications Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings

Author

Diehl, Patrick. editor. (orcid)0000-0003-3922-8419 Schuchart, Joseph. editor. Valero-Lara, Pedro. editor. Bosilca, George. editor. (orcid)0000-0003-2411-8495 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Author

Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66064-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 .. 55

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11