Search Results for Computer Science, general.

|

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ış:

+

Subject: Computer simulation.

Yazar

SpringerLink (Online service)

(63)

Apduhan, Bernady O. editor.

(5)

Gervasi, Osvaldo. editor.

(5)

Misra, Sanjay. editor.

(5)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(5)

Shi, Yuhui. editor.

(5)

Stankova, Elena. editor.

(5)

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

(5)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(5)

Torre, Carmelo M. editor.

(5)

Wang, Shangguang. editor.

(5)

Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886

(4)

Bandini, Stefania. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Cirne, Walfredo. editor.

(2)

Desai, Narayan. editor.

(2)

Floater, Michael. editor.

(2)

Legay, Axel. editor.

(2)

Lyche, Tom. editor.

(2)

Mazure, Marie-Laurence. editor.

(2)

Moreno-Díaz, Roberto. editor.

(2)

Niu, Ben. editor.

(2)

Pichler, Franz. editor.

(2)

Quesada-Arencibia, Alexis. editor.

(2)

Schumaker, Larry L. editor.

(2)

Takagi, Hideyuki. editor.

(2)

Voß, Stefan. editor. (orcid)0000-0003-1296-4221

(2)

Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X

(2)

van der Aalst, Wil. editor.

(2)

Abate, Alessandro. editor.

(1)

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

(1)

Aceto, Luca. editor.

(1)

Agha, Gul. editor.

(1)

Aguado, Marina. editor.

(1)

Anderson, Neal G. editor.

(1)

André, Étienne. editor. (orcid)0000-0001-8473-9555

(1)

Babaie-Zadeh, Massoud. editor.

(1)

Bac, Alexandra. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Barbosa, Jorge. editor.

(1)

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

(1)

Bektaş, Tolga. editor.

(1)

Bello, Fernando. editor.

(1)

Berbineau, Marion. editor.

(1)

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

(1)

Best, Eike. editor.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Bhanja, Sanjukta. editor.

(1)

Biagioni, Edoardo S. editor.

(1)

Biondi, Fabrizio. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bonnin, Jean-Marie. editor.

(1)

Bortolussi, Luca. editor.

(1)

Camacho, Rui. editor.

(1)

Ceroni Díaz, Jose A. editor.

(1)

Cheng, Siyao. editor.

(1)

Cherkaoui, Soumaya. editor.

(1)

Coniglio, Stefano. editor.

(1)

Cook, Matthew. editor.

(1)

Cotin, Stéphane. editor.

(1)

Dennunzio, Alberto. editor.

(1)

Deville, Yannick. editor. (orcid)0000-0002-8769-2446

(1)

Dillig, Isil. editor.

(1)

Duan, Zhenhua. editor.

(1)

Duffy, Vincent G. editor.

(1)

Dutra, Inês. editor.

(1)

El Yacoubi, Samira. editor.

(1)

Festa, Paola. editor.

(1)

Formenti, Enrico. editor.

(1)

Gallardo, María del Mar. editor.

(1)

Gannot, Sharon. editor. (orcid)0000-0002-2885-170X

(1)

Geeraerts, Gilles. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Ghannoum, Hassan. editor.

(1)

Ghosh, Sujata. editor.

(1)

Given-Wilson, Thomas. editor.

(1)

González-Ramírez, Rosa G. editor.

(1)

Grandinetti, Lucio. editor.

(1)

Hammond, Simon D. editor.

(1)

Horvath, Andras. editor. (orcid)0000-0002-8210-545X

(1)

Huisman, Marieke. editor.

(1)

Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Ingólfsdóttir, Anna. editor.

(1)

James, Phillip. editor.

(1)

Jansen, David N. editor. (orcid)0000-0002-6636-3301

(1)

Jarvis, Stephen A. editor.

(1)

Jin, Yaochu. editor.

(1)

Jonsson, Magnus. editor.

(1)

Kari, Jarkko. editor.

(1)

Koepf, Wolfram. editor.

(1)

Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X

(1)

Kunčak, Viktor. editor.

(1)

Kutrib, Martin. editor.

(1)

Kvasov, Dmitri E. editor.

(1)

Li, Li. editor.

(1)

Li, Xiaodong. editor.

(1)

Lippert, Thomas. editor.

(1)

Lirkov, Ivan. editor.

(1)

Liu, Shaoying. editor.

(1)

Majumdar, Rupak. editor.

(1)

Malcher, Andreas. editor.

(1)

Malyshkin, Victor. editor.

(1)

Manzoni, Luca. editor.

(1)

Mardare, Radu. editor.

(1)

Margenov, Svetozar. editor.

(1)

Mari, Jean-Luc. editor.

(1)

Marques, Osni. editor.

(1)

Martinez-Sykora, Antonio. editor.

(1)

Mason, Russell. editor. (orcid)0000-0002-6030-9603

(1)

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838

(1)

Mehmood, Rashid. editor.

(1)

Merino, Pedro. editor.

(1)

Merz, Stephan. editor.

(1)

Michel, Olivier J.J. editor.

(1)

Middendorf, Martin. editor.

(1)

Morken, Knut. editor.

(1)

Mørken, Knut. editor.

(1)

Nagoya, Fumiko. editor.

(1)

Neary, Turlough. editor.

(1)

Paias, Ana. editor.

(1)

Petkov, Nicolai. editor.

(1)

Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075

(1)

Porreca, Antonio E. editor.

(1)

Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234

(1)

Prasad, Sanjiva. editor.

