Search Results for Computer Modelling.

|

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: Computer science.

Yazar

SpringerLink (Online service)

(95)

Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

(7)

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914

(7)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(7)

Paszynski, Maciej. editor.

(7)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(7)

de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453

(7)

Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382

(6)

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052

(6)

Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757

(6)

Kowalczyk, Ryszard. editor.

(4)

Finkbeiner, Bernd. editor.

(3)

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792

(3)

Heule, Marijn. editor. (orcid)0000-0002-5587-8801

(3)

Kovács, Laura. editor.

(3)

Nguyen, Ngoc Thanh. editor.

(3)

Shi, Yuhui. editor.

(3)

Tan, Ying. editor. (orcid)0000-0001-8243-4731

(3)

Artho, Cyrille. editor.

(2)

Bello, Fernando. editor.

(2)

Filipe, Joaquim. editor.

(2)

Kajimoto, Hiroyuki. editor.

(2)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(2)

Mercik, Jacek. editor.

(2)

Ren, Jinchang. editor.

(2)

Visell, Yon. editor.

(2)

Zhang, Zili. editor.

(2)

Ölveczky, Peter Csaba. editor.

(2)

Abate, Alessandro. editor.

(1)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Aceto, Luca. editor.

(1)

Agha, Gul. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Al-Begain, Khalid. editor.

(1)

Antunes, Luis. editor.

(1)

Axenie, Cristian. author. (orcid)0000-0001-6184-0546

(1)

Bac, Alexandra. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Bandini, Stefania. editor.

(1)

Barbosa, Jorge. editor.

(1)

Bargiela, Andrzej. editor.

(1)

Bartocci, Ezio. editor.

(1)

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

(1)

Bauer, Roman. author. (orcid)0000-0002-7268-9359

(1)

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929

(1)

Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394

(1)

Best, Eike. editor.

(1)

Bilò, Vittorio. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Blum, Christian. author.

(1)

Boldo, Sylvie. editor.

(1)

Bortolussi, Luca. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Camacho, Rui. editor.

(1)

Cavalheiro, Simone. editor.

(1)

Chen, Rongjun. editor.

(1)

Chen, Wenguang. editor.

(1)

Cinquemani, Eugenio. editor.

(1)

Comyn-Wattiau, Isabelle. editor.

(1)

Cook, Matthew. editor.

(1)

Dal Lago, Ugo. editor.

(1)

Dennunzio, Alberto. editor.

(1)

Di Marco, Antinisca. editor.

(1)

Donzé, Alexandre. editor.

(1)

Dudin, Alexander. editor. (orcid)0000-0003-2881-0227

(1)

Durak, Umut. author.

(1)

Dutle, Aaron. editor. (orcid)0000-0002-8503-5514

(1)

Dutra, Inês. editor.

(1)

El Yacoubi, Samira. editor.

(1)

England, Matthew. editor.

(1)

Feret, Jérôme. editor.

(1)

Festa, Paola. editor.

(1)

Fiadeiro, José. editor.

(1)

Fiems, Dieter. editor.

(1)

Flammini, Michele. editor.

(1)

Formenti, Enrico. editor.

(1)

Fränzle, Martin. editor.

(1)

Furia, Carlo A. editor.

(1)

Gairing, Martin. editor.

(1)

Gao, Zhi. editor.

(1)

Gaudou, Benoit. editor.

(1)

Geeraerts, Gilles. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

Gopinath, Divya. editor. (orcid)0000-0002-1242-7701

(1)

Gortsev, Alexander. editor.

(1)

Han, Qilong. editor.

(1)

Hasan, Osman. editor.

(1)

Hodicky, Jan. editor.

(1)

Huang, Kaizhu. editor.

(1)

Humphrey, Laura. editor. (orcid)0000-0002-3148-9035

(1)

Hussain, Amir. editor.

(1)

Hussain, Amir. editor. (orcid)0000-0002-8080-082X

(1)

Ingólfsdóttir, Anna. editor.

(1)

Jabrzemski, Rafal. author.

(1)

James, Phillip. editor.

(1)

Jenihhin, Maksim. author.

(1)

Jiang, Bo. editor.

(1)

Jin, Yaochu. editor.

(1)

Jing, Weipeng. editor.

(1)

Johansson, Moa. editor.

(1)

Jutman, Artur. author.

(1)

