Search Results for Computer simulation.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Konu: Information theory.

Yazar

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)

Tümünü genişlet

Dil

(54)

Yayın Yılı

-

(12)

(8)

(8)

(7)

(6)

(4)

(4)

(3)

(1)

(1)

Tümünü genişlet

Konu

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)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

54 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

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

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

Yazar

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)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Advances in Applied Self-Organizing Systems için kapak resmi

Advances in Applied Self-Organizing Systems

Advances in Applied Self-Organizing Systems

Yazar

Prokopenko, Mikhail. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(331148.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE(332975.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE(334837.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Computational Complexity Theory, Techniques, and Applications için kapak resmi

Computational Complexity Theory, Techniques, and Applications

Computational Complexity Theory, Techniques, and Applications

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Transactions on Petri Nets and Other Models of Concurrency V için kapak resmi

Transactions on Petri Nets and Other Models of Concurrency V

Transactions on Petri Nets and Other Models of Concurrency V

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35659-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11