Search Results for Engineering -- Computer simulation.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

9

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Subject: Software engineering.

Yazar

SpringerLink (Online service)

(91)

Apduhan, Bernady O. editor.

(5)

Gervasi, Osvaldo. editor.

(5)

Misra, Sanjay. editor.

(5)

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

(5)

Rashid, Awais. editor.

(5)

Stankova, Elena. editor.

(5)

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

(5)

Torre, Carmelo M. editor.

(5)

Wang, Shangguang. editor.

(5)

Aksit, Mehmet. editor.

(4)

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

(4)

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940

(3)

Moreno-Díaz, Roberto. editor.

(3)

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124

(3)

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094

(2)

Babkin, Eduard. editor. (orcid)0000-0003-2597-9043

(2)

Baldassarre, Maria Teresa. editor.

(2)

Bruel, Jean-Michel. editor.

(2)

Chen, Qianbin. editor.

(2)

Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142

(2)

Ferro-Escobar, Roberto. editor.

(2)

Fiems, Dieter. editor.

(2)

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937

(2)

Hammoudi, Slimane. editor.

(2)

Jedlitschka, Andreas. editor.

(2)

Juristo, Natalia. editor.

(2)

Li, Daoliang. editor.

(2)

López-Santana, Eduyn Ramiro. editor.

(2)

Margaria, Tiziana. editor.

(2)

Meng, Weixiao. editor.

(2)

Nolte, Siegfried. author.

(2)

Oivo, Markku. editor.

(2)

Ossher, Harold. editor.

(2)

Selic, Bran. editor.

(2)

Zhao, Liqiang. editor.

(2)

Aceto, Luca. editor.

(1)

Acuña, Silvia T. editor.

(1)

Acuña, Silvia Teresita. author.

(1)

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712

(1)

Al-Begain, Khalid. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Balsamo, Maria Simonetta. editor.

(1)

Barbosa, Jorge. editor.

(1)

Barbosa, Luís Soares. editor.

(1)

Best, Eike. editor.

(1)

Bettin, Jorn. editor.

(1)

Blaas-Schenner, Claudia. editor.

(1)

Boulet, Pierre. editor.

(1)

Bove, Ana. editor.

(1)

Briand, Lionel. editor.

(1)

Caivano, Danilo. editor.

(1)

Camacho, Rui. editor.

(1)

Cao, Guozhong. editor.

(1)

Cerone, Antonio. editor.

(1)

Ceroni Díaz, Jose A. editor.

(1)

Chase, Jeffry S. editor.

(1)

Chaudron, Michel R. V. editor.

(1)

Clark, Tony. editor.

(1)

Cohen, Sholom. editor.

(1)

Cordeiro, José. editor.

(1)

Czarnecki, Krzysztof. editor.

(1)

Dal Lago, Ugo. editor.

(1)

Denzer, Ralf. editor.

(1)

Desfray, Philippe. editor.

(1)

Di Marco, Antinisca. editor.

(1)

Dieste, Oscar. editor.

(1)

Dissaux, Pierre. editor.

(1)

Dutra, Inês. editor.

(1)

Engels, Gregor. editor.

(1)

Feng, Zhiyong. editor.

(1)

Fernandes, Sara. editor.

(1)

Filali-Amine, Mamoun. editor.

(1)

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341

(1)

Fitzgerald, John. editor. (orcid)0000-0001-7041-1807

(1)

France, Robert. editor.

(1)

Garcia-Perez, Alexeis. editor.

(1)

Gavras, Anastasius. editor.

(1)

Gašević, Dragan. editor.

(1)

Gheorghe, Marian. editor.

(1)

Giese, Holger. editor.

(1)

Gilmore, Stephen. editor.

(1)

Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742

(1)

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

(1)

Grimaila, Michael R. editor. (orcid)0000-0002-8355-7992

(1)

Grundy, John. editor.

(1)

Haas, Tobias. editor.

(1)

Harel, David. editor.

(1)

Heidrich, Jens. editor.

(1)

Herdt, Vladimir. author.

(1)

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782

(1)

Hodson, Douglas D. editor.

(1)

Horváth, Gábor. editor.

(1)

Hřebíček, Jiří. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

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

(1)

Jardim Nunes, Nuno. editor.

