Search Results for Computer Simulation

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:

+

Konu: Computer science.

Author

SpringerLink (Online service)

(812)

Gervasi, Osvaldo. editor.

(34)

Taniar, David. editor.

(31)

Murgante, Beniamino. editor.

(22)

Apduhan, Bernady O. editor.

(18)

Albada, Geert Dick. editor.

(16)

Dongarra, Jack. editor.

(16)

Sloot, Peter M. A. editor.

(16)

Gavrilova, Marina L. editor.

(14)

Mun, Youngsong. editor.

(13)

Li, Daoliang. editor.

(12)

Kumar, Vipin. editor.

(9)

Misra, Sanjay. editor.

(9)

Păun, Gheorghe. editor.

(9)

Rozenberg, Grzegorz. editor.

(8)

Salomaa, Arto. editor.

(8)

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)

Leung, Chi Sing. editor.

(7)

Paszynski, Maciej. editor.

(7)

Pichler, Franz. editor.

(7)

Priami, Corrado. 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)

Fei, Minrui. editor.

(6)

Krüger, Antonio. editor.

(6)

Laganá, Antonio. editor.

(6)

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

(6)

Waśniewski, Jerzy. editor.

(6)

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

(6)

Antunes, Luis. editor.

(5)

Bandini, Stefania. editor.

(5)

Carlini, Maurizio. editor.

(5)

Choo, Hyunseung. editor.

(5)

Huang, Tingwen. editor.

(5)

Iglesias, Andrés. editor.

(5)

Irwin, George W. editor.

(5)

Li, Chuandong. editor.

(5)

Li, Kang. editor.

(5)

Liu, Yong. editor.

(5)

Malyshkin, Victor. editor.

(5)

Margenov, Svetozar. editor.

(5)

Moreno-Díaz, Roberto. editor.

(5)

Narukawa, Yasuo. editor.

(5)

Nguyen, Hong-Quang. editor.

(5)

Nguyen, Ngoc Thanh. editor.

(5)

Quesada-Arencibia, Alexis. editor.

(5)

Rashid, Awais. editor.

(5)

Resch, Michael. editor.

(5)

Tan, C. J. Kenneth. editor.

(5)

Torra, Vicenç. editor.

(5)

Torre, Carmelo M. editor.

(5)

Wang, Fu Lee. editor.

(5)

Xiao, Tianyuan. editor.

(5)

Zeng, Zhigang. editor.

(5)

Zhang, Lin. editor.

(5)

Aksit, Mehmet. editor.

(4)

Alexandrov, Vassil N. editor.

(4)

Bello, Fernando. editor.

(4)

Filipe, Joaquim. editor.

(4)

Giese, Holger. editor.

(4)

Jensen, Kurt. editor.

(4)

Kowalczyk, Ryszard. editor.

(4)

Lee, Heow Pueh. editor.

(4)

Lirkov, Ivan. editor.

(4)

Ma, Shiwei. editor.

(4)

Navab, Nassir. editor.

(4)

Nedjah, Nadia. editor.

(4)

Olivier, Patrick. editor.

(4)

Pardede, Eric. editor.

(4)

Rocha, Ana Maria A. C. editor.

(4)

Shi, Yong. editor.

(4)

Shi, Yuhui. editor.

(4)

Shokina, Nina. editor.

(4)

Tan, Chih Jeng Kenneth. editor.

(4)

Zhao, Chunjiang. editor.

(4)

Adamatzky, Andrew. editor.

(3)

Al-Begain, Khalid. editor.

(3)

Braz, José. editor.

(3)

Bubak, Marian. editor.

(3)

Cai, Zhihua. editor.

(3)

Chan, Jonathan H. editor.

(3)

Dastani, Mehdi. editor.

(3)

Deng, Hepu. editor.

(3)

Dignum, Frank. editor.

(3)

Dongarra, Jack J. editor.

(3)

Duffy, Vincent G. editor.

(3)

Finkbeiner, Bernd. editor.

(3)

Fong, Joseph. editor.

(3)

Gottscheber, Achim. editor.

(3)

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

(3)

Harris, Don. editor.

(3)

Heiner, Monika. editor.

