Search Results for Simulation and Modeling.

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

Author

SpringerLink (Online service)

(78)

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)

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)

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

(6)

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

(6)

Apduhan, Bernady O. editor.

(5)

Carlini, Maurizio. editor.

(5)

Gervasi, Osvaldo. editor.

(5)

Misra, Sanjay. editor.

(5)

Murgante, Beniamino. editor.

(5)

Nguyen, Hong-Quang. editor.

(5)

Taniar, David. editor.

(5)

Torre, Carmelo M. editor.

(5)

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

(3)

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

(3)

Moreno-Díaz, Roberto. editor.

(3)

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

(3)

Ando, Noriaki. editor.

(2)

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

(2)

Bian, Fuling. editor.

(2)

Brugali, Davide. editor.

(2)

Carro, Luigi. editor.

(2)

Cui, Xiaohui. editor.

(2)

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

(2)

Lock, Russell. editor. (orcid)0000-0002-4543-3753

(2)

Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026

(2)

Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439

(2)

Pergl, Robert. editor. (orcid)0000-0003-2980-4400

(2)

Pilato, Christian. editor.

(2)

Regazzoni, Francesco. editor.

(2)

Sicard, Gilles. editor.

(2)

Xie, Yichun. editor.

(2)

Zeng, Yixin. editor.

(2)

Abawajy, Jemal. editor.

(1)

Abdul Kadir, Rabiah. editor.

(1)

Aceto, Luca. editor.

(1)

Adeli, Hojjat. editor.

(1)

Aguado, Marina. editor.

(1)

Ahmad, Mohammad Nazir. editor. (orcid)0000-0003-3639-1157

(1)

Almeida, João Paulo A. editor. (orcid)0000-0002-9819-3781

(1)

Antunes, Luis. editor.

(1)

Auer, Ekaterina. editor.

(1)

Ayala, José L. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Badioze Zaman, Halimah. editor.

(1)

Balakirsky, Stephen. editor.

(1)

Baldassarre, Maria Teresa. editor.

(1)

Balsamo, Maria Simonetta. editor.

(1)

Barjis, Joseph. editor.

(1)

Bartocci, Ezio. editor.

(1)

Bazzan, Ana. editor.

(1)

Berbineau, Marion. editor.

(1)

Berger, Christian. editor.

(1)

Bettin, Jorn. editor.

(1)

Bonnin, Jean-Marie. editor.

(1)

Botterweck, Goetz. editor.

(1)

Broenink, Jan. editor.

(1)

Cherkaoui, Soumaya. editor.

(1)

Cirne, Walfredo. editor.

(1)

Clark, Tony. editor.

(1)

Clarke, Peter. editor.

(1)

Cohen, Sholom. editor.

(1)

Cordeiro, José. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

Czarnecki, Krzysztof. editor.

(1)

De Oliveira, Renato Lima. editor.

(1)

Desai, Narayan. editor.

(1)

Di Ciccio, Claudio. editor. (orcid)0000-0001-5570-0475

(1)

Dobre, Adrian. author.

(1)

Durak, Umut. author.

(1)

Erwig, Martin. editor.

(1)

Fei, Minrui. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

García-Cámara, Braulio. editor.

(1)

Ghannoum, Hassan. editor.

(1)

Giese, Holger. editor.

(1)

Gilmore, Stephen. editor.

(1)

Gray, Jeff. editor.

(1)

Grimaila, Michael R. editor. (orcid)0000-0002-8355-7992

(1)

Gupta, Ashutosh. editor.

(1)

Hammond, Simon. editor.

(1)

Hammoudi, Slimane. editor.

(1)

Hedin, Görel. editor.

(1)

Heidrich, Jens. editor.

(1)

Hemker, Thomas. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Hodson, Douglas D. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Irwin, George W. editor.

(1)

Jarvis, Stephen. editor.

(1)

Jedlitschka, Andreas. editor.

(1)

Jensen, Rune Møller. editor.

(1)

Jia, Li. editor.

(1)

Jonsson, Magnus. editor.

(1)

Jørgensen, Bo Nørregaard. editor. (orcid)0000-0001-5678-6602

(1)

K. Shih, Timothy. editor.

(1)

Kadera, Petr. editor.

(1)

Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596

(1)

Kang, Byeong-Ho. editor.

(1)

Kim, Jong-Hyun. editor.

(1)

Kim, Tai-hoon. editor.

(1)

Knottenbelt, William J. editor.

(1)

Kroeger, Torsten. editor.

(1)

Kuffner, James J. editor.

(1)

Lamprecht, Anna-Lena. editor.

(1)

Lee, Kangsun. editor.

(1)

Legay, Axel. editor.

(1)

Lemos, Rogério. editor.

(1)

Leuken, René. editor.

(1)

Li, Kang. editor.

(1)

Lio, Pietro. editor. (orcid)0000-0002-0540-5053

(1)

Liu, Zhiming. editor.

(1)

