Search Results for Computer Simulation.

|

|

|

|

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: Software engineering.

Author

SpringerLink (Online service)

(427)

Gervasi, Osvaldo. editor.

(39)

Taniar, David. editor.

(31)

Apduhan, Bernady O. editor.

(23)

Murgante, Beniamino. editor.

(22)

Albada, Geert Dick. editor.

(16)

Dongarra, Jack. editor.

(16)

Sloot, Peter M. A. editor.

(16)

Gavrilova, Marina L. editor.

(14)

Misra, Sanjay. editor.

(14)

Mun, Youngsong. editor.

(13)

Li, Daoliang. editor.

(12)

Torre, Carmelo M. editor.

(10)

Kumar, Vipin. editor.

(9)

Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

(7)

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914

(7)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(7)

Laganà, Antonio. editor.

(7)

Paszynski, Maciej. editor.

(7)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(7)

de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453

(7)

Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382

(6)

Chen, Yingyi. editor.

(6)

Laganá, Antonio. editor.

(6)

Malyshkin, Victor. editor.

(6)

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052

(6)

Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757

(6)

Carlini, Maurizio. editor.

(5)

Choo, Hyunseung. editor.

(5)

Iglesias, Andrés. editor.

(5)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(5)

Nguyen, Hong-Quang. editor.

(5)

Rashid, Awais. editor.

(5)

Stankova, Elena. editor.

(5)

Tan, C. J. Kenneth. editor.

(5)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(5)

Wang, Shangguang. editor.

(5)

Aksit, Mehmet. editor.

(4)

Alexandrov, Vassil N. editor.

(4)

Bellatreche, Ladjel. editor.

(4)

Giese, Holger. editor.

(4)

Jedlitschka, Andreas. editor.

(4)

Jensen, Kurt. editor.

(4)

Lee, Heow Pueh. editor.

(4)

Nedjah, Nadia. editor.

(4)

Pardede, Eric. editor.

(4)

Rocha, Ana Maria A. C. editor.

(4)

Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886

(4)

Shi, Yong. editor.

(4)

Tan, Chih Jeng Kenneth. editor.

(4)

Zhao, Chunjiang. editor.

(4)

Adamatzky, Andrew. editor.

(3)

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940

(3)

Bubak, Marian. editor.

(3)

Cirne, Walfredo. editor.

(3)

Deng, Hepu. editor.

(3)

Desai, Narayan. editor.

(3)

Dongarra, Jack J. editor.

(3)

Finkbeiner, Bernd. editor.

(3)

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792

(3)

Heule, Marijn. editor. (orcid)0000-0002-5587-8801

(3)

Komosinski, Maciej. editor.

(3)

Kovács, Laura. editor.

(3)

Lamprecht, Anna-Lena. editor.

(3)

Lei, Jingsheng. editor.

(3)

Liu, Yande. editor.

(3)

Moreno-Díaz, Roberto. editor.

(3)

Oivo, Markku. editor.

(3)

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124

(3)

Sunderam, Vaidy S. editor.

(3)

Voß, Stefan. editor.

(3)

Wang, Fu Lee. editor.

(3)

van Sinderen, Marten. editor.

(3)

Ölveczky, Peter Csaba. editor.

(3)

Al-Begain, Khalid. editor.

(2)

Allen, Gabrielle. editor.

(2)

Ando, Noriaki. editor.

(2)

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

(2)

Artho, Cyrille. editor.

(2)

Artikis, Alexander. editor.

(2)

Babkin, Eduard. editor. (orcid)0000-0003-2597-9043

(2)

Baldassarre, Maria Teresa. editor.

(2)

Bergmann Tiest, Wouter M. editor.

(2)

Bian, Fuling. editor.

(2)

Braubach, Lars. editor.

(2)

Broy, Manfred. editor.

(2)

Bruel, Jean-Michel. editor.

(2)

Brugali, Davide. editor.

(2)

Cardoso, Jorge. editor.

(2)

Carro, Luigi. editor.

(2)

Chen, Qianbin. editor.

(2)

Chiba, Shigeru. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Coghill, George. editor.

(2)

Cordeiro, José. editor.

(2)

Cui, Xiaohui. editor.

(2)

Czarnecki, Krzysztof. editor.

(2)

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

(2)

Dignum, Frank. editor.

(2)

Dikenelli, Oğuz. editor.

(2)

Dingel, Juergen. editor.

(2)

Donatelli, Susanna. editor.

(2)

El-Ghazawi, Tarek. editor.

(2)

Erp, Jan B. F. editor.

(2)

Ferro-Escobar, Roberto. editor.

(2)

Fiems, Dieter. editor.

(2)

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937

(2)

Frachtenberg, Eitan. editor.

(2)

France, Robert B. editor.

(2)

Furia, Carlo A. editor.

(2)

Gao, Yang. editor.

(2)

Gavrilova, Marina. editor.

(2)

Gašević, Dragan. editor.

