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: Software engineering.

Yazar

SpringerLink (Online service)

(111)

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)

Apduhan, Bernady O. editor.

(5)

Gervasi, Osvaldo. editor.

(5)

Misra, Sanjay. editor.

(5)

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

(5)

Stankova, Elena. editor.

(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)

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

(3)

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)

Moreno-Díaz, Roberto. editor.

(3)

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

(3)

Artho, Cyrille. editor.

(2)

Cardoso, Jorge. editor.

(2)

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

(2)

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

(2)

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

(2)

Topçu, Okan. author.

(2)

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

(2)

Zhang, Zili. editor.

(2)

van Sinderen, Marten. editor.

(2)

Ölveczky, Peter Csaba. editor.

(2)

Abate, Alessandro. editor.

(1)

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

(1)

Abrahamsson, Pekka. editor.

(1)

Aceto, Luca. editor.

(1)

Adão, Telmo. author.

(1)

Ahrndt, Sebastian. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Almendros Jiménez, Jesús M. editor.

(1)

Amasaki, Sousuke. editor.

(1)

Antunes, Luis. editor.

(1)

Aït-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712

(1)

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

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Badler, Norman I. author.

(1)

Barbosa, Jorge. editor.

(1)

Barkowsky, Thomas. editor.

(1)

Bartocci, Ezio. editor.

(1)

Bazzan, Ana. editor.

(1)

Bektaş, Tolga. editor.

(1)

Bellatreche, Ladjel. editor.

(1)

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

(1)

Best, Eike. editor.

(1)

Blaas-Schenner, Claudia. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Boldo, Sylvie. editor.

(1)

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

(1)

Boy, Guy André. author.

(1)

Burbaitė, Renata. author.

(1)

Burte, Heather. editor.

(1)

Cabello, Enrique. editor.

(1)

Camacho, Rui. editor.

(1)

Carrascosa, Carlos. editor.

(1)

Cassol, Vinícius J. author.

(1)

Cavalheiro, Simone. editor.

(1)

Chiba, Shigeru. editor.

(1)

Cinquemani, Eugenio. editor.

(1)

Cirne, Walfredo. editor.

(1)

Comyn-Wattiau, Isabelle. editor.

(1)

Coniglio, Stefano. editor.

(1)

Criado Pacheco, Natalia. editor.

(1)

Czachórski, Tadeusz. editor.

(1)

Dal Lago, Ugo. editor.

(1)

Denzer, Ralf. editor.

(1)

Desai, Narayan. editor.

(1)

Desfray, Philippe. editor.

(1)

Di Marco, Antinisca. editor.

(1)

Donzé, Alexandre. editor.

(1)

Dorling, Alec. editor.

(1)

Durak, Umut. author.

(1)

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

(1)

Dutra, Inês. editor.

(1)

Dvorský, Jiří. editor. (orcid)0000-0003-3787-9533

(1)

England, Matthew. editor.

(1)

Eugster, Patrick. editor.

(1)

Felderer, Michael. editor.

(1)

Fiadeiro, José. editor.

(1)

Fiems, Dieter. editor.

(1)

Filipe, Joaquim. editor.

(1)

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

(1)

Fischer, Joachim. author. (orcid)0000-0003-2476-3996

(1)

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

(1)

Fränzle, Martin. editor.

(1)

Furia, Carlo A. editor.

(1)

García Frey, Alfonso. editor.

(1)

Gaudou, Benoit. editor.

(1)

Geeraerts, Gilles. editor.

(1)

Gelenbe, Erol. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

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

(1)

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

(1)

Grochla, Krzysztof. editor.

(1)

Guisado-Lizar, José-Luis. editor.

(1)

Guisado-Lizar, José-Luis. editor. (orcid)0000-0001-5480-7617

(1)

Haas, Tobias. editor.

(1)

Hammoudi, Slimane. editor.

(1)

Hasan, Osman. editor.