Kagan, Evgeny. author.

(1)

Kapitsaki, Georgia M. editor.

(1)

Kapur, Deepak. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Koeppl, Heinz. editor.

(1)

Kohlhase, Michael. editor.

(1)

Kunze, Matthias. author.

(1)

Kunčak, Viktor. editor.

(1)

Kvasov, Dmitri E. editor.

(1)

Lakshmivarahan, Sivaramakrishnan. author.

(1)

Lamprecht, Anna-Lena. editor.

(1)

Langerak, Rom. editor.

(1)

Lankhorst, Marc. author.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Lecomte, Thierry. editor.

(1)

Legay, Axel. editor.

(1)

Leva, M. Chiara. editor.

(1)

Lewis, John M. author.

(1)

Li, Chenglong. editor.

(1)

Li, Li. editor.

(1)

Li, Xiaodong. editor.

(1)

Liao, Iman Yi. editor.

(1)

Lind, Morten. author.

(1)

Lio, Pietro. editor. (orcid)0000-0002-0540-5053

(1)

Liu, Xiaoyong. editor.

(1)

Longo, Luca. editor.

(1)

Lu, Zeguang. editor.

(1)

López Corona, Oliver. author.

(1)

Ma, Ping. editor.

(1)

Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545

(1)

Mahmud, Mufti. editor.

(1)

Majumdar, Rupak. editor.

(1)

Manzoni, Luca. editor.

(1)

Mardare, Radu. editor.

(1)

Mari, Jean-Luc. editor.

(1)

Marques, Osni. editor.

(1)

Maul, Thomas. editor.

(1)

Merz, Stephan. editor.

(1)

Middendorf, Martin. editor.

(1)

Miller, Bruce. editor.

(1)

Moller, Faron. author.

(1)

Nardin, Luis Gustavo. editor.

(1)

Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629

(1)

Neary, Turlough. editor.

(1)

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948

(1)

Niu, Ben. editor.

(1)

Oğuztüzün, Halit. author.

(1)

Paoletti, Nicola. editor.

(1)

Paolieri, Marco. editor.

(1)

Paskevich, Andrei. editor.

(1)

Platis, Agapios N. editor.

(1)

Porreca, Antonio E. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Rabe, Florian. editor.

(1)

Raik, Jaan. author.

(1)

Reinecke, Philipp. editor.

(1)

Rensink, Arend. editor.

(1)

Ribeiro, Leila. editor.

(1)

Roggenbach, Markus. editor.

(1)

Rupino da Cunha, Paulo. editor.

(1)

Rybalov, Alexander. author.

(1)

Saeki, Motoshi. editor.

(1)

Santana de Almeida, Eduardo. editor.

(1)

Savani, Rahul. editor.

(1)

Sellmann, Meinolf. editor.

(1)

Sergeyev, Yaroslav D. editor.

(1)

Shi, Nija. editor.

(1)

Sichman, Jaime Simao. editor. (orcid)0000-0001-8924-9643

(1)

Sokolsky, Oleg. editor.

(1)

Song, Il-Yeol. editor.

(1)

Steffen, Bernhard. editor.

(1)

Struth, Georg. author.

(1)

Sun, Guanglu. editor. (orcid)0000-0003-2589-1164

(1)

Tan, Kay Chen. editor.

(1)

Tanaka, Katsumi. editor.

(1)

Tang, Ke. editor.

(1)

Teschke, Olaf. editor.

(1)

Thomas, Adrian. author.

(1)

Titolo, Laura. editor. (orcid)0000-0001-7820-7640

(1)

Tompa, Frank. editor.

(1)

Topçu, Okan. author.

(1)

Torbert, Shane. author.

(1)

Ubar, Raimund. author.

(1)

Van Houdt, Benny. editor.

(1)

Vanschoren, Joaquin. editor.

(1)

Wang, Ji. editor.

(1)

Wang, Shuqiang. editor.

(1)

Weske, Mathias. author.

(1)

West, Jeffrey. author. (orcid)0000-0001-9579-4664

(1)

Wies, Thomas. editor.

(1)

Wąs, Jarosław. editor.

(1)

Yager, Ronald. author.

(1)

Yakupov, Rafael. editor.

(1)

Yamamoto, Shuichiro. editor.

(1)

Yang, Erfu. editor.

(1)

Yilmaz, Levent. author.

