Search Results for Tools.

|

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

Yazar

SpringerLink (Online service)

(63)

Song, Xiao. editor. (orcid)0000-0003-4279-426X

(4)

Wu, Yunjie. editor.

(4)

Zhang, Lin. editor. (orcid)0000-0003-1989-6102

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

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

(2)

Topçu, Okan. author.

(2)

Abrahamsson, Pekka. editor.

(1)

Abreu, Orlando. editor.

(1)

Aceto, Luca. editor.

(1)

Agha, Gul. editor.

(1)

Allan, Andrew. editor.

(1)

Alvear, Daniel. editor.

(1)

Amasaki, Sousuke. editor.

(1)

Artho, Cyrille. editor.

(1)

Asadi, Farzin. author. (orcid)0000-0002-5928-0807

(1)

Bac, Alexandra. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Badler, Norman I. author.

(1)

Bajo, Javier. editor.

(1)

Bauer, Sebastian. editor.

(1)

Berry, Stuart. editor.

(1)

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

(1)

Best, Eike. editor.

(1)

Bortolussi, Luca. editor.

(1)

Butte, Gordon. author.

(1)

Cao, Zijun. author.

(1)

Cassol, Vinícius J. author.

(1)

Cembrano, Gabriela. editor.

(1)

Chamoin, Ludovic. editor.

(1)

Chaudhary, Ujwal. author. (orcid)0000-0002-7887-1012

(1)

Chiba, Shigeru. editor.

(1)

Cuesta, Arturo. editor.

(1)

De Luca, Alessandro. author. (orcid)0000-0002-0713-5608

(1)

Demazeau, Yves. editor.

(1)

Desfray, Philippe. editor.

(1)

Durak, Umut. author.

(1)

Díez, Pedro. editor.

(1)

Escalona, Maria José. editor. (orcid)0000-0002-6435-1497

(1)

Escobet, Teresa. editor.

(1)

Eugster, Patrick. editor.

(1)

Fahmy, Hossam Mahmoud Ahmad. author.

(1)

Felderer, Michael. editor.

(1)

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

(1)

Flache, Andreas. editor.

(1)

Fränzle, Martin. editor.

(1)

Furze, James N. editor.

(1)

Geertman, Stan. editor.

(1)

Guisado-Lizar, José-Luis. editor.

(1)

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

(1)

Gupta, Anil K. editor.

(1)

Görke, Uwe-Jens. editor.

(1)

Hammoudi, Slimane. editor.

(1)

Harviainen, J. Tuomas. editor.

(1)

Hemelrijk, Charlotte. editor.

(1)

Hoogduin, Lex. editor.

(1)

Hori, Muneo. editor.

(1)

Ihlenfeldt, Steffen. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Ito, Takayuki. editor.

(1)

Jager, Wander. editor.

(1)

Jedlitschka, Andreas. editor.

(1)

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

(1)

Jung, Cláudio R. author.

(1)

Jędrasiak, Karol. editor.

(1)

Kapitsaki, Georgia M. editor.

(1)

Kapur, Deepak. editor.

(1)

Kolditz, Olaf. editor. (orcid)0000-0002-8098-4905

(1)

Kovacs, Daniel. author.

(1)

Kunčak, Viktor. editor.

(1)

Kühn, Harald. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Leavens, Gary T. editor.

(1)

Legay, Axel. editor.

(1)

Li, Dianqing. author.

(1)

Linkov, Igor. author.

(1)

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

(1)

Lowndes, Val. editor.

(1)

Maestre, José M. editor. (orcid)0000-0002-4968-6811

(1)

Majumdar, Rupak. editor.

(1)

Mardare, Radu. editor.

(1)

Mari, Jean-Luc. editor.

(1)

McClatchey, Richard H. editor.

(1)

Micheloni, Rino. editor.

(1)

Mikkonen, Tommi. 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)

Moskalev, Alexey. editor. (orcid)0000-0002-3248-1633

(1)

Musse, Soraia R. author.

(1)

Nawrat, Aleksander. editor.

(1)

Nayak, Purna C. author. (orcid)0000-0002-0711-5295

(1)

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

(1)

Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044

(1)

Ocampo-Martínez, Carlos. editor.

(1)

Ochoa-Barragán, Rogelio. author. (orcid)0000-0002-2187-5813

(1)

Ohsaki, Makoto. editor.

(1)

Oriolo, Giuseppe. author. (orcid)0000-0001-6153-9278

(1)