(2)

Gilmore, Stephen. editor.

(2)

Gleizes, Marie-Pierre. editor.

(2)

Gray, Jeff. editor.

(2)

Hammoudi, Slimane. editor.

(2)

Heiner, Monika. editor.

(2)

Helm, Frans C. T. editor.

(2)

Juristo, Natalia. editor.

(2)

Kappers, Astrid M. L. editor.

(2)

Kasabov, Nikola. editor.

(2)

Katz, Shmuel. editor.

(2)

Klusch, Matthias. editor.

(2)

Koutny, Maciej. editor.

(2)

Krüger, Ingolf H. editor.

(2)

Köppen, Mario. editor.

(2)

Larsen, Kim Guldstrand. editor.

(2)

Leavens, Gary T. editor.

(2)

Lecomte, Thierry. editor.

(2)

Legay, Axel. editor.

(2)

Lemos, Rogério. editor.

(2)

López-Santana, Eduyn Ramiro. editor.

(2)

Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545

(2)

Majumdar, Rupak. editor.

(2)

Margaria, Tiziana. editor.

(2)

Meisinger, Michael. editor.

(2)

Meng, Weixiao. editor.

(2)

Moreira, Ana. editor.

(2)

Nabrzyski, Jarosław. editor.

(2)

Nolte, Siegfried. author.

(2)

Ossher, Harold. editor.

(2)

Oğuztüzün, Halit. author.

(2)

O’Hare, Gregory M. P. editor.

(2)

Paige, Richard F. editor.

(2)

Palanque, Philippe. editor.

(2)

Pfahl, Dietmar. editor.

(2)

Picard, Gauthier. editor.

(2)

Pilato, Christian. editor.

(2)

Pitt-Francis, Joe. author.

(2)

Pokahr, Alexander. editor.

(2)

Purao, Sandeep. editor.

(2)

Rana, Omer F. editor.

(2)

Regazzoni, Francesco. editor.

(2)

Ricci, Alessandro. editor.

(2)

Schwiegelshohn, Uwe. editor.

(2)

Schätz, Bernhard. editor.

(2)

Seidel, Edward. editor.

(2)

Selic, Bran. editor.

(2)

Sicard, Gilles. editor.

(2)

Steffen, Bernhard. editor.

(2)

Supinski, Bronis R. editor.

(2)

Topçu, Okan. author.

(2)

Trujillo, Juan C. editor.

(2)

Träff, Jesper Larsson. editor.

(2)

Unland, Rainer. editor.

(2)

Vouros, George. editor.

(2)

Voß, Stefan. editor. (orcid)0000-0003-1296-4221

(2)

Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X

(2)

Whiteley, Jonathan. author.

(2)

Wyk, Eric. editor.

(2)

Xie, Yichun. editor.

(2)

Zeng, Yixin. editor.

(2)

Zhao, Liqiang. editor.

(2)

van der Aalst, Wil. editor.

(2)

Aalst, Wil M. P. editor.

(1)

Abate, Alessandro. editor.

(1)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Abawajy, Jemal. editor.

(1)

Abdelwahed, El Hassan. editor.

(1)

Abelló, Alberto. editor.

(1)

Abrahamsson, Pekka. editor.

(1)

Abrahao, Silvia. editor.

(1)

Aceto, Luca. editor.

(1)

Acuña, Silvia T. editor.

(1)

Acuña, Silvia Teresita. author.

(1)

Adeli, Hojjat. editor.

(1)

Aguado, Marina. editor.

(1)

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555

(1)

Ahrndt, Sebastian. editor.

(1)

Ahuja, Ravindra K. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712

(1)

Albani, Antonia. editor.

(1)

Aldewereld, Huib. editor.

(1)

Alexander, Michael. editor.

(1)

Ali Babar, M. editor.

(1)

Allbeck, Jan. editor.

(1)

Almendros Jiménez, Jesús M. editor.

(1)

Altinsoy, M. Ercan. editor.

(1)

Language

(424)

(3)

Publication Date

-

(47)

(38)

(37)

(35)

(30)

(29)

(27)

(25)

(25)

(25)

(24)

(20)

(20)

(16)

(16)

(13)

Subject

Computer simulation.

(405)

Computer science.

(337)

Artificial intelligence.

(126)

Computer Communication Networks.

(103)

Computer Modelling.

(87)

Computer software.

(68)

Information systems.

(66)

Information theory.

(45)

Computer networks .

(44)

Computer vision.

(43)

(42)

Electronic data processing.

(41)

Theory of Computation.

(34)

(33)

Information Systems.

(33)

Computer system performance.

(30)

Simulation and Modeling.

(29)

Application software.

(27)

Computer science -- Mathematics.

(27)

Computer Science Logic and Foundations of Programming.

(26)

Computer and Information Systems Applications.

(25)

(22)

Bioinformatics.

(22)

Computer Engineering and Networks.

(22)

Computer engineering.

(22)