(3)

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

(3)

Holzinger, Andreas. editor.

(3)

Huang, De-Shuang. editor.

(3)

Hämäläinen, Timo D. editor.

(3)

Jedlitschka, Andreas. editor.

(3)

Jia, Li. editor.

(3)

Jiang, Tianzi. editor.

(3)

Kang, Lishan. editor.

(3)

Komosinski, Maciej. editor.

(3)

Kovács, Laura. editor.

(3)

Krause, Egon. editor.

(3)

Kwok, James. editor.

(3)

Lei, Jingsheng. editor.

(3)

Leite, João. editor.

(3)

Li, Xiaodong. editor.

(3)

Liu, Honghai. editor.

(3)

Liu, Yande. editor.

(3)

Liò, Pietro. editor.

(3)

Lu, Bao-Liang. editor.

(3)

Magnenat-Thalmann, Nadia. editor.

(3)

Nguyen, Ngoc-Thanh. editor.

(3)

Obdržálek, David. editor.

(3)

Oivo, Markku. editor.

(3)

Petre, Ion. editor.

(3)

Pluim, Josien P. W. editor.

(3)

Pérez-Jiménez, Mario J. editor.

(3)

Rueckert, Daniel. editor.

(3)

Sunderam, Vaidy S. editor.

(3)

Tan, Kay Chen. editor.

(3)

Tan, Ying. editor. (orcid)0000-0001-8243-4731

(3)

Vassiliadis, Stamatis. editor.

(3)

Viergever, Max A. editor.

(3)

Wong, Stephan. editor.

(3)

Xiong, Caihua. editor.

(3)

Xiong, Youlun. editor.

(3)

Yang, Guang-Zhong. editor.

(3)

Zhang, Liqing. editor.

(3)

Abbass, Hussein. editor.

(2)

Alippi, Cesare. editor.

(2)

Allen, Gabrielle. editor.

(2)

Ando, Noriaki. editor.

(2)

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

(2)

Araújo, Hélder J. editor.

(2)

Arbez, Gilbert. author.

(2)

Ardissono, Liliana. editor.

(2)

Artho, Cyrille. editor.

(2)

Artikis, Alexander. editor.

(2)

Ayala, José L. editor.

(2)

Back, Ralph-Johan. editor.

(2)

Bajo, Javier. editor.

(2)

Baldassarre, Maria Teresa. editor.

(2)

Barkowsky, Thomas. editor.

(2)

Barratt, Dean. editor.

(2)

Bellatreche, Ladjel. editor.

(2)

Bereković, Mladen. editor.

(2)

Bergmann Tiest, Wouter M. editor.

(2)

Bez, Wolfgang. editor.

(2)

Bian, Fuling. editor.

(2)

Birta, Louis G. author.

(2)

Boll, Susanne. editor.

(2)

Borwein, Jonathan M. author.

(2)

Bosse, Tibor. editor.

(2)

Bouzerdoum, Abdesselam. editor.

(2)

Branke, Jürgen. editor.

(2)

Braubach, Lars. editor.

(2)

Broy, Manfred. editor.

(2)

Bruel, Jean-Michel. editor.

(2)

Buchholz, Martin. author.

(2)

Bungartz, Hans-Joachim. author.

(2)

Cai, Yang. editor.

(2)

Cao, Jinde. editor.

(2)

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

(2)

Coghill, George. editor.

(2)

Corchado, Juan M. editor.

(2)

Cotin, Stéphane. editor.

(2)

Cui, Xiaohui. editor.

(2)

Cuzzocrea, Alfredo. editor.

(2)

Czarnecki, Krzysztof. editor.

(2)

Dargam, Fátima. editor.

(2)

David, Nuno. editor.

(2)

Davis, Rob. author.

(2)

Deb, Kalyanmoy. editor.

(2)

Deguchi, Hiroshi. editor.

(2)

Delibašić, Boris. editor.

(2)

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

(2)

Dennunzio, Alberto. editor.

(2)

Dikenelli, Oğuz. editor.

(2)

Dimopoulos, Nikitas. editor.

(2)

Dingel, Juergen. editor.

(2)

Donatelli, Susanna. editor.

