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 Modeling, Simulation and Optimization Proceedings of CoMSO 2022

Modeling, Simulation and Optimization Proceedings of CoMSO 2022

Modeling, Simulation and Optimization Proceedings of CoMSO 2022

Author

Das, Biplab. editor. (orcid)0000-0003-3752-6308 Patgiri, Ripon. editor. (orcid)0000-0002-9899-9152 Bandyopadhyay, Sivaji. editor. (orcid)0000-0003-2607-1774 Balas, Valentina Emilia. editor. Roy, Sukanta. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-6866-4

Format:

Availability

Online Library~1

Available:
Copies:

27.

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:

28.

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:

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 Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I

Author

Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-3966-9

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Author

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Quality, Reliability, Security and Robustness in Heterogeneous Networks 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016, Proceedings

Quality, Reliability, Security and Robustness in Heterogeneous Networks 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016, Proceedings

Quality, Reliability, Security and Robustness in Heterogeneous Networks 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016, Proceedings

Author

Lee, Jong-Hyouk. editor. Pack, Sangheon. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60717-7

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Advances in Social Simulation 2015

Advances in Social Simulation 2015

Advances in Social Simulation 2015

Author

Jager, Wander. editor. Verbrugge, Rineke. editor. Flache, Andreas. editor. de Roo, Gert. editor. Hoogduin, Lex. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II

Author

Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-3969-0

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Urban Dynamics and Simulation Models

Urban Dynamics and Simulation Models

Urban Dynamics and Simulation Models

Author

Pumain, Denise. author. Reuillon, Romain. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46497-8

Format:

Availability

Online Library~1

Available:
Copies:

36.

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:

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