P. Zeigler, Bernard. author.

(1)

Paskevich, Andrei. editor.

(1)

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

(1)

Pettit, Chris. editor.

(1)

Pires, Luís Ferreira. editor.

(1)

Ponce-Ortega, José María. author.

(1)

Puig, Vicenç. editor.

(1)

Pérez, Ramon. editor.

(1)

Quevedo, Joseba. editor.

(1)

Ramírez-Márquez, César. author.

(1)

Reynolds, Darren M. editor.

(1)

Riscos-Núñez, Agustín. editor. (orcid)0000-0002-5409-3578

(1)

Rupp, Markus. author.

(1)

Santana de Almeida, Eduardo. editor.

(1)

Sarjoughian, Hessam S. author.

(1)

Schwarz, Stefan. author.

(1)

Selic, Bran. editor.

(1)

Shao, Hua. editor.

(1)

Siciliano, Bruno. author. (orcid)0000-0002-1037-0588

(1)

Sobolev, Sergey. editor.

(1)

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918

(1)

Sokolsky, Oleg. editor.

(1)

Srivastav, Roshan. author. (orcid)0000-0002-8175-8969

(1)

Stambler, Ilia. editor.

(1)

Stillwell, John. editor.

(1)

Swing, Kelly. editor.

(1)

Südholt, Mario. editor.

(1)

Taranetz, Martin. author.

(1)

Thorne, Sarah. author.

(1)

Trovati, Marcello. editor.

(1)

Turner, Phil. editor.

(1)

Valero-Cuevas, Francisco J. author.

(1)

Van Houdt, Benny. editor.

(1)

Verbrugge, Rineke. editor.

(1)

Villani, Luigi. author. (orcid)0000-0002-4431-6846

(1)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(1)

Wainer, Gabriel. editor. (orcid)0000-0003-3366-9184

(1)

Wang, Ji. editor.

(1)

Wang, Wenqing. editor.

(1)

Wang, Yu. author.

(1)

Wies, Thomas. editor.

(1)

Wood, Matthew D. author.

(1)

Yilmaz, Levent. author.

(1)

Yoshimura, Shinobu. editor.

(1)

Zhan, Naijun. editor.

(1)

Zhang, Zili. editor.

(1)

Zhavoronkov, Alex. editor.

(1)

Ziarek, Lukasz. editor.

(1)

Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656

(1)

de Roo, Gert. editor.

(1)

van der Aalst, Wil. editor.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Tümünü genişlet

Dil

(63)

Yayın Yılı

-

(23)

(20)

(12)

(6)

(2)

Konu

Computer simulation.

(63)

Software engineering.

(27)

Computer science.

(19)

Artificial intelligence.

(14)

Computer networks .

(13)

Computer Communication Networks.

(12)

Theory of Computation.

(11)

Computer Science Logic and Foundations of Programming.

(9)

Compilers (Computer programs).

(7)

Compilers and Interpreters.

(7)

Computer science -- Mathematics.

(7)

Control Structures and Microprogramming.

(6)

Microprogramming .

(6)

Computer graphics.

(5)

Control engineering.

(5)

Mathematical statistics.

(5)

Probability and Statistics in Computer Science.

(5)

(4)

Electronic digital computers -- Evaluation.

(4)

(4)

System Performance and Evaluation.

(4)

(3)

Application software.

(3)

(3)

Bioinformatics.

(3)

Computer and Information Systems Applications.

(3)

Computer programming.

(3)

Computer vision.

(3)

Control, Robotics, Automation.

(3)

Electronic data processing -- Management.

(3)

Formal Languages and Automata Theory.

(3)

(3)

Machine theory.

(3)

Programming Techniques.

(3)

Applications of Mathematics.

(2)

Communications Engineering, Networks.

(2)

Computational and Systems Biology.

(2)

Computational intelligence.

(2)

Computer Hardware.

(2)

Computer System Implementation.

(2)

Computer systems.

(2)

Computers, Special purpose.

(2)

Control and Systems Theory.

(2)

Energy Policy, Economics and Management.

(2)

Energy and state.

(2)

(2)

Environmental management.

(2)

Geotechnical Engineering and Applied Earth Sciences.

(2)

Geotechnical engineering.

(2)

Human-computer interaction.

(2)

(2)

Mathematical optimization.

(2)

(2)

Mechanics, Applied.

(2)

(2)

(2)

Numerical analysis.

(2)

Operations Research and Decision Theory.

(2)

Operations research.

(2)