(1)

Jensen, Kurt. author.

(1)

Juristo, Natalia. author.

(1)

Jézéquel, Jean-Marc. editor.

(1)

Kankaanranta, Marja. editor.

(1)

Katsaros, Panagiotis. editor.

(1)

Katz, Shmuel. editor.

(1)

Kim, Gerard Jounghyun. author.

(1)

Knottenbelt, William J. editor.

(1)

Kogel, Tim. author.

(1)

Korakis, Thanasis. editor.

(1)

Kristensen, Lars M. author.

(1)

Kunz, Thomas. editor.

(1)

Kunčak, Viktor. editor.

(1)

Kühn, Harald. editor.

(1)

Kühne, Thomas. editor.

(1)

Lamprecht, Anna-Lena. editor.

(1)

Larsen, Peter Gorm. editor. (orcid)0000-0002-4589-1500

(1)

Legay, Axel. editor.

(1)

Leung, Victor C.M. editor.

(1)

Leupers, Rainer. author.

(1)

León, Noel. editor.

(1)

Li, Hongbin. editor.

(1)

Li, Yonghui. editor.

(1)

Lock, Russell. editor.

(1)

Lock, Russell. editor. (orcid)0000-0002-4543-3753

(1)

Long, Keping. editor.

(1)

Lämmel, Ralf. editor.

(1)

Magedanz, Thomas. editor.

(1)

Majumdar, Rupak. editor.

(1)

Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026

(1)

Mardare, Radu. editor.

(1)

Marin, Andrea. editor.

(1)

Marquardt, Wolfgang. editor.

(1)

Marques, Osni. editor.

(1)

Martell, Craig. editor.

(1)

Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439

(1)

Meyr, Heinrich. author.

(1)

Michel, Pierre. editor.

(1)

Mirandola, Raffaela. editor.

(1)

Molhanec, Martin. editor.

(1)

Mon, Alicia. author.

(1)

Moreira, Ana. editor.

(1)

Moreno, Ana María. author.

(1)

Nagl, Manfred. editor.

(1)

Neittaanmäki, Pekka. editor.

(1)

Nierstrasz, Oscar. editor.

(1)

Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016

(1)

Nurcan, Selmin. editor.

(1)

Ober, Ileana. editor.

(1)

Ohue, Masahito. editor. (orcid)0000-0002-0120-1643

(1)

Opdyke, Bill. editor.

(1)

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

(1)

Paech, Barbara. editor.

(1)

Paige, Richard F. editor.

(1)

Paolieri, Marco. editor.

(1)

Papajorgji, Petraq J. editor.

(1)

Pardalos, Panos M. editor.

(1)

Pardo, Alberto. editor.

(1)

Park, Hong-Shik. editor.

(1)

Pergl, Robert. editor.

(1)

Pergl, Robert. editor. (orcid)0000-0003-2980-4400

(1)

Persico, Donatella. editor.

(1)

Pinto, Jorge Sousa. editor.

(1)

Pires, Luís Ferreira. editor.

(1)

Pitner, Tomáš. editor.

(1)

Platis, Agapios N. editor.

(1)

Plášil, František. editor.

(1)

Popescu, Andrei. editor. (orcid)0000-0001-8747-0619

(1)

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

(1)

Păun, Gheorghe. editor.

(1)

Qi, Guanqiu. author.

(1)

Qin, Shengchao. editor. (orcid)0000-0003-3028-8191

(1)

Ralyté, Jolita. editor.

(1)

Rausch, Andreas. editor.

(1)

Reggio, Gianna. editor.

(1)

Reinecke, Philipp. editor.

(1)

Reinhartz-Berger, Iris. editor.

(1)

Reussner, Ralf. editor.

(1)

Rivas, Pablo. editor. (orcid)0000-0002-8690-0987

(1)

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

(1)

Rodrigues da Silva, Alberto. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Salinesi, Camille. editor.

(1)

Salomaa, Arto. editor.

(1)

Schimak, Gerald. editor.

(1)

Schmidt, Douglas C. editor.

(1)

Schulte, Frederik. editor.

(1)

Shaikh, Siraj Ahmed. editor.

(1)

Sinderen, Marten. editor.

(1)

Singh, Neeraj Kumar. author.

(1)

