Search Results for Conference proceedings.

|

|

|

|

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

Author

SpringerLink (Online service)

(324)

Gervasi, Osvaldo. editor.

(34)

Taniar, David. editor.

(31)

Murgante, Beniamino. editor.

(22)

Apduhan, Bernady O. editor.

(18)

Albada, Geert Dick. editor.

(16)

Sloot, Peter M. A. editor.

(16)

Dongarra, Jack. editor.

(14)

Gavrilova, Marina L. editor.

(14)

Mun, Youngsong. editor.

(13)

Kumar, Vipin. editor.

(9)

Misra, Sanjay. editor.

(9)

Laganà, Antonio. editor.

(7)

Leung, Chi Sing. editor.

(7)

Fei, Minrui. editor.

(6)

Laganá, Antonio. editor.

(6)

Li, Kang. editor.

(6)

Meng, Weixiao. editor.

(6)

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, Bo. editor.

(5)

Li, Chuandong. editor.

(5)

Ma, Shiwei. editor.

(5)

Malyshkin, Victor. editor.

(5)

Narukawa, Yasuo. editor.

(5)

Nguyen, Hong-Quang. 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)

Alexandrov, Vassil N. editor.

(4)

Jia, Li. editor.

(4)

Lee, Heow Pueh. editor.

(4)

Navab, Nassir. editor.

(4)

Nedjah, Nadia. editor.

(4)

Pardede, Eric. editor.

(4)

Rocha, Ana Maria A. C. editor.

(4)

Shi, Yong. editor.

(4)

Tan, Chih Jeng Kenneth. editor.

(4)

Bubak, Marian. editor.

(3)

Chan, Jonathan H. editor.

(3)

Chen, Yingyi. editor.

(3)

Deng, Hepu. editor.

(3)

Duffy, Vincent G. editor.

(3)

Fong, Joseph. editor.

(3)

Harris, Don. editor.

(3)

Jedlitschka, Andreas. editor.

(3)

Jiang, Tianzi. editor.

(3)

Ju, Zhaojie. editor.

(3)

Kwok, James. editor.

(3)

Lei, Jingsheng. editor.

(3)

Li, Daoliang. editor.

(3)

Li, Xin. editor.

(3)

Liu, Honghai. editor.

(3)

Liu, Jinguo. editor.

(3)

Liu, Lianqing. editor.

(3)

Liu, Yuwang. editor.

(3)

Lu, Bao-Liang. editor.

(3)

Oivo, Markku. editor.

(3)

Pluim, Josien P. W. editor.

(3)

Rueckert, Daniel. editor.

(3)

Sunderam, Vaidy S. editor.

(3)

Tanaka, Satoshi. editor.

(3)

Viergever, Max A. editor.

(3)

Voß, Stefan. editor.

(3)

Xiong, Caihua. editor.

(3)

Xiong, Youlun. editor.

(3)

Yu, Haibin. editor.

(3)

Zhang, Liqing. editor.

(3)

Zhou, Dalin. editor. (orcid)0000-0003-2363-9125

(3)

Abbass, Hussein. editor.

(2)

Al-Begain, Khalid. editor.

(2)

Alippi, Cesare. editor.

(2)

Allen, Gabrielle. editor.

(2)

Ando, Noriaki. editor.

(2)

Auvray, Malika. editor.

(2)

Baldassarre, Maria Teresa. editor.

(2)

Bazzan, Ana L.C. editor.

(2)

Bellatreche, Ladjel. editor.

(2)

Bergmann Tiest, Wouter M. editor.

(2)

Bouzerdoum, Abdesselam. editor.

(2)

Branke, Jürgen. editor.

(2)

Brugali, Davide. editor.

(2)

Chen, Qianbin. editor.

(2)

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

(2)

Cuzzocrea, Alfredo. editor.

(2)

Deb, Kalyanmoy. editor.

(2)

Demazeau, Yves. editor.

(2)

Dongarra, Jack J. editor.

(2)

Duriez, Christian. editor.

(2)

Ellinas, Georgios. editor.

(2)

Erp, Jan B. F. editor.

(2)

Fisher, Robert B. editor.

(2)

Freksa, Christian. editor.

(2)

Gao, Yang. editor.

(2)

Gavrilova, Marina. editor.

(2)

Gu, Xuemai. editor.

(2)

Guo, Qing. editor.

(2)

Hallam, John C. T. editor.

(2)

Hasegawa, Kyoko. editor.

(2)

Hawkes, David. editor.

(2)

Heiner, Monika. editor.

(2)

Helm, Frans C. T. editor.

(2)

Hendtlass, Tim. editor.

(2)

Huang, De-Shuang. editor.

(2)

Huang, Xiong. editor.

(2)

Huang, Yongan. editor.

(2)