(2)

(2)

Special Purpose and Application-Based Systems.

(2)

Sustainability.

(2)

Telecommunication.

(2)

The Computing Profession.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

(2)

Algebraic geometry.

(1)

Algebraic topology.

(1)

Behavioral Neuroscience.

(1)

Biochemical engineering.

(1)

Bioclimatology.

(1)

Biological Imaging.

(1)

Biomathematics.

(1)

Bioprocess Engineering.

(1)

Building Construction and Design.

(1)

Buildings -- Design and construction.

(1)

Business information services.

(1)

Chemical Process Engineering.

(1)

Chemical engineering.

(1)

Chemistry, Organic.

(1)

Civil engineering.

(1)

Climate Change Ecology.

(1)

Climate Sciences.

(1)

(1)

Cogeneration of electric power and heat.

(1)

Computational Science and Engineering.

(1)

Computational neuroscience.

(1)

Computer Engineering and Networks.

(1)

Computer architecture.

(1)

Computer engineering.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Conservation biology.

(1)

Control theory.

(1)

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Engineering Mechanics.

(1)

Engineering Thermodynamics, Heat and Mass Transfer.

(1)

Engineering geology.

(1)

Engineering mathematics.

(1)

Environmental Physics.

(1)

Environmental health.

(1)

Environmental sciences.

(1)

Evolution (Biology).

(1)

Evolutionary Biology.

(1)

(1)

(1)

Geoengineering.

(1)

Geographic information systems.

(1)

Geographical Information System.

(1)

(1)

Health Informatics.

(1)

Heat engineering.

(1)

(1)

Human behavior.

(1)

Human-machine systems.

(1)

IT in Business.

(1)

Image processing.

(1)

Imaging systems in biology.

(1)

Interaction Design.

(1)

Machine learning.

(1)

Machines, Tools, Processes.

(1)

(1)

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical and Computational Biology.

(1)

Mathematics -- Data processing.

(1)

Mathematics of Computing.

(1)

Medical informatics.

(1)

Microprocessors.

(1)

Models of Computation.

(1)

Neuroengineering.

(1)

Neurotechnology (Bioengineering).

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Organic Chemistry.

(1)

(1)

Processor Architectures.

(1)

(1)

Robotic Engineering.

(1)

Sociological Methods.

(1)

Sociology -- Methodology.

(1)

Sociology, Urban.

(1)

Solid Mechanics.

(1)

(1)

(1)

Systems Theory, Control.

(1)

Thermodynamics.

(1)

Urban Sociology.

(1)

Urban economics.

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

25.

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II için kapak resmi

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

Yazar

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III için kapak resmi

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

Yazar

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Optimization of Chemical Processes A Sustainable Perspective için kapak resmi

Optimization of Chemical Processes A Sustainable Perspective

Optimization of Chemical Processes A Sustainable Perspective

Yazar

Ponce-Ortega, José María. author. Ochoa-Barragán, Rogelio. author. (orcid)0000-0002-2187-5813 Ramírez-Márquez, César. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57270-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis için kapak resmi

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

Yazar

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-56862-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Artificial Intelligence for Healthy Longevity için kapak resmi

Artificial Intelligence for Healthy Longevity

Artificial Intelligence for Healthy Longevity

Yazar

Moskalev, Alexey. editor. (orcid)0000-0002-3248-1633 Stambler, Ilia. editor. Zhavoronkov, Alex. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

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:

31.

Real-time Monitoring and Operational Control of Drinking-Water Systems için kapak resmi

Real-time Monitoring and Operational Control of Drinking-Water Systems

Real-time Monitoring and Operational Control of Drinking-Water Systems

Yazar

Puig, Vicenç. editor. Ocampo-Martínez, Carlos. editor. Pérez, Ramon. editor. Cembrano, Gabriela. editor. Quevedo, Joseba. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-50751-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Mathematical Advances Towards Sustainable Environmental Systems için kapak resmi

Mathematical Advances Towards Sustainable Environmental Systems

Mathematical Advances Towards Sustainable Environmental Systems

Yazar

Furze, James N. editor. Swing, Kelly. editor. Gupta, Anil K. editor. McClatchey, Richard H. editor. Reynolds, Darren M. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

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:

34.

Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis için kapak resmi

Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis

Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis

Yazar

Cao, Zijun. author. Wang, Yu. author. Li, Dianqing. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers için kapak resmi

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Yazar

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers için kapak resmi

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers

Yazar

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

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