(1)

Yin, Guisheng. editor.

(1)

Tümünü genişlet

Dil

(95)

Yayın Yılı

-

(38)

(27)

(15)

(13)

(1)

(1)

Tümünü genişlet

Konu

Computer Modelling.

(76)

Computer simulation.

(76)

Software engineering.

(59)

Theory of Computation.

(50)

Artificial intelligence.

(41)

Computer Science Logic and Foundations of Programming.

(34)

Computer networks .

(33)

Computer science -- Mathematics.

(30)

Computer Engineering and Networks.

(17)

Computer engineering.

(17)

(16)

Computer Communication Networks.

(16)

Formal Languages and Automata Theory.

(16)

Machine theory.

(16)

Compilers (Computer programs).

(15)

Compilers and Interpreters.

(15)

Mathematics of Computing.

(14)

Models of Computation.

(14)

Mathematical statistics.

(13)

Probability and Statistics in Computer Science.

(13)

Electronic digital computers -- Evaluation.

(11)

System Performance and Evaluation.

(11)

Application software.

(8)

Computer and Information Systems Applications.

(8)

Computational intelligence.

(6)

Control Structures and Microprogramming.

(6)

Microprogramming .

(6)

Numerical analysis.

(6)

(5)

Data Mining and Knowledge Discovery.

(5)

(5)

Bioinformatics.

(4)

Computer programming.

(4)

Computers and Society.

(4)

Computers and civilization.

(4)

(4)

Programming Techniques.

(4)

The Computing Profession.

(4)

Computational and Systems Biology.

(3)

Computer vision.

(3)

Computers, Special purpose.

(3)

Discrete Mathematics in Computer Science.

(3)

Electronic data processing -- Management.

(3)

(3)

Mathematical Logic and Foundations.

(3)

Mathematical logic.

(3)

Special Purpose and Application-Based Systems.

(3)

Business information services.

(2)

Computer Application in Social and Behavioral Sciences.

(2)

Computer graphics.

(2)

Database management.

(2)

Discrete mathematics.

(2)

Electronic commerce.

(2)

Human-computer interaction.

(2)

IT in Business.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Information technology -- Management.

(2)

Machine learning.

(2)

Operations research.

(2)

Social sciences -- Data processing.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

e-Commerce and e-Business.

(2)

Algebraic logic.

(1)

Algebraic topology.

(1)

Arithmetic and Logic Structures.

(1)

Atmospheric science.

(1)

Business Process Management.

(1)

Computational complexity.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer architecture.

(1)

Computer arithmetic and logic units.

(1)

Design and Analysis of Algorithms.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

(1)

(1)

Hardware Performance and Reliability.

(1)

Health Informatics.

(1)

Image processing -- Digital techniques.

(1)

Industrial design.

(1)

(1)

Logics and Meanings of Programs.

(1)

Management science.

(1)

Math Applications in Computer Science.

(1)

Mathematical Logic and Formal Languages.

(1)

Medical informatics.

(1)

Microprocessors.

(1)

Operations Research and Decision Theory.

(1)

Operations Research, Management Science.

(1)

Philosophy of Technology.

(1)

(1)

Probability Theory.

(1)

Processor Architectures.

(1)

Symbolic and Algebraic Manipulation.

(1)

Technology -- Philosophy.

(1)

Theory and Algorithms for Application Domains.

(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

95 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 8

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.

25.

Structural Decision Diagrams in Digital Test Theory and Applications için kapak resmi

Structural Decision Diagrams in Digital Test Theory and Applications

Structural Decision Diagrams in Digital Test Theory and Applications

Yazar

Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-44734-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization için kapak resmi

Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization

Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization

Yazar

Blum, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-60103-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63749-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63759-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63783-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Foundations for Functional Modeling of Technical Artefacts için kapak resmi

Foundations for Functional Modeling of Technical Artefacts

Foundations for Functional Modeling of Technical Artefacts

Yazar

Lind, Morten. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-45918-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings için kapak resmi

Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings

Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings

Yazar

Bilò, Vittorio. editor. Flammini, Michele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers için kapak resmi

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Yazar

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings için kapak resmi

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Yazar

Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings için kapak resmi

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Yazar

Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings için kapak resmi

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

Yazar

Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66583-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings için kapak resmi

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings

Yazar

Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-68759-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 .. 8

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11