Souveyet, Carine. editor.

(1)

Stamelos, Ioannis. editor.

(1)

Steffen, Bernhard. editor.

(1)

Sturm, Arnon. editor.

(1)

Takata, Masami. editor. (orcid)0000-0003-3475-7565

(1)

Tan, Runhua. editor.

(1)

Thanh, Nguyen Huu. editor.

(1)

Topçu, Okan. author.

(1)

Toval Alvarez, Ambrosio. editor.

(1)

Tran-Gia, Phuoc. editor.

(1)

Tribastone, Mirco. editor.

(1)

Tsai, Wei-Tek. author.

(1)

Tümünü genişlet

Dil

(89)

(2)

Yayın Yılı

-

(14)

(12)

(9)

(7)

(7)

(6)

(6)

(6)

(5)

(5)

(3)

(3)

(2)

(2)

(2)

(2)

Tümünü genişlet

Konu

Computer simulation.

(86)

Computer science.

(57)

Computer Modelling.

(24)

Computer Communication Networks.

(20)

Artificial intelligence.

(17)

Information Systems.

(17)

Computer networks .

(14)

Computer system performance.

(13)

Application software.

(10)

Computer and Information Systems Applications.

(9)

System Performance and Evaluation.

(8)

(7)

Data protection.

(6)

Electronic digital computers -- Evaluation.

(6)

Management information systems.

(6)

Simulation and Modeling.

(6)

Computer Science Logic and Foundations of Programming.

(5)

Computer science -- Mathematics.

(5)

Data Mining and Knowledge Discovery.

(5)

(5)

Information systems.

(5)

Computer Engineering and Networks.

(4)

Computer aided design.

(4)

Computer engineering.

(4)

(4)

(4)

Bioinformatics.

(3)

Computer network architectures.

(3)

Computer vision.

(3)

Mathematical statistics.

(3)

Probability and Statistics in Computer Science.

(3)

Compilers (Computer programs).

(2)

Compilers and Interpreters.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Data and Information Security.

(2)

(2)

Energy Economics.

(2)

Engineering economy.

(2)

Formal Languages and Automata Theory.

(2)

Image processing -- Digital techniques.

(2)

Machine theory.

(2)

Mathematics of Computing.

(2)

Programming Techniques.

(2)

Systems engineering.

(2)

Theory of Computation.

(2)

(1)

Arithmetic and Logic Structures.

(1)

Business Information Systems.

(1)

Business Process Management.

(1)

Business information services.

(1)

Chemical engineering.

(1)

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Hardware.

(1)

Computer arithmetic and logic units.

(1)

Computer hardware.

(1)

Computer logic.

(1)

Computer programming.

(1)

Computer software.

(1)

Computers and Education.

(1)

Computers and Society.

(1)

Control engineering systems.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data transmission systems.

(1)

Database management.

(1)

Education -- Data processing.

(1)

(1)

Education—Data processing.

(1)

Engineering design.

(1)

Engineering mathematics.

(1)

Enterprise Architecture.

(1)

Health Informatics.

(1)

Information Systems Applications (incl. Internet).

(1)

Information technology -- Management.

(1)

(1)

Management of Computing and Information Systems.

(1)

Mathematical Logic and Formal Languages.

(1)

Mathematical logic.

(1)

(1)

Medical records -- Data processing.

(1)

(1)

Programming Languages, Compilers, Interpreters.

(1)

Telecommunication.

(1)

The Computing Profession.

(1)

Translators (Computer programs).

(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

91 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.

1.

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:

2.

Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers için kapak resmi

Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers

Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers

Yazar

Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00787-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II için kapak resmi

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

Yazar

Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I için kapak resmi

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

Yazar

Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers için kapak resmi

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

Yazar

Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61982-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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:

7.

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings için kapak resmi

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

Yazar

Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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:

9.

Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers için kapak resmi

Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers

Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers

Yazar

Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Guide to Distributed Simulation with HLA için kapak resmi

Guide to Distributed Simulation with HLA

Guide to Distributed Simulation with HLA

Yazar

Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Combinatorial Testing in Cloud Computing için kapak resmi

Combinatorial Testing in Cloud Computing

Combinatorial Testing in Cloud Computing

Yazar

Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-4481-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday için kapak resmi

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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