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

10

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.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57256-2

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 V için kapak resmi

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

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

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-63775-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 VI için kapak resmi

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

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

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-63778-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

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:

31.

Forecast Error Correction using Dynamic Data Assimilation için kapak resmi

Forecast Error Correction using Dynamic Data Assimilation

Forecast Error Correction using Dynamic Data Assimilation

Yazar

Lakshmivarahan, Sivaramakrishnan. author. Lewis, John M. author. Jabrzemski, Rafal. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Enterprise Architecture at Work Modelling, Communication and Analysis için kapak resmi

Enterprise Architecture at Work Modelling, Communication and Analysis

Enterprise Architecture at Work Modelling, Communication and Analysis

Yazar

Lankhorst, Marc. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-53933-0

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.

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings için kapak resmi

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Yazar

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings için kapak resmi

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings

Yazar

Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

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:

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