Search Results for simulation.

|

|

|

|

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: Information theory.

Author

SpringerLink (Online service)

(54)

Albada, Geert Dick. editor.

(16)

Gervasi, Osvaldo. editor.

(16)

Sloot, Peter M. A. editor.

(16)

Dongarra, Jack. editor.

(14)

Gavrilova, Marina L. editor.

(14)

Mun, Youngsong. editor.

(13)

Taniar, David. editor.

(13)

Kumar, Vipin. editor.

(9)

Laganà, Antonio. editor.

(7)

Laganá, Antonio. editor.

(6)

Choo, Hyunseung. editor.

(5)

Tan, C. J. Kenneth. editor.

(5)

Alexandrov, Vassil N. editor.

(4)

Jensen, Kurt. editor.

(4)

Lee, Heow Pueh. editor.

(4)

Murgante, Beniamino. editor.

(4)

Shi, Yong. editor.

(4)

Tan, Chih Jeng Kenneth. editor.

(4)

Bubak, Marian. editor.

(3)

Sunderam, Vaidy S. editor.

(3)

Allen, Gabrielle. editor.

(2)

Donatelli, Susanna. editor.

(2)

Dongarra, Jack J. editor.

(2)

Gavrilova, Marina. editor.

(2)

Koutny, Maciej. editor.

(2)

Nabrzyski, Jarosław. editor.

(2)

Prokopenko, Mikhail. editor.

(2)

Seidel, Edward. editor.

(2)

Aalst, Wil M. P. editor.

(1)

Abdelwahed, El Hassan. editor.

(1)

Adam, Gheorghe. editor.

(1)

Alexander, Michael. editor.

(1)

Barnat, Jiří. editor.

(1)

Bartz-Beielstein, Thomas. author.

(1)

Bellatreche, Ladjel. editor.

(1)

Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060

(1)

Billington, Jonathan. editor.

(1)

Brabazon, Anthony. author.

(1)

Busemeyer, Jerome R. editor.

(1)

Buša, Ján. editor.

(1)

Ciobanu, Gabriel. editor.

(1)

Colbaugh, Richard. editor.

(1)

Cérin, Christophe. editor.

(1)

César, Eduardo. editor.

(1)

Dubois, François. editor.

(1)

Dutle, Aaron. editor.

(1)

Glass, Kristin. editor.

(1)

Golfarelli, Matteo. editor.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Hnatič, Michal. editor.

(1)

Howar, Falk. editor.

(1)

Huang, Kaiqi. editor.

(1)

Jean, Stéphane. editor.

(1)

Jerraya, A. A. editor.

(1)

Jha, Shantenu. editor.

(1)

Jin, Xiaolong. author.

(1)

Kleijn, Jetty. editor.

(1)

Knüpfer, Andreas. editor.

(1)

Kranzlmüller, Dieter. editor.

(1)

Lambert-Mogiliansky, Ariane. editor.

(1)

Liu, Jiming. author.

(1)

Liu, Zhiming. editor.

(1)

Ma, Huimin. editor.

(1)

Melucci, Massimo. editor.

(1)

Mery, Dominique. editor.

(1)

Meyers, Robert A. editor.

(1)

Muñoz, César. editor.

(1)

Nakamatsu, Kazumi. editor.

(1)

Narkawicz, Anthony. editor.

(1)

Nicolescu, G. editor.

(1)

Ordonez, Carlos. editor.

(1)

Ormerod, Paul. editor.

(1)

O’Neill, Michael. author.

(1)

Peleska, Jan. editor. (orcid)0000-0003-3667-9775

(1)

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

(1)

Păun, Gheorghe. editor.

(1)

Roscoe, Bill. editor.

(1)

Ruan, Qiuqi. editor.

(1)

Streit, Achim. editor.

(1)

Tan, Tieniu. editor.

(1)

Träff, Jesper Larsson. editor.

(1)

Tsao, Jeffrey. editor.

(1)

Tsui, Kwok Ching. author.

(1)

Wang, Shengjin. editor.

(1)

Woodcock, Jim. editor.

(1)

Zhu, Huibiao. editor.

(1)

de Vink, Erik. editor.

(1)

Language

(54)

Publication Date

-

(12)

(8)

(8)

(7)

(6)

(4)

(4)

(3)

(1)

(1)

Subject

Computer simulation.

(54)

Computer science.

(51)

Software engineering.

(44)

Electronic data processing.

(35)

Computer vision.

(30)

Information systems.

(28)

Artificial intelligence.

(10)

Computer software.

(6)

Computer network architectures.

(5)

Computer aided design.

(3)

Simulation and Modeling.

(3)

Theory of Computation.

(3)

Artificial Intelligence (incl. Robotics).

(2)

Bioinformatics.

(2)

Computational complexity.

(2)

Computer Communication Networks.

(2)

Computer system performance.

(2)

(2)

(2)

Optical pattern recognition.

(2)

Banks and banking.

(1)

Biology -- Data processing.

(1)

(1)

Complex Systems.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer industry.

(1)

(1)

(1)

Discrete Mathematics in Computer Science.

(1)

Engineering mathematics.

(1)

(1)

(1)

Information Systems.

(1)

Mathematical optimization.

(1)

Optical data processing.

(1)

Pattern Recognition.

(1)

Systems engineering.

(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

54 Results Found

Subscribe to search results

1 2 3 4 5

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.

1.

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:

2.

Cover image for New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Author

Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02852-7

Format:

Availability

Online Library~1

Available:
Copies:

3.

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:

4.

Cover image for NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Author

Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings

Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings

Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings

Author

Tan, Tieniu. editor. Ruan, Qiuqi. editor. Wang, Shengjin. editor. Ma, Huimin. editor. Huang, Kaiqi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45498-5

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Author

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334837.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39698-4

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Advances in Applied Self-Organizing Systems

Advances in Applied Self-Organizing Systems

Advances in Applied Self-Organizing Systems

Author

Prokopenko, Mikhail. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331148.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5113-5

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

Author

Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332975.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03473-7

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Computational Complexity Theory, Techniques, and Applications

Computational Complexity Theory, Techniques, and Applications

Computational Complexity Theory, Techniques, and Applications

Author

Meyers, Robert A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-1800-9

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Transactions on Petri Nets and Other Models of Concurrency V

Transactions on Petri Nets and Other Models of Concurrency V

Transactions on Petri Nets and Other Models of Concurrency V

Author

Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29072-5

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers

Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers

Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers

Author

Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28212-6

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers

Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers

Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers

Author

Busemeyer, Jerome R. editor. Dubois, François. editor. Lambert-Mogiliansky, Ariane. editor. Melucci, Massimo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35659-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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11