(2)

Dowling, Jason. editor.

(2)

Egges, Arjan. editor.

(2)

El-Ghazawi, Tarek. editor.

(2)

Ellinas, Georgios. editor.

(2)

Erp, Jan B. F. editor.

(2)

Fallah Seghrouchni, Amal. editor.

(2)

Fiems, Dieter. editor.

(2)

Fisher, Robert B. editor.

(2)

Focht, Erich. editor.

(2)

Frachtenberg, Eitan. editor.

(2)

Fred, Ana. editor.

(2)

Freksa, Christian. editor.

(2)

Fuentes-Fernández, Rubén. editor.

(2)

Language

(795)

(16)

(1)

Publication Date

-

(101)

(99)

(98)

(86)

(71)

(71)

(59)

(54)

(45)

(38)

(30)

(26)

(15)

(14)

(4)

(1)

(1)

Subject

Computer simulation.

(789)

Software engineering.

(337)

Artificial intelligence.

(321)

Computer vision.

(155)

Computer Communication Networks.

(147)

Computer software.

(136)

Information systems.

(124)

Simulation and Modeling.

(95)

Optical pattern recognition.

(93)

(87)

Bioinformatics.

(81)

Electronic data processing.

(78)

Computer Modelling.

(76)

(54)

Theory of Computation.

(53)

Information theory.

(51)

Computer graphics.

(48)

Computer science -- Mathematics.

(47)

Computer system performance.

(47)

Information Systems.

(42)

Information storage and retrieval systems.

(42)

Computer network architectures.

(36)

(36)

Computer networks .

(33)

Computer Science Logic and Foundations of Programming.

(32)

Database management.

(30)

Social sciences -- Data processing.

(30)

Computer aided design.

(28)

Artificial Intelligence (incl. Robotics).

(27)

Computational complexity.

(26)

System Performance and Evaluation.

(21)

Engineering mathematics.

(20)

(19)

Management information systems.

(19)

Mathematical statistics.

(18)

Computer Engineering and Networks.

(17)

Computer engineering.

(17)

Multimedia systems.

(17)

Probability and Statistics in Computer Science.

(17)

Data Mining and Knowledge Discovery.

(16)

Formal Languages and Automata Theory.

(16)

Information Systems Applications (incl. Internet).

(16)

Machine theory.

(16)

Algorithm Analysis and Problem Complexity.

(14)

Compilers (Computer programs).

(14)

Compilers and Interpreters.

(14)

Mathematics of Computing.

(14)

(14)

Operating systems (Computers).

(14)

Biology -- Data processing.

(13)

Data structures (Computer science).

(13)

Models of Computation.

(13)

Radiology, Medical.

(13)

User Interfaces and Human Computer Interaction.

(13)

(12)

Medical records -- Data processing.

(11)

Electronic digital computers -- Evaluation.

(10)

Hydraulic engineering.

(10)

Numerical analysis.

(10)

Application software.

(9)

Computer hardware.

(9)

Computers and Society.

(9)

(9)

Information Storage and Retrieval.

(9)

Pattern Recognition.

(9)

Algebra -- Data processing.

(8)

(8)

Computer Applications.

(8)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(8)

Computer and Information Systems Applications.

(8)

Image Processing and Computer Vision.

(8)

Management of Computing and Information Systems.

(8)

Operations research.

(8)

Programming Languages, Compilers, Interpreters.

(8)

Telecommunication.

(8)

Computation by Abstract Devices.

(7)

Computational Biology/Bioinformatics.

(7)

Computational Science and Engineering.

(7)

Mathematical Logic and Formal Languages.

(7)

Translators (Computer programs).

(7)

Appl.Mathematics/Computational Methods of Engineering.

(6)

(6)

Computational intelligence.

(6)

Control Structures and Microprogramming.

(6)

Microprogramming .

(6)

(6)

Programming Techniques.

(6)

Special Purpose and Application-Based Systems.

(6)

Business planning.

(5)

Computational Intelligence.

(5)

Computer Appl. in Administrative Data Processing.

(5)

Data protection.

(5)

Distribution (Probability theory).

(5)

Health Informatics.

(5)

