Search Results for System.

|

|

|

|

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 Modelling.

Author

SpringerLink (Online service)

(108)

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

(3)

Bian, Fuling. editor.

(3)

Moreno-Díaz, Roberto. editor.

(3)

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

(3)

Bajo, Javier. editor.

(2)

Berbineau, Marion. editor.

(2)

Bonneville, Hervé. editor.

(2)

Du, Dajun. editor.

(2)

Dudin, Alexander. editor. (orcid)0000-0003-2881-0227

(2)

Fei, Minrui. editor.

(2)

Geng, Jing. editor.

(2)

Julián, Vicente. editor.

(2)

Kozyrev, Dmitry V. editor.

(2)

Li, Kang. editor.

(2)

Li, Xin. editor.

(2)

Mendizabal, Jaizki. editor.

(2)

Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629

(2)

Niu, Qun. editor.

(2)

Novais, Paulo. editor. (orcid)0000-0002-3549-0754

(2)

Pirovano, Alain. editor.

(2)

Samouylov, Konstantin E. editor.

(2)

Setola, Roberto. editor.

(2)

Shi, Yuhui. editor.

(2)

Sun, Xin. editor.

(2)

Takagi, Hideyuki. editor.

(2)

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

(2)

Unland, Rainer. editor.

(2)

Vinel, Alexey. editor.

(2)

Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847

(2)

Yang, Zhile. editor.

(2)

Yuan, Hanning. editor.

(2)

Abrahamsson, Pekka. editor.

(1)

Agha, Gul. editor.

(1)

Ahrndt, Sebastian. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Al-Begain, Khalid. editor.

(1)

Allan, Andrew. editor.

(1)

Amasaki, Sousuke. editor.

(1)

Aniss, Hasnaa. editor.

(1)

Aniss, Hasnaâ. editor.

(1)

Anzola, David. editor.

(1)

Axenie, Cristian. author. (orcid)0000-0001-6184-0546

(1)

Azambuja-Silveira, Ricardo. editor.

(1)

Bailly, Christophe. author.

(1)

Balas, Valentina Emilia. editor.

(1)

Bandyopadhyay, Sivaji. editor. (orcid)0000-0003-2607-1774

(1)

Barbosa, Jorge. editor.

(1)

Bargiela, Andrzej. editor.

(1)

Bauer, Roman. author. (orcid)0000-0002-7268-9359

(1)

Bauer, Sebastian. author.

(1)

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929

(1)

Berry, Stuart. editor.

(1)

Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394

(1)

Best, Eike. editor.

(1)

Beyer, Christof. author.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Blasch, Erik. editor.

(1)

Bortolussi, Luca. editor.

(1)

Borutzky, Wolfgang. author.

(1)

Cabello, Enrique. editor.

(1)

Cai, Jianping. author.

(1)

Camacho, Rui. editor.

(1)

Cao, Bing-Yuan. editor.

(1)

Cao, Zhiru. editor.

(1)

Cardoso, Jorge. editor.

(1)

Carrascosa, Carlos. editor.

(1)

Cavalheiro, Simone. editor.

(1)

Chen, Xinjun. editor.

(1)

Chen, Zhi. editor. (orcid)0000-0002-9307-4871

(1)

Comte-Bellot, Geneviève. author.

(1)

Criado Pacheco, Natalia. editor.

(1)

Cui, Shumei. editor.

(1)

Dal Lago, Ugo. editor.

(1)

Das, Biplab. editor. (orcid)0000-0003-3752-6308

(1)

Del Val, Elena. editor.

(1)

Di Marco, Antinisca. editor.

(1)

Dorling, Alec. editor.

(1)

Ducourthial, Bertrand. editor.

(1)

Duque Méndez, Nestor D. editor.

(1)

Durak, Umut. author.

(1)

Dutle, Aaron. editor. (orcid)0000-0002-8503-5514

(1)

Dutra, Inês. editor.

(1)

Dutta, Hemen. editor.

(1)

Edmonds, Bruce. editor.

(1)

Elsenbroich, Corinna. editor.

(1)

Erban, Vojtěch. author.

(1)

Escalona, María José. editor.

(1)

Fakhimi, Masoud. editor. (orcid)0000-0002-7144-7868

(1)

Fang, Jiancheng. author.

(1)

Farrow, Colin. author.

(1)

Fei, Zixiang. editor.

(1)

Felderer, Michael. editor.

(1)