Jia, Min. editor. (orcid)0000-0003-3551-8654

(2)

Kappers, Astrid M. L. editor.

(2)

Krüger, Antonio. editor.

(2)

Kwan, Reggie. editor.

(2)

Kłopotek, Mieczysław A. editor.

(2)

Lee, Minho. editor.

(2)

Li, Xiaodong. editor.

(2)

Lin, Song. editor.

(2)

Liu, Gongliang. editor.

(2)

Liò, Pietro. editor.

(2)

Mendis, B. Sumudu U. editor.

(2)

Merigó, José M. editor.

(2)

Meyer, Jean-Arcady. editor.

(2)

Nabrzyski, Jarosław. editor.

(2)

Newcombe, Nora S. editor.

(2)

Nicosia, Giuseppe. editor.

(2)

Noble, Alison. editor.

(2)

Noda, Itsuki. editor.

(2)

Paige, Richard F. editor.

(2)

Panayiotou, Christos. editor.

(2)

Pelachaud, Catherine. editor.

(2)

Perales, Francisco J. editor.

(2)

Polycarpou, Marios. editor.

(2)

Reggiani, Monica. editor.

(2)

Seidel, Edward. editor.

(2)

Shu, Lei. editor.

(2)

Stryk, Oskar. editor.

(2)

Sun, Xin. editor.

(2)

Tan, Gary. editor.

(2)

Tan, Kay Chen. editor.

(2)

Taylor, Chris. editor.

(2)

Teo, Yong Meng. editor.

(2)

Thimm, Matthias. editor.

(2)

Timm, Ingo J. editor.

(2)

Trojanowski, Krzysztof. editor.

(2)

Turner, Stephen John. editor.

(2)

Umeo, Hiroshi. editor.

(2)

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

(2)

Wierzchoń, Sławomir T. editor.

(2)

Wong, Kok Wai. editor.

(2)

Yang, Guang-Zhong. editor.

(2)

Zeng, Deze. editor.

(2)

Zhao, Liqiang. editor.

(2)

Abbes, Mohamed Slim. editor.

(1)

Abdel Wahab, Magd. editor.

(1)

Abdennadher, Moez. editor.

(1)

Abelló, Alberto. editor.

(1)

Abrahao, Silvia. editor.

(1)

Aggarwal, Varun. editor.

(1)

Agre, Gennady. editor.

(1)

Agre, Gennady. editor. (orcid)0000-0003-4610-7973

(1)

Aguirre, Arturo Hernández. editor.

(1)

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

(1)

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

(1)

Akrout, Ali. editor.

(1)

Albrecht, Rudolf F. editor.

(1)

Ali Babar, M. editor.

(1)

Allbeck, Jan M. editor.

(1)

Allbeck, Jan. editor.

(1)

Altinsoy, M. Ercan. editor.

(1)

Amsaad, Fathi. editor.

(1)

Andres, Eric. editor.

(1)

André, Étienne. editor. (orcid)0000-0001-8473-9555

(1)

Antunes, Luis. editor.

(1)

Ardissono, Liliana. editor.

(1)

Arslan, Tughrul. editor.

(1)

Asada, Minoru. editor.

(1)

Atkinson, Colin. editor.

(1)

Atzeni, Paolo. editor.

(1)

Axel, Leon. editor.

(1)

Ayache, Nicholas. editor.

(1)

Aylett, Ruth. editor.

(1)

Bach, Joscha. editor.

(1)

Badler, Norman. editor.

(1)

Bajo Pérez, Javier. editor.

(1)

Bajo, Javier. editor.

(1)

Baker, Paul. editor.

(1)

Balakirsky, Stephen. editor.

(1)

Baldassarre, Gianluca. editor.

(1)

Barais, Olivier. editor.

(1)

Barkowsky, Thomas. editor. (orcid)0000-0002-3961-2595

(1)

Barnat, Jiří. editor.

(1)

Barratt, Dean. editor.

(1)

Bateman, John A. editor.

(1)

Bekris, Kostas. editor.

(1)

Benatallah, Boualem. editor.

(1)

Language

(324)

Publication Date

-

(45)

(36)

(33)

(28)

(26)

(26)

(25)

(24)

(23)

(19)

(19)

(16)

(4)

Subject

Computer science.

(257)

Artificial intelligence.

(158)

Software engineering.

(146)

Computer vision.

(91)

Information systems.

(76)

Computer software.

(71)

Computer Communication Networks.

(58)

(55)

Optical pattern recognition.

(44)

Electronic data processing.

(40)

Information theory.

(35)

Bioinformatics.

(30)

Simulation and Modeling.

(26)

Information storage and retrieval systems.

(22)

(19)

Computer network architectures.

(16)

Computer graphics.

(15)

Database management.

(15)