(1)

Haverkort, Boudewijn R. editor.

(1)

Huhn, Michaela. editor.

(1)

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

(1)

Hölscher, Christoph. editor.

(1)

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

(1)

Ingólfsdóttir, Anna. editor.

(1)

James, Phillip. editor.

(1)

Jedlitschka, Andreas. editor.

(1)

Johansson, Moa. editor.

(1)

Juan, Angel A. editor. (orcid)0000-0003-1392-1776

(1)

Julian, Vicente. editor.

(1)

Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037

(1)

Jung, Cláudio R. author.

(1)

Kapitsaki, Georgia M. editor.

(1)

Kapur, Deepak. editor.

(1)

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

(1)

Klusch, Matthias. editor.

(1)

Klügl, Franziska. editor.

(1)

Kohlhase, Michael. editor.

(1)

Kolesnikov, Andrey. author.

(1)

Kotsialos, Apostolos. editor.

(1)

Kunze, Matthias. author.

(1)

Kunčak, Viktor. editor.

(1)

Kühn, Harald. editor.

(1)

Lamprecht, Anna-Lena. editor.

(1)

Langerak, Rom. editor.

(1)

Lankhorst, Marc. author.

(1)

Larsen, Kim Guldstrand. editor.

(1)

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

(1)

Leavens, Gary T. editor.

(1)

Lecomte, Thierry. editor.

(1)

Lee, Edward A. editor. (orcid)0000-0002-5663-0584

(1)

Legay, Axel. editor.

(1)

Lent, Ricardo. editor. (orcid)0000-0003-4884-3456

(1)

Link, Sebastian. editor.

(1)

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

(1)

Lock, Russell. editor.

(1)

Lorenz, Pascal. editor.

(1)

Ludwig, André. editor.

(1)

Maciaszek, Leszek A. editor.

(1)

Magalhães, Luís. author. (orcid)0000-0002-4426-0002

(1)

Majumdar, Rupak. editor.

(1)

Malyshkin, Victor. editor.

(1)

Mardare, Radu. editor.

(1)

Marques, Osni. editor.

(1)

Martinez-Sykora, Antonio. editor.

(1)

Mas, Antonia. editor.

(1)

McCluskey, Thomas Leo. editor.

(1)

Mercik, Jacek. editor.

(1)

Merz, Stephan. editor.

(1)

Mesquida, Antoni. editor.

(1)

Mikkonen, Tommi. editor.

(1)

Miller, Bruce. editor.

(1)

Molhanec, Martin. editor.

(1)

Morón-Fernández, María-José. editor.

(1)

Morón-Fernández, María-José. editor. (orcid)0000-0003-3291-7297

(1)

Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794

(1)

Musse, Soraia R. author.

(1)

Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260

(1)

Müller, Jörg P. editor.

(1)

Nagel, Kai. editor.

(1)

Namazi-Rad, Mohammad-Reza. editor.

(1)

Nardin, Luis Gustavo. editor.

(1)

Nguyen Duc, Anh. editor. (orcid)0000-0002-7063-9200

(1)

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

(1)

O'Connor, Rory V. editor.

(1)

O'Regan, Gerard. author.

(1)

Osman, Nardine. editor.

(1)

Padgham, Lin. editor.

(1)

Paias, Ana. editor.

(1)

Paoletti, Nicola. editor.

(1)

Paolieri, Marco. editor.

(1)

Paskevich, Andrei. editor.

(1)

Pastor, Óscar. editor.

(1)

Peres, Emanuel. author.

(1)

Perez, Pascal. editor.

(1)

Perez-Bernabeu, Elena. editor. (orcid)0000-0002-9221-7623

(1)

Pergl, Robert. editor.

(1)

Pires, Luís Ferreira. editor.

(1)

Pitner, Tomáš. editor.

(1)

Pitt-Francis, Joe. author.

(1)

Platis, Agapios N. editor.