Fiadeiro, José. editor.

(1)

Fiems, Dieter. editor.

(1)

Fischer, Joachim. author. (orcid)0000-0003-2476-3996

(1)

Fischer, Thomas. author.

(1)

Flache, Andreas. editor.

(1)

Fowler, John. editor.

(1)

Furia, Carlo A. editor.

(1)

Furze, James N. editor.

(1)

Gallieri, Marco. author.

(1)

García, Jesús. editor. (orcid)0000-0003-1768-2688

(1)

Geertman, Stan. editor.

(1)

Gilbert, Nigel. editor.

(1)

Giroux, Sylvain. editor.

(1)

Gong, Xiaolin. author.

(1)

Gopinath, Divya. editor. (orcid)0000-0002-1242-7701

(1)

Gortsev, Alexander. editor.

(1)

Gołębiowski, Lesław. editor.

(1)

Gu, Juping. editor.

(1)

Guan, Yanpeng. editor.

(1)

Guarnieri, Patricia. editor.

(1)

Guerber, Christophe. editor.

(1)

Gupta, Anil K. editor.

(1)

Guzzi, Rodolfo. author.

(1)

Hagiya, Masami. editor.

(1)

Hallenborg, Kasper. editor.

(1)

Han, Qinglong. editor.

(1)

Hemelrijk, Charlotte. editor.

(1)

Hoffa-Dąbrowska, Patrycja. editor.

(1)

Holmgren, Johan. editor.

(1)

Hoogduin, Lex. editor.

(1)

Hu, Fuyuan. editor.

(1)

Hu, Yukun. editor. (orcid)0000-0002-7480-4250

(1)

Humphrey, Laura. editor. (orcid)0000-0002-3148-9035

(1)

Jager, Wander. editor.

(1)

Jang, Eunseon. author.

(1)

Janoušek, Vojtěch. author.

(1)

Jedlitschka, Andreas. editor.

(1)

Jia, Li. editor.

(1)

Jia, Xinchun. editor.

(1)

Jiang, Xiaoyi. editor.

(1)

Jiao, Zongxia. author.

(1)

Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037

(1)

Kacprzyk, Janusz. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Kirpichnikov, Alexander. editor.

(1)

Klusch, Matthias. editor.

(1)

Klügl, Franziska. editor.

(1)

Kotsialos, Apostolos. editor.

(1)

Koziel, Slawomir. editor.

(1)

Kozyrev, Dmitry. editor.

(1)

Kramer, Oliver. author. (orcid)0000-0001-7607-1700

(1)

Kunze, Matthias. author.

(1)

Kunčak, Viktor. editor.

(1)

Kyriakides, Elias. editor.

(1)

Langerak, Rom. editor.

(1)

Lanusse, Patrick. author.

(1)

Lee, Jong-Hyouk. editor.

(1)

Leifsson, Leifur. editor.

(1)

Li, Jianli. author.

(1)

Li, Xue. editor.

(1)

Lin, Feng. author.

(1)

Liu, Kailong. editor.

(1)

Llinas, James. editor.

(1)

Lopes, Fernando. editor.

(1)

Lowndes, Val. editor.

(1)

Ludwig, André. editor.

(1)

Luk, Patrick. editor.

(1)

López Corona, Oliver. author.

(1)

Ma, Shiwei. editor.

(1)

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

(1)

Maestre, José M. editor. (orcid)0000-0002-4968-6811

(1)

Majumdar, Rupak. editor.

(1)

Marques, Osni. editor.

(1)

Martin, Hervé. author.

(1)

Maruyama, Hiroshi. editor.

(1)

Mas, Antonia. editor.

(1)

Mathieu, Philippe. editor.

(1)

Mazur, Damian. editor.

(1)

McClatchey, Richard H. editor.

(1)

McCluskey, Thomas Leo. editor.

(1)

Melchior, Pierre. author.

(1)

Merz, Stephan. editor.

(1)

Mesquida, Antoni. editor.

(1)

Meyer, Benjamin. author.

(1)

Meyer, Ruth. editor.

(1)

Micheloni, Rino. editor.

(1)

Mikkonen, Tommi. editor.

(1)

Moyen, Jean-François. author. (orcid)0000-0002-0065-2442

(1)

Mughal, Asif Mahmood. author.

(1)

Mustafee, Navonil. editor. (orcid)0000-0002-2204-8924

(1)

Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260

(1)

Müller, Jörg P. editor.