(1)

Rico-Garcia, Cristina. editor.

(1)

Rocha, Ana Maria A. C. editor. (orcid)0000-0001-8679-2886

(1)

Roggenbach, Markus. editor.

(1)

Ruthmair, Mario. editor.

(1)

Rykov, Vladimir V. editor.

(1)

Salaün, Gwen. editor.

(1)

Schulte, Frederik. editor.

(1)

Seiler, Werner M. editor.

(1)

Sellmann, Meinolf. editor.

(1)

Sergeyev, Yaroslav D. editor.

(1)

Singpurwalla, Nozer D. editor.

(1)

Sirakoulis, Georgios. editor.

(1)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(1)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(1)

Tan, Kay Chen. editor.

(1)

Tang, Ke. editor.

(1)

Tasiran, Serdar. editor.

(1)

Thirion-Moreau, Nadège. editor.

(1)

Tian, Cong. editor.

(1)

Tichavský, Petr. editor.

(1)

Van Houdt, Benny. editor.

(1)

Vanschoren, Joaquin. editor.

(1)

Vinel, Alexey. editor.

(1)

Vorozhtsov, Evgenii V. editor.

(1)

Voß, Stefan. editor.

(1)

Ward, Dominic. editor. (orcid)0000-0002-7819-0145

(1)

Was, Jaroslaw. editor.

(1)

Waśniewski, Jerzy. editor.

(1)

Wright, Steven A. editor.

(1)

Wąs, Jarosław. editor.

(1)

Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538

(1)

Zhang, Qingfu. editor.

(1)

Zheng, Yao. editor.

(1)

Zubkov, Andrey M. editor.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Tümünü genişlet

Dil

(63)

Yayın Yılı

-

(20)

(15)

(9)

(8)

(8)

(3)

Tümünü genişlet

Konu

Computer Modelling.

(35)

Software engineering.

(33)

(30)

Computer science.

(28)

Artificial intelligence.

(24)

Computer Communication Networks.

(17)

Computer networks .

(14)

Application software.

(11)

Computer Science Logic and Foundations of Programming.

(11)

Numerical analysis.

(10)

Theory of Computation.

(10)

Computer and Information Systems Applications.

(9)

Computer science -- Mathematics.

(9)

Data Mining and Knowledge Discovery.

(9)

(9)

(8)

Formal Languages and Automata Theory.

(8)

Machine theory.

(8)

Computer software.

(7)

System Performance and Evaluation.

(6)

Computer system failures.

(5)

Electronic digital computers -- Evaluation.

(5)

(5)

Computer vision.

(4)

Discrete Mathematics in Computer Science.

(4)

Discrete mathematics.

(4)

Mathematical statistics.

(4)

Probability and Statistics in Computer Science.

(4)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Computer Science, general.

(3)

Computer graphics.

(3)

Computer logic.

(3)

Electronic data processing.

(3)

Models of Computation.

(3)

Programming languages (Electronic computers).

(3)

Simulation and Modeling.

(3)

Arithmetic and Logic Structures.

(2)

Computational complexity.

(2)

Computer Application in Administrative Data Processing.

(2)

Computer Engineering and Networks.

(2)

Computer arithmetic and logic units.

(2)

Computer communication systems.

(2)

Computer engineering.

(2)

Computer organization.

(2)

Information technology -- Management.

(2)

Mathematical logic.

(2)

Optical data processing.

(2)

Algebraic topology.

(1)

Algorithm Analysis and Problem Complexity.

(1)

Automated Pattern Recognition.

(1)

Computation by Abstract Devices.

(1)

Computer Applications.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer hardware.

(1)

Computer science—Mathematics.

(1)

Computer security.

(1)

Computer system performance.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data and Information Security.

(1)

Data protection.

(1)

Data structures (Computer science).

(1)

Hardware Performance and Reliability.

(1)

Health informatics.

(1)

Image processing -- Digital techniques.

(1)

Mathematical Logic and Foundations.

(1)

Mathematics of Computing.

(1)

Operating systems (Computers).

(1)

Optical pattern recognition.

(1)

Pattern recognition systems.

(1)

(1)

(1)

Special Purpose and Application-Based Systems.

(1)

Special purpose computers.

(1)

Symbolic and Algebraic Manipulation.

(1)

The Computing Profession.

(1)

User Interfaces and Human Computer Interaction.

(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

63 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6

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.

13.

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings için kapak resmi

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Yazar

Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00151-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II için kapak resmi

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

Yazar

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings için kapak resmi

Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings

Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings

Yazar

Deville, Yannick. editor. (orcid)0000-0002-8769-2446 Gannot, Sharon. editor. (orcid)0000-0002-2885-170X Mason, Russell. editor. (orcid)0000-0002-6030-9603 Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075 Ward, Dominic. editor. (orcid)0000-0002-7819-0145

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I için kapak resmi

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

Yazar

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

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:

18.

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings için kapak resmi

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

Yazar

Malyshkin, Victor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings için kapak resmi

Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings

Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings

Yazar

Tichavský, Petr. editor. Babaie-Zadeh, Massoud. editor. Michel, Olivier J.J. editor. Thirion-Moreau, Nadège. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-53547-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

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:

21.

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:

22.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I için kapak resmi

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Yazar

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers için kapak resmi

Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers

Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers

Yazar

Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Mørken, Knut. editor. Schumaker, Larry L. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-67885-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II için kapak resmi

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II

Yazar

Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11