Logics and Meanings of Programs.

(5)

Mathematical optimization.

(5)

Mathematical physics.

(5)

Numeric Computing.

(5)

Biomedical engineering.

(4)

Computational and Systems Biology.

(4)

Computers and civilization.

(4)

(4)

(4)

Discrete Mathematics in Computer Science.

(4)

Engineering design.

(4)

Engineering economy.

(4)

Mathematical logic.

(4)

Models and Principles.

(4)

(4)

Operation Research/Decision Theory.

(4)

(4)

Systems engineering.

(4)

(3)

(3)

Business Information Systems.

(3)

Computer Science, general.

(3)

Computer Systems Organization and Communication Networks.

(3)

Computer programming.

(3)

Computers, Special purpose.

(3)

(3)

Data encryption (Computer science).

(3)

Electronic data processing -- Management.

(3)

(3)

(3)

Image processing -- Digital techniques.

(3)

Industrial engineering.

(3)

(3)

Mathematical Logic and Foundations.

(3)

Mechanical engineering.

(3)

Multimedia Information Systems.

(3)

(3)

Rehabilitation.

(3)

Software Engineering/Programming and Operating Systems.

(3)

The Computing Profession.

(3)

(2)

Algebraic topology.

(2)

(2)

Biology -- Mathematics.

(2)

(2)

(2)

Computational Mathematics and Numerical Analysis.

(2)

Computer Appl. in Arts and Humanities.

(2)

Computer Application in Social and Behavioral Sciences.

(2)

Computer Engineering.

(2)

Computer security.

(2)

Computer system failures.

(2)

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

(2)

Computers -- Law and legislation.

(2)

Computing Methodologies.

(2)

Data and Information Security.

(2)

Discrete mathematics.

(2)

Economics/Management Science, general.

(2)

Electric engineering.

(2)

Electronic commerce.

(2)

Energy Economics.

(2)

Engineering Fluid Dynamics.

(2)

Human-computer interaction.

(2)

(2)

Imaging / Radiology.

(2)

Information Systems and Communication Service.

(2)

(2)

Machine learning.

(2)

(2)

Math Applications in Computer Science.

(2)

Microprogramming.

(2)

Numerical and Computational Physics.

(2)

(2)

Programming languages (Electronic computers).

(2)

Remote Sensing/Photogrammetry.

(2)

Remote sensing.

(2)

Social sciences.

(2)

Symbolic and Algebraic Manipulation.

(2)

Systems theory.

(2)

Text processing (Computer science.

(2)

Theory and Algorithms for Application Domains.

(2)

User interfaces (Computer systems).

(2)

e-Commerce and e-Business.

(2)

Animal behavior.

(1)

Approche orientée objet (Informatique)

(1)

Architectural design.

(1)

Architecture, general.

(1)

(1)

Arithmetic and Logic Structures.

(1)

(1)

Atmospheric science.

(1)

Automated Pattern Recognition.

(1)

Banks and banking.

(1)

Behavioural Sciences.

(1)

Biological models.

(1)

(1)

Business Process Management.

(1)

Business information services.

(1)

Business logistics.

(1)

Business—Data processing.

(1)

COMPUTERS / Programming / Object Oriented

(1)

Chemical engineering.

(1)

Civil engineering.

(1)

(1)

Complex Systems.

(1)

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

813 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 68

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.

37.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM

New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM

New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM

Author

Mula, Josefa. editor. Barbastefano, Rafael. editor. Díaz-Madroñero, Manuel. editor. Poler, Raúl. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93488-4

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Honeypot Frameworks and Their Applications: A New Framework

Honeypot Frameworks and Their Applications: A New Framework

Honeypot Frameworks and Their Applications: A New Framework

Author

NG, Chee Keong. author. Pan, Lei. author. Xiang, Yang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-7739-5

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Computer Simulations of Space Societies

Computer Simulations of Space Societies

Computer Simulations of Space Societies

Author

Bainbridge, William Sims. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Author

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Author

de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Author

Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Probability and Statistics for Computer Science

Probability and Statistics for Computer Science

Probability and Statistics for Computer Science

Author

Forsyth, David. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-64410-3

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6 .. 68

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11