Lock, Russell. editor.

(1)

Maabout, Sofian. editor.

(1)

MacDonald, Bruce. editor.

(1)

Machado, Ricardo J. editor.

(1)

Maciel, Rita Suzana P. editor.

(1)

Malyshkin, Victor. editor.

(1)

Mardare, Radu. editor.

(1)

Marin, Andrea. editor.

(1)

Mařík, Vladimír. editor.

(1)

Mehmood, Rashid. editor.

(1)

Mohamad, Ummul Hanan. editor.

(1)

Molhanec, Martin. editor.

(1)

Moreira, Ana. editor.

(1)

Mousavi, Mohammad Reza. editor.

(1)

Müller, Hausi A. editor.

(1)

Nagel, Kai. editor.

(1)

Namazi-Rad, Mohammad-Reza. editor.

(1)

Nardin, Luis Gustavo. editor.

(1)

Ng, Wilfred. editor.

(1)

Noda, Itsuki. editor.

(1)

Ohue, Masahito. editor. (orcid)0000-0002-0120-1643

(1)

Oivo, Markku. editor.

(1)

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

(1)

Pacino, Dario. editor.

(1)

Padgham, Lin. editor.

(1)

Paige, Richard F. editor.

(1)

Paoletti, Nicola. editor.

(1)

Park, Soo-Hyun. editor.

(1)

Perez, Pascal. editor.

(1)

Pergl, Robert. editor.

(1)

Perseil, Isabelle. editor.

(1)

Pfahl, Dietmar. editor.

(1)

Prieto, Manuel. editor.

(1)

Raffo, David M. editor.

(1)

Ramos, Carlos. editor.

(1)

Ramtal, Dev. author.

(1)

Rauh, Andreas. editor.

(1)

Reggiani, Monica. editor.

(1)

Reinhartz-Berger, Iris. editor.

(1)

Rico-Garcia, Cristina. editor.

(1)

Rivas, Pablo. editor. (orcid)0000-0002-8690-0987

(1)

Robinson, Peter. editor.

(1)

Roubtsova, Ella. author.

(1)

Rubin, Julia. editor.

(1)

Ruggiero, Martino. editor.

(1)

Schwiegelshohn, Uwe. editor.

(1)

Schätz, Bernhard. editor.

(1)

Serazzi, Giuseppe. author.

(1)

Shaw, Mary. editor.

(1)

Siegfried, Robert. author.

(1)

Sinderen, Marten. editor.

(1)

Singh, Neeraj Kumar. author.

(1)

Smeaton, Alan F. editor.

(1)

Storey, Veda C. editor.

(1)

Strasser, Thomas. editor.

(1)

Stryk, Oskar. editor.

(1)

Sturm, Arnon. editor.

(1)

Takata, Masami. editor. (orcid)0000-0003-3475-7565

(1)

Tanaka, Satoshi. editor.

(1)

Topçu, Okan. author.

(1)

Tribastone, Mirco. editor.

(1)

Trujillo, Juan C. editor.

(1)

Vallecillo, Antonio. editor.

(1)

Veanes, Margus. editor.

(1)

Viganò, Luca. editor.

(1)

Vinel, Alexey. editor.

(1)

Voß, Stefan. editor.

(1)

Wagner, Torrey J. editor.

(1)

Wahlster, Wolfgang. editor.

(1)

Wang, Qing. editor.

(1)

Weber, Jens. editor.

(1)

Wernick, Paul. editor.

(1)

Wisniewski, Rafael. editor.

(1)

Woodcock, Jim. editor.

(1)

Wright, Steven. editor.

(1)

Wyk, Eric. editor.

(1)

Yasuo, Nobuaki. editor. (orcid)0000-0002-3114-7895

(1)

Yilmaz, Levent. author.

(1)

Zhu, Huibiao. editor.

(1)

Ölveczky, Peter Csaba. author.

(1)

Ślęzak, Dominik. editor.

(1)

Language

(78)

Publication Date

-

(29)

(13)

(10)

(7)

(3)

(3)

(3)

(3)

(3)

(2)

(1)

(1)

Subject

Computer science.

(57)

Computer simulation.

(49)

Artificial intelligence.

(34)

Simulation and Modeling.

(29)

Computer Communication Networks.

(22)

Computer networks .

(22)

Theory of Computation.

(17)

Computer Engineering and Networks.

(15)

Computer engineering.

(15)

Computer science -- Mathematics.

(14)

Mathematics of Computing.

(13)

Computer software.

(12)

Computer Modelling.

(11)

Computer system performance.

(9)

Information Systems Applications (incl. Internet).

(9)

Algorithm Analysis and Problem Complexity.

(8)

(8)

Programming Languages, Compilers, Interpreters.

(7)

System Performance and Evaluation.

(7)

Data Mining and Knowledge Discovery.

(6)

(6)

Application software.

(5)

Artificial Intelligence (incl. Robotics).

(5)

Information systems.

(5)