(1)

Nasseri, Hadi. editor.

(1)

Nguyen Duc, Anh. editor. (orcid)0000-0002-7063-9200

(1)

Nikolaev, Viacheslav. editor.

(1)

Niu, Ben. editor.

(1)

Nixdorf, Erik. author.

(1)

O'Connor, Rory V. editor.

(1)

Obaidat, Mohammad S. editor.

(1)

Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044

(1)

Osman, Nardine. editor.

(1)

Oustaloup, Alain. author.

(1)

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

(1)

P. Zeigler, Bernard. author.

(1)

Pacheco, Jaime. author. (orcid)0000-0002-2377-1639

(1)

Pack, Sangheon. editor.

(1)

Pan, Feng. author.

(1)

Language

(108)

Publication Date

-

(42)

(35)

(11)

(11)

(7)

(2)

Subject

Computer simulation.

(108)

Software engineering.

(28)

Electronic digital computers -- Evaluation.

(24)

System Performance and Evaluation.

(24)

Artificial intelligence.

(22)

Computer networks .

(22)

Computer science -- Mathematics.

(21)

Computer science.

(21)

Computer Communication Networks.

(19)

Application software.

(17)

Computer and Information Systems Applications.

(17)

Computers, Special purpose.

(16)

Special Purpose and Application-Based Systems.

(16)

Mathematical statistics.

(12)

Probability and Statistics in Computer Science.

(12)

Computer Science Logic and Foundations of Programming.

(11)

(11)

(9)

Computational intelligence.

(9)

Control engineering.

(8)

Complex Systems.

(7)

Data Mining and Knowledge Discovery.

(7)

(7)

Mathematics of Computing.

(7)

Operations research.

(7)

Theory of Computation.

(7)

Electronic data processing -- Management.

(6)

Formal Languages and Automata Theory.

(6)

(6)

Machine theory.

(6)

Physical geography.

(6)

Computer programming.

(5)

(5)

Control and Systems Theory.

(5)

Machine learning.

(5)

Operations Research and Decision Theory.

(5)

Programming Techniques.

(5)

(5)

(4)

Bioinformatics.

(4)

Communications Engineering, Networks.

(4)

Compilers (Computer programs).

(4)

Compilers and Interpreters.

(4)

Control theory.

(4)

Control, Robotics, Automation.

(4)

Geographic information systems.

(4)

Geographical Information System.

(4)

Mathematical Applications in Computer Science.

(4)

Systems Theory, Control.

(4)

Telecommunication.

(4)

Business information services.

(3)

Computational and Systems Biology.

(3)

Computer Engineering and Networks.

(3)

Computer engineering.

(3)

Earth System Sciences.

(3)

IT in Business.

(3)

Information Storage and Retrieval.

(3)

Information storage and retrieval systems.

(3)

Mathematical Modeling and Industrial Mathematics.

(3)

Mathematical models.

(3)

Mathematical optimization.

(3)

Mathematical physics.

(3)

Models of Computation.

(3)

Numerical analysis.

(3)

(3)

Security Science and Technology.

(3)

Security systems.

(3)

Theoretical, Mathematical and Computational Physics.

(3)

Biological models.

(2)

Computer Hardware.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer System Implementation.

(2)

Computer graphics.

(2)

Computer systems.

(2)

Computer vision.

(2)

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

(2)

Computer-aided engineering.

(2)

Computers and Society.

(2)

Computers and civilization.

(2)

Data and Information Security.

(2)

Data protection.

(2)

Dynamical systems.

(2)

Engineering mathematics.

(2)

(2)

Health Informatics.

(2)

Human-computer interaction.

(2)

Image processing -- Digital techniques.

(2)

Industrial Management.

(2)

Industrial and Production Engineering.

(2)

Industrial engineering.

(2)

Information technology -- Management.

(2)

Management science.

(2)

Mathematics -- Data processing.

(2)

Medical informatics.

(2)

Natural Hazards.

(2)

Natural disasters.

(2)

Operations Research, Management Science.

(2)

(2)

Probability Theory.

(2)

Production engineering.

(2)

(2)

Sociological Methods.

(2)

Sociology -- Methodology.

(2)

Sociology, Urban.

(2)

The Computing Profession.

(2)

Urban Sociology.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

Aerospace Technology and Astronautics.

(1)

Aerospace engineering.

(1)

Algebraic geometry.

(1)

Applications of Mathematics.

