Search Results for - Narrowed by: Computer simulation. - Simulation and Modeling. - Theory of Computation.

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

2024-06-22T11:05:01Z

by Dutle, Aaron. editor.
https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources

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

2024-06-22T11:05:01Z

by Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources

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

2024-06-22T11:05:01Z

by Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-02852-7
Format: Electronic Resources

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

2024-06-22T11:05:01Z

by Howar, Falk. editor.
https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I

2024-06-22T11:05:01Z

by Bubak, Marian. editor.
http://dx.doi.org/10.1007/978-3-540-69384-0
Format: Electronic Resources

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II

2024-06-22T11:05:01Z

by Bubak, Marian. editor.
http://dx.doi.org/10.1007/978-3-540-69387-1
Format: Electronic Resources

Advances in Applied Self-organizing Systems

2024-06-22T11:05:01Z

by Prokopenko, Mikhail. editor.
http://dx.doi.org/10.1007/978-1-84628-982-8
Format: Electronic Resources

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III

2024-06-22T11:05:01Z

by Bubak, Marian. editor.
http://dx.doi.org/10.1007/978-3-540-69389-5
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I

2024-06-22T11:05:01Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-69839-5
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II

2024-06-22T11:05:01Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-69848-7
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III

2024-06-22T11:05:01Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72588-6
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV

2024-06-22T11:05:01Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72590-9
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I

2024-06-22T11:05:01Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72584-8
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I

2024-06-22T11:05:01Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-74472-6
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II

2024-06-22T11:05:01Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-74477-1
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III

2024-06-22T11:05:01Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-74484-9
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II

2024-06-22T11:05:01Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72586-2
Format: Electronic Resources

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

2024-06-22T11:05:01Z

by Nicolescu, G. editor.
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: Electronic Resources

Experimental Research in Evolutionary Computation The New Experimentalism

2024-06-22T11:05:01Z

by Bartz-Beielstein, Thomas. author.
http://dx.doi.org/10.1007/3-540-32027-X
Format: Electronic Resources

Grammatical Picture Generation A Tree-Based Approach

2024-06-22T11:05:01Z

by Drewes, Frank. author.
http://dx.doi.org/10.1007/3-540-32507-7
Format: Electronic Resources

Applications of Membrane Computing

2024-06-22T11:05:01Z

by Ciobanu, Gabriel. editor.
http://dx.doi.org/10.1007/3-540-29937-8
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I

2024-06-22T11:05:01Z

by Gavrilova, Marina. editor.
http://dx.doi.org/10.1007/11751540
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II

2024-06-22T11:05:01Z

by Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/11751588
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III

2024-06-22T11:05:01Z

by Gavrilova, Marina. editor.
http://dx.doi.org/10.1007/11751595
Format: Electronic Resources

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I

2024-06-22T11:05:01Z

by Alexandrov, Vassil N. editor.
http://dx.doi.org/10.1007/11758501
Format: Electronic Resources

Biologically Inspired Algorithms for Financial Modelling

2024-06-22T11:05:01Z

by Brabazon, Anthony. author.
http://dx.doi.org/10.1007/3-540-31307-9
Format: Electronic Resources

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II

2024-06-22T11:05:01Z

by Alexandrov, Vassil N. editor.
http://dx.doi.org/10.1007/11758525
Format: Electronic Resources

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III

2024-06-22T11:05:01Z

by Alexandrov, Vassil N. editor.
http://dx.doi.org/10.1007/11758532
Format: Electronic Resources

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV

2024-06-22T11:05:01Z

by Alexandrov, Vassil N. editor.
http://dx.doi.org/10.1007/11758549
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV

2024-06-22T11:05:01Z

by Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/11751632
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V

2024-06-22T11:05:01Z

by Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/11751649
Format: Electronic Resources

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II

2024-06-22T11:05:01Z

by Sunderam, Vaidy S. editor.
http://dx.doi.org/10.1007/b136571
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II

2024-06-22T11:05:01Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/b136269
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV

2024-06-22T11:05:01Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/b136278
Format: Electronic Resources

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I

2024-06-22T11:05:01Z

by Sunderam, Vaidy S. editor.
http://dx.doi.org/10.1007/b136570
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III

2024-06-22T11:05:01Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/b136271
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I

2024-06-22T11:05:01Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/b136266
Format: Electronic Resources

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling

2024-06-22T11:05:01Z

by Liu, Jiming. author.
http://dx.doi.org/10.1007/b101185
Format: Electronic Resources

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III

2024-06-22T11:05:01Z

by Sunderam, Vaidy S. editor.
http://dx.doi.org/10.1007/b136575
Format: Electronic Resources