(1)

Pokahr, Alexander. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Prinz, Andreas. author. (orcid)0000-0002-0646-2877

(1)

Qi, Guanqiu. author.

(1)

Tümünü genişlet

Dil

(111)

Yayın Yılı

-

(39)

(38)

(17)

(17)

Konu

Computer Modelling.

(87)

Computer simulation.

(87)

Computer science.

(59)

Computer networks .

(45)

Artificial intelligence.

(44)

Theory of Computation.

(33)

Computer Science Logic and Foundations of Programming.

(27)

Application software.

(26)

Computer and Information Systems Applications.

(26)

Computer Communication Networks.

(25)

Computer science -- Mathematics.

(22)

Compilers (Computer programs).

(21)

Compilers and Interpreters.

(21)

Computer Engineering and Networks.

(21)

Computer engineering.

(21)

(18)

Formal Languages and Automata Theory.

(17)

Machine theory.

(17)

Mathematics of Computing.

(14)

Electronic digital computers -- Evaluation.

(11)

System Performance and Evaluation.

(11)

Electronic data processing -- Management.

(9)

(9)

Business information services.

(7)

Computer programming.

(7)

Information technology -- Management.

(7)

Programming Techniques.

(7)

Computer Application in Administrative Data Processing.

(6)

(6)

Control Structures and Microprogramming.

(6)

Data Mining and Knowledge Discovery.

(6)

(6)

Human-computer interaction.

(6)

IT in Business.

(6)

Mathematical statistics.

(6)

Microprogramming .

(6)

Probability and Statistics in Computer Science.

(6)

User Interfaces and Human Computer Interaction.

(6)

User interfaces (Computer systems).

(6)

Database management.

(5)

(4)

The Computing Profession.

(4)

Computer vision.

(3)

Information Storage and Retrieval.

(3)

Information storage and retrieval systems.

(3)

Bioinformatics.

(2)

Business Process Management.

(2)

Computational and Systems Biology.

(2)

Computational intelligence.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computers, Special purpose.

(2)

Image processing -- Digital techniques.

(2)

Models of Computation.

(2)

Numerical analysis.

(2)

Special Purpose and Application-Based Systems.

(2)

Arithmetic and Logic Structures.

(1)

Computer Networks.

(1)

Computer architecture.

(1)

Computer arithmetic and logic units.

(1)

Computer graphics.

(1)

Computer software.

(1)

Computers and Education.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Computing Milieux.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Structures and Information Theory.

(1)

Data and Information Security.

(1)

Data protection.

(1)

Data structures (Computer science).

(1)

Education -- Data processing.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Enterprise Architecture.

(1)

Hardware Performance and Reliability.

(1)

Health Informatics.

(1)

Human-machine systems.

(1)

Information theory.

(1)

Interaction Design.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematical logic.

(1)

Medical informatics.

(1)

Microprocessors.

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Processor Architectures.

(1)

(1)

Software Management.

(1)

Software engineering -- Management.

(1)

Symbolic and Algebraic Manipulation.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

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

111 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 10

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.

49.

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers için kapak resmi

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Yazar

Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Concise Guide to Software Engineering From Fundamentals to Application Methods için kapak resmi

Concise Guide to Software Engineering From Fundamentals to Application Methods

Concise Guide to Software Engineering From Fundamentals to Application Methods

Yazar

O'Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures için kapak resmi

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support için kapak resmi

Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support

Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support

Yazar

Kolesnikov, Andrey. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-19102-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday için kapak resmi

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Yazar

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings için kapak resmi

Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings

Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings

Yazar

Mas, Antonia. editor. Mesquida, Antoni. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

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:

56.

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:

57.

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings için kapak resmi

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Yazar

Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers için kapak resmi

Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers

Yazar

Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers için kapak resmi

Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers

Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers

Yazar

Huhn, Michaela. editor. Williams, Laurie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7 .. 10

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11