Search Results for Tools.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Subject: 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ç

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

26.

Expanding Senses using Neurotechnology Volume 1 ‒ Foundation of Brain-Computer Interface Technology için kapak resmi

Expanding Senses using Neurotechnology Volume 1 ‒ Foundation of Brain-Computer Interface Technology

Expanding Senses using Neurotechnology Volume 1 ‒ Foundation of Brain-Computer Interface Technology

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-76081-5

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.

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:

31.

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:

32.

Simulating Crowds in Egress Scenarios için kapak resmi

Simulating Crowds in Egress Scenarios

Simulating Crowds in Egress Scenarios

Yazar

Cassol, Vinícius J. author. Musse, Soraia R. author. Jung, Cláudio R. author. Badler, Norman I. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications için kapak resmi

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

Yazar

Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

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:

35.

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:

36.

Planning Support Science for Smarter Urban Futures için kapak resmi

Planning Support Science for Smarter Urban Futures

Planning Support Science for Smarter Urban Futures

Yazar

Geertman, Stan. editor. Allan, Andrew. editor. Pettit, Chris. editor. Stillwell, John. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11