(1)

Applied Dynamical Systems.

(1)

Arithmetic and Logic Structures.

(1)

(1)

Automated Pattern Recognition.

(1)

Behavioral Neuroscience.

(1)

(1)

Biomedical Engineering and Bioengineering.

(1)

Biomedical engineering.

(1)

(1)

Business Process Management.

(1)

(1)

Cardiovascular Physiology.

(1)

Cardiovascular system.

(1)

Chemistry -- Data processing.

(1)

Climate Sciences.

(1)

(1)

Cognitive psychology.

(1)

Computational Chemistry.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational Science and Engineering.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer architecture.

(1)

Computer arithmetic and logic units.

(1)

Computers and Education.

(1)

Conservation biology.

(1)

Continuum mechanics.

(1)

(1)

Data Analysis and Big Data.

(1)

Database management.

(1)

Design and Analysis of Algorithms.

(1)

(1)

(1)

(1)

Education -- Data processing.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic commerce.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Energy Policy, Economics and Management.

(1)

Energy and state.

(1)

(1)

Engineering -- Data processing.

(1)

Engineering Fluid Dynamics.

(1)

Engineering design.

(1)

(1)

Environmental Sciences.

(1)

Environmental chemistry.

(1)

Environmental health.

(1)

Environmental management.

(1)

Evolution (Biology).

(1)

Evolutionary Biology.

(1)

Fluid mechanics.

(1)

Freshwater and Marine Ecology.

(1)

Freshwater ecology.

(1)

(1)

(1)

Hardware Performance and Reliability.

(1)

Human behavior.

(1)

Human geography.

(1)

(1)

Machinery and Machine Elements.

(1)

(1)

Marine ecology.

(1)

Mathematical Models of Cognitive Processes and Neural Networks.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical statistics -- Data processing.

(1)

(1)

Mechanics, Applied.

(1)

(1)

Microprocessors.

(1)

Multiagent systems.

(1)

Multibody Systems and Mechanical Vibrations.

(1)

Multibody systems.

(1)

Neural networks (Computer science) .

(1)

(1)

(1)

Nonlinear theories.

(1)

Ocean Sciences.

(1)

(1)

Pattern recognition systems.

(1)

(1)

Processor Architectures.

(1)

(1)

Quantitative Economics.

(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

108 Results Found

Subscribe to search results

1 2 3 4 5 .. 9

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.

25.

Cover image for MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

Author

Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-1176-9

Format:

Availability

Online Library~1

Available:
Copies:

26.

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:

27.

Cover image for Intelligent Systems and Computing

Intelligent Systems and Computing

Intelligent Systems and Computing

Author

Cao, Bing-Yuan. editor. Wang, Shu-Feng. editor. Nasseri, Hadi. editor. Zhong, Yu-Bin. editor. (orcid)0000-0002-0473-0372 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2891-6

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Hybrid Modeling and Simulation Conceptualizations, Methods and Applications

Hybrid Modeling and Simulation Conceptualizations, Methods and Applications

Hybrid Modeling and Simulation Conceptualizations, Methods and Applications

Author

Fakhimi, Masoud. editor. (orcid)0000-0002-7144-7868 Mustafee, Navonil. editor. (orcid)0000-0002-2204-8924 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Computational Methods for Biological Models

Computational Methods for Biological Models

Computational Methods for Biological Models

Author

Singh, Harendra. editor. Dutta, Hemen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-5001-0

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

Author

Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Electromagnetic Linear Machines with Dual Halbach Array Design and Analysis

Electromagnetic Linear Machines with Dual Halbach Array Design and Analysis

Electromagnetic Linear Machines with Dual Halbach Array Design and Analysis

Author

Yan, Liang. author. Zhang, Lu. author. Peng, Juanjuan. author. Zhang, Lei. author. Jiao, Zongxia. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies

Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies

Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies

Author

Micheloni, Rino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Author

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Modeling with Digital Ocean and Digital Coast

Modeling with Digital Ocean and Digital Coast

Modeling with Digital Ocean and Digital Coast

Author

Zhang, Xin. editor. Wang, Lei. editor. Jiang, Xiaoyi. editor. Zhu, Changming. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings

Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings

Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings

Author

Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Simulating Social Complexity A Handbook

Simulating Social Complexity A Handbook

Simulating Social Complexity A Handbook

Author

Edmonds, Bruce. editor. Meyer, Ruth. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 9

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11