Computational complexity.

(14)

Computer system performance.

(14)

(14)

(11)

Artificial Intelligence (incl. Robotics).

(10)

Computer communication systems.

(10)

Information Systems.

(10)

Social sciences -- Data processing.

(10)

Algorithm Analysis and Problem Complexity.

(9)

Programming languages (Electronic computers).

(9)

(8)

Computer aided design.

(8)

Information Systems Applications (incl. Internet).

(8)

Computer organization.

(7)

Data Mining and Knowledge Discovery.

(7)

(7)

Optical data processing.

(7)

Application software.

(6)

Biology -- Data processing.

(6)

Data protection.

(6)

Engineering mathematics.

(6)

Management information systems.

(6)

Multimedia systems.

(6)

Radiology, Medical.

(6)

User interfaces (Computer systems).

(6)

(5)

Data structures (Computer science).

(5)

(4)

Computer logic.

(4)

Information storage and retrieval.

(4)

Management of Computing and Information Systems.

(4)

Mathematical Logic and Formal Languages.

(4)

Special purpose computers.

(4)

Algebra -- Data processing.

(3)

Computational Biology/Bioinformatics.

(3)

Computer Appl. in Administrative Data Processing.

(3)

Computer Applications.

(3)

Computers and Society.

(3)

Image Processing and Computer Vision.

(3)

Information Storage and Retrieval.

(3)

Logics and Meanings of Programs.

(3)

Mathematical logic.

(3)

Operating systems (Computers).

(3)

Programming Languages, Compilers, Interpreters.

(3)

Rehabilitation.

(3)

Translators (Computer programs).

(3)

User Interfaces and Human Computer Interaction.

(3)

Business—Data processing.

(2)

(2)

Computation by Abstract Devices.

(2)

Computational Physics and Simulations.

(2)

Computational intelligence.

(2)

Computer Modelling.

(2)

Computer Systems Organization and Communication Networks.

(2)

Computer security.

(2)

Computer system failures.

(2)

Computers and civilization.

(2)

(2)

Information technology.

(2)

Machine learning.

(2)

Mathematical physics.

(2)

(2)

(2)

Pattern Recognition.

(2)

Pattern recognition.

(2)

System Performance and Evaluation.

(2)

Text processing (Computer science.

(2)

(1)

Applied Dynamical Systems.

(1)

Architecture, Computer.

(1)

(1)

(1)

Biological systems.

(1)

Biometrics (Biology).

(1)

Business Information Systems.

(1)

Civil engineering.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational biology .

(1)

Computer Appl. in Life Sciences.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Science, general.

(1)

Computer industry.

(1)

Computer programming.

(1)

Computer science -- Mathematics.

(1)

Computer science—Mathematics.

(1)

Computer-aided engineering.

(1)

Computers and Education.

(1)

(1)

(1)

Data encryption (Computer science).

(1)

(1)

(1)

(1)

Energy systems.

(1)

Engineering Economics, Organization, Logistics, Marketing.

(1)

Engineering design.

(1)

Engineering economy.

(1)

Health Informatics.

(1)

Imaging / Radiology.

(1)

International business enterprises—Cross-cultural studies.

(1)

Machinery and Machine Elements.

(1)

(1)

(1)

Math Applications in Computer Science.

(1)

Mathematical models.

(1)

Mathematical statistics.

(1)

Mathematics -- Data processing.

(1)

Medical records -- Data processing.

(1)

Models and Principles.

(1)

Natural language processing (Computer science).

(1)

Nonlinear theories.

(1)

Numeric Computing.

(1)

Operation Research/Decision Theory.

(1)

Operations research.

(1)

(1)

Performance and Reliability.

(1)

(1)

(1)

Programming Techniques.

(1)

Renewable Energy.

(1)

Renewable energy resources.

(1)

Renewable energy sources.

(1)

(1)

Software Engineering/Programming and Operating Systems.

(1)

Symbolic and Algebraic Manipulation.

(1)

Telecommunication.

(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

324 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 27

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 Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings

Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings

Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings

Author

Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74439-1

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings

Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings

Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings

Author

Li, Cheng. editor. Mao, Shiwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-90802-1

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

Author

Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576 Larsen, Jørgen Christian. editor. (orcid)0000-0002-4741-8290 Xiong, Xiaofeng. editor. Hallam, John. editor. Triesch, Jochen. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II

Author

Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Author

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Author

Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00151-3

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017

VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017

VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017

Author

Tavares, João Manuel R.S. editor. Natal Jorge, R.M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Author

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings

Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings

Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings

Author

Li, Liang. editor. Hasegawa, Kyoko. editor. Tanaka, Satoshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2853-4

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Author

Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Author

Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00244-2

Format:

Availability

Online Library~1

Available:
Copies:

48.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 27

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11