Computer network architectures.

(22)

Database management.

(21)

Compilers (Computer programs).

(20)

Compilers and Interpreters.

(20)

Formal Languages and Automata Theory.

(17)

Machine theory.

(17)

Mathematics of Computing.

(16)

System Performance and Evaluation.

(16)

(13)

Data Mining and Knowledge Discovery.

(12)

Information storage and retrieval systems.

(12)

Operating systems (Computers).

(12)

Management information systems.

(11)

Programming languages (Electronic computers).

(11)

Electronic digital computers -- Evaluation.

(10)

(10)

Computer aided design.

(9)

Electronic data processing -- Management.

(9)

(9)

Information Systems Applications (incl. Internet).

(9)

Programming Techniques.

(9)

Algorithm Analysis and Problem Complexity.

(8)

Computer programming.

(8)

Control Structures and Microprogramming.

(8)

Microprogramming .

(8)

Optical pattern recognition.

(8)

Biology -- Data processing.

(7)

Computer logic.

(7)

Data protection.

(7)

Data structures (Computer science).

(7)

Programming Languages, Compilers, Interpreters.

(7)

Business information services.

(6)

Multimedia systems.

(6)

Systems engineering.

(6)

User interfaces (Computer systems).

(6)

Artificial Intelligence (incl. Robotics).

(5)

Computer system failures.

(5)

Human-computer interaction.

(5)

IT in Business.

(5)

Information technology -- Management.

(5)

Logics and Meanings of Programs.

(5)

Management of Computing and Information Systems.

(5)

Mathematical logic.

(5)

Mathematical statistics.

(5)

Probability and Statistics in Computer Science.

(5)

Special Purpose and Application-Based Systems.

(5)

User Interfaces and Human Computer Interaction.

(5)

Business—Data processing.

(4)

Computer Application in Administrative Data Processing.

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Image processing -- Digital techniques.

(4)

Information Storage and Retrieval.

(4)

Information technology.

(4)

Mathematical Logic and Formal Languages.

(4)

Social sciences -- Data processing.

(4)

Algebra -- Data processing.

(3)

Computer hardware.

(3)

Computer organization.

(3)

Data and Information Security.

(3)

(3)

(3)

Health Informatics.

(3)

(3)

Software Engineering/Programming and Operating Systems.

(3)

The Computing Profession.

(3)

(2)

Business Process Management.

(2)

Computational Biology/Bioinformatics.

(2)

Computational and Systems Biology.

(2)

Computational complexity.

(2)

Computer Appl. in Administrative Data Processing.

(2)

Computer System Implementation.

(2)

Computer communication systems.

(2)

Computer industry.

(2)

Computer input-output equipment.

(2)

Computer systems.

(2)

Computers and Society.

(2)

Computers, Special purpose.

(2)

Energy Economics.

(2)

Engineering design.

(2)

Engineering economy.

(2)

Engineering mathematics.

(2)

Input/Output and Data Communications.

(2)

Medical records -- Data processing.

(2)

Numerical analysis.

(2)

Operating Systems.

(2)

Remote Sensing/Photogrammetry.

(2)

Remote sensing.

(2)

Symbolic and Algebraic Manipulation.

(2)

(1)

Arithmetic and Logic Structures.

(1)

(1)

Business Information Systems.

(1)

Chemical engineering.

(1)

(1)

(1)

(1)

Computation by Abstract Devices.

(1)

Computational biology .

(1)

Computational intelligence.

(1)

Computer Appl. in Life Sciences.

(1)

Computer Hardware.

(1)

Computer Networks.

(1)

Computer Science, general.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer architecture.

(1)

Computer arithmetic and logic units.

(1)

Computer science—Mathematics.

(1)

Computer security.

(1)

Computers -- Law and legislation.

(1)

Computers and Education.

(1)

Computers and civilization.

(1)

Control engineering systems.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Structures and Information Theory.

(1)

Data transmission systems.

(1)

Differentiable dynamical systems.

(1)

(1)

Education -- Data processing.

(1)

Education—Data processing.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Enterprise Architecture.

(1)

Hardware Performance and Reliability.

(1)

Human-machine systems.

(1)

Interaction Design.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

(1)

Medical informatics.

(1)

Microprocessors.

(1)

Models of Computation.

(1)

Numeric Computing.

(1)

Performance and Reliability.

(1)

Processor Architectures.

(1)

Social sciences—Computer programs.

(1)

Social sciences—Data processing.

(1)

Special purpose computers.

(1)

(1)

Systems theory.

(1)

Telecommunication.

(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

427 Results Found

Subscribe to search results

1 2 3 4 5 .. 36

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 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:

2.

Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I

Author

Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II

Author

Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

Author

Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35248-5

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

Author

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82949-9

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

Author

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

Author

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-83885-9

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90643-5

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

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:

12.

Cover image for Understanding Modelling and Programming

Understanding Modelling and Programming

Understanding Modelling and Programming

Author

Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11