Logics and Meanings of Programs.

(5)

Management of Computing and Information Systems.

(5)

Bioinformatics.

(4)

Computer and Information Systems Applications.

(4)

Computer vision.

(4)

Information Systems.

(4)

Management information systems.

(4)

Mathematical Logic and Formal Languages.

(4)

Programming Techniques.

(4)

Special Purpose and Application-Based Systems.

(4)

Business information services.

(3)

Computer System Implementation.

(3)

Computer systems.

(3)

Control Structures and Microprogramming.

(3)

Data and Information Security.

(3)

Data protection.

(3)

Database management.

(3)

(3)

Microprogramming .

(3)

Operating systems (Computers).

(3)

Software Engineering/Programming and Operating Systems.

(3)

Computational Biology/Bioinformatics.

(2)

Computer Appl. in Administrative Data Processing.

(2)

Computer Application in Administrative Data Processing.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer input-output equipment.

(2)

Computer network architectures.

(2)

Energy Economics.

(2)

Engineering economy.

(2)

Health Informatics.

(2)

IT in Business.

(2)

Image processing -- Digital techniques.

(2)

Information technology -- Management.

(2)

Input/Output and Data Communications.

(2)

Medical records -- Data processing.

(2)

Remote Sensing/Photogrammetry.

(2)

Remote sensing.

(2)

Symbolic and Algebraic Manipulation.

(2)

User interfaces (Computer systems).

(2)

Algebra -- Data processing.

(1)

(1)

Biology -- Data processing.

(1)

Business Information Systems.

(1)

Business Process Management.

(1)

Compilers (Computer programs).

(1)

Compilers and Interpreters.

(1)

Computation by Abstract Devices.

(1)

Computational and Systems Biology.

(1)

Computer Appl. in Life Sciences.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Networks.

(1)

Computer Science Logic and Foundations of Programming.

(1)

Computer Science, general.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer architecture.

(1)

Computer communication systems.

(1)

Computer games -- Programming.

(1)

Computer programming.

(1)

Computers and Society.

(1)

Computers, Special purpose.

(1)

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic data processing.

(1)

Electronic digital computers -- Evaluation.

(1)

Engineering design.

(1)

Enterprise Architecture.

(1)

Formal Languages and Automata Theory.

(1)

Game Development.

(1)

Human-computer interaction.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Information theory.

(1)

Machine theory.

(1)

Microprocessors.

(1)

Models of Computation.

(1)

Numeric Computing.

(1)

Operating Systems.

(1)

Performance and Reliability.

(1)

Processor Architectures.

(1)

Social sciences -- Data processing.

(1)

Systems theory.

(1)

(1)

User Interfaces and Human Computer Interaction.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

78 Results Found

Subscribe to search results

1 2 3 4 5 6 7

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 Performance Engineering Learning Through Applications Using JMT

Performance Engineering Learning Through Applications Using JMT

Performance Engineering Learning Through Applications Using JMT

Author

Serazzi, Giuseppe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Advances in Visual Informatics 8th International Visual Informatics Conference, IVIC 2023, Selangor, Malaysia, November 15-17, 2023, Proceedings

Advances in Visual Informatics 8th International Visual Informatics Conference, IVIC 2023, Selangor, Malaysia, November 15-17, 2023, Proceedings

Advances in Visual Informatics 8th International Visual Informatics Conference, IVIC 2023, Selangor, Malaysia, November 15-17, 2023, Proceedings

Author

Badioze Zaman, Halimah. editor. Robinson, Peter. editor. Smeaton, Alan F. editor. De Oliveira, Renato Lima. editor. Jørgensen, Bo Nørregaard. editor. (orcid)0000-0001-5678-6602

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7339-2

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Advanced Information Systems Engineering Workshops CAiSE 2024 International Workshops, Limassol, Cyprus, June 3-7, 2024, Proceedings

Advanced Information Systems Engineering Workshops CAiSE 2024 International Workshops, Limassol, Cyprus, June 3-7, 2024, Proceedings

Advanced Information Systems Engineering Workshops CAiSE 2024 International Workshops, Limassol, Cyprus, June 3-7, 2024, Proceedings

Author

Almeida, João Paulo A. editor. (orcid)0000-0002-9819-3781 Di Ciccio, Claudio. editor. (orcid)0000-0001-5570-0475 Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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

41.

Cover image for Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings

Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings

Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings

Author

Mařík, Vladimír. editor. Wahlster, Wolfgang. editor. Strasser, Thomas. editor. Kadera, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Author

Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

Author

Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51957-9

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers

Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers

Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers

Author

Nardin, Luis Gustavo. editor. Antunes, Luis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Author

Ölveczky, Peter Csaba. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6687-0

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Author

Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63121-9

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Distributed Simulation A Model Driven Engineering Approach

Distributed Simulation A Model Driven Engineering Approach

Distributed Simulation A Model Driven Engineering Approach

Author

Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

Author

Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6 7

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11