Search Results for Research -- Methods.

|

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)

(67)

Silhavy, Petr. editor.

(9)

Silhavy, Radek. editor.

(9)

Marcus, Aaron. editor.

(4)

Felderer, Michael. editor.

(3)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

Quatmann, Tim. editor. (orcid)0000-0002-2843-5511

(3)

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

(3)

Volk, Matthias. editor. (orcid)0000-0002-3810-4185

(3)

Wang, Wentao. editor.

(3)

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

(2)

Grabis, Jānis. editor. (orcid)0000-0003-2196-0214

(2)

Johnsen, Einar Broch. editor.

(2)

Mahmood, Zaigham. editor.

(2)

Pastor, Oscar. editor. (orcid)0000-0002-1320-8471

(2)

Sturm, Arnon. editor. (orcid)0000-0002-4021-7752

(2)

Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113

(2)

van der Aa, Han. editor. (orcid)0000-0002-4200-4937

(2)

Abrahamsson, Pekka. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011

(1)

Alkhalaf, Muath. author.

(1)

Amasaki, Sousuke. editor.

(1)

Aydin, Abdulbaki. author.

(1)

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

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

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

(1)

Biro, Miklos. editor.

(1)

Bodden, Eric. editor.

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bork, Dominik. editor. (orcid)0000-0001-8259-2297

(1)

Borrione, Dominique. editor.

(1)

Bourke, Timothy. editor. (orcid)0000-0003-0601-4182

(1)

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

(1)

Bowen, Judy. editor.

(1)

Bu, Lei. editor.

(1)

Bubel, Richard. editor.

(1)

Bultan, Tevfik. author.

(1)

Butler, Michael. editor.

(1)

Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601

(1)

Chen, Chaomei. author.

(1)

Chen, Liqian. editor. (orcid)0000-0001-8084-8009

(1)

Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Cuppens, Frédéric. editor.

(1)

Cuppens, Nora. editor.

(1)

Deng, Lizhen. author.

(1)

Dix, Alan. editor.

(1)

Ernst, Gidon. editor. (orcid)0000-0002-3289-5764

(1)

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

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Furia, Carlo A. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Gavrilova, Marina L. editor.

(1)

Goharshady, Amir. editor. (orcid)0000-0003-1702-6584

(1)

Graf, Susanne. editor. (orcid)0000-0003-4354-6807

(1)

Granollers Saltiveri, Antoni. editor.

(1)

Großmann, Jürgen. editor.

(1)

Guizzardi, Renata. editor. (orcid)0000-0002-5804-5741

(1)

Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023

(1)

Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674

(1)

Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335

(1)

Herber, Paula. editor.

(1)

Hermanns, Holger. editor. (orcid)0000-0002-2766-9615

(1)

Hoda, Rashina. author. (orcid)0000-0001-5147-8096

(1)

Hähnle, Reiner. editor.

(1)

Höst, Martin. author.

(1)

Jedlitschka, Andreas. editor.

(1)

Karagiannis, Dimitris. editor.

(1)

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

(1)

Kephart, Jeffrey O. editor.

(1)

Kersting, Kristian. editor.

(1)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(1)

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

(1)

Kounev, Samuel. editor.

(1)

Kowalczyk, Ryszard. editor.

(1)

Koziolek, Heiko. editor.

(1)

Kurosu, Masaaki. editor.

(1)

Kühn, Harald. editor.

(1)

Lanet, Jean-Louis. editor.

(1)

Langerak, Rom. editor.

(1)

Latorre, Pedro M. editor.

(1)

Legay, Axel. editor.

(1)

Lilienthal, Carola. editor.

(1)

Lin, Dan. editor. (orcid)0000-0001-7067-2396

(1)

Liu, Shaoying. editor. (orcid)0000-0002-6748-5052

(1)

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

(1)

Lässig, Jörg. editor.

(1)

Macías, José A. editor.

(1)

Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953

(1)

Matthes, Florian. editor.

(1)

Mayr, Heinrich C. editor.

(1)

Menzies, Tim. editor.

(1)

Mercik, Jacek. editor.

(1)

Mery, Dominique. editor. (orcid)0000-0001-5231-6611

(1)

Messina, Angelo. editor.

(1)

Mikkonen, Tommi. editor.

(1)

Milenkoski, Aleksandar. editor.

(1)

Morik, Katharina. editor.

(1)

Mylopoulos, John. editor. (orcid)0000-0002-8698-3292

(1)

Nafz, Florian. editor. (orcid)0000-0001-5725-4827

(1)

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

(1)

Nguyen, Ngoc Thanh. editor.

(1)

O'Regan, Gerard. author.

(1)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(1)

Ohlsson, Magnus C. author.

(1)

Olivetti, Nicola. editor.

(1)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(1)

Orłowski, Cezary. editor.

(1)

Palanque, Philippe. editor. (orcid)0000-0002-5381-971X

(1)

Pan, Yushan. author. (orcid)0000-0002-6877-3937

(1)

Paul, Wolfgang. editor.

(1)

Petke, Justyna. editor.

(1)

Pettersson, Paul. editor. (orcid)0000-0003-4040-3480

(1)

Ponsar, Hella. editor. (orcid)0000-0001-6376-9683

(1)

Prechelt, Lutz. editor.

(1)

Pufahl, Luise. editor. (orcid)0000-0002-5182-2587

(1)

Ramachandran, Muthu. editor.

(1)

Regnell, Björn. author.

(1)

Rensink, Arend. editor.

(1)

Rumpe, Bernhard. editor.

(1)

Runeson, Per. author.

(1)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(1)

Schaefer, Ina. editor.

(1)

Schellhorn, Gerhard. editor. (orcid)0000-0001-6712-7178

(1)

Schewe, Klaus-Dieter. editor.

(1)

Schiendorfer, Alexander. editor. (orcid)0000-0002-5283-5304

(1)

Schmidt, Rainer. editor. (orcid)0000-0002-1637-0589

(1)

Schmitt, Peter H. editor.

(1)

Seehusen, Fredrik. editor.

(1)

Sillitti, Alberto. editor.

(1)

Sirjani, Marjan. editor.

(1)

Song, Min. author.

(1)

Steffen, Bernhard. editor.

(1)

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

(1)

Succi, Giancarlo. editor.

(1)

Sun, Jun. editor.

(1)

Sun, Meng. editor.

(1)

Tan, C.J. Kenneth. editor.

(1)

Tiwari, Ashish. editor.

(1)

Ulbrich, Mattias. editor.

(1)

Ulitin, Boris. author.

(1)

Wesslén, Anders. author.

(1)

Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X

(1)

Wohlin, Claes. author.

(1)

Wrycza, Stanisław. editor.

(1)

Wu, Jiajing. editor. (orcid)0000-0001-5155-8547

(1)

Xu, Guoxia. author.

(1)

Yu, Fang. author.

(1)

Zhang, Zili. editor.

(1)

Zheng, Zibin. editor. (orcid)0000-0002-7878-4330

(1)

Zhu, Hu. author.

(1)

Zhu, Xiaoyun. editor.

(1)

Ziółkowski, Artur. editor.

(1)

Ábrahám, Erika. editor.

(1)

Tümünü genişlet

Dil

(67)

Yayın Yılı

-

(20)

(18)

(13)

(13)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(29)

Artificial intelligence.

(16)

Computer Science Logic and Foundations of Programming.

(14)

Theory of Computation.

(14)

Computational intelligence.

(13)

Compilers (Computer programs).

(12)

Compilers and Interpreters.

(12)

Formal Languages and Automata Theory.

(12)

Machine theory.

(12)

Computer networks .

(11)

Application software.

(10)

Computer and Information Systems Applications.

(10)

Computer Communication Networks.

(7)

Computer programming.

(7)

Data and Information Security.

(7)

Data protection.

(7)

Human-computer interaction.

(7)

Programming Techniques.

(7)

User Interfaces and Human Computer Interaction.

(7)

User interfaces (Computer systems).

(7)

Computer Modelling.

(6)

Computer simulation.

(6)

Computers and Society.

(6)

Computers and civilization.

(6)

Information technology -- Management.

(6)

Business information services.

(5)

Computer Application in Administrative Data Processing.

(5)

Computer science -- Mathematics.

(5)

Electronic data processing -- Management.

(5)

(5)

(4)

Business Process Management.

(4)

Computer Engineering and Networks.

(4)

Computer engineering.

(4)

IT in Business.

(4)

Information Storage and Retrieval.

(4)

Information storage and retrieval systems.

(4)

Models of Computation.

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer vision.

(2)

(2)

(2)

(2)

Data Mining and Knowledge Discovery.

(2)

Data encryption (Computer science).

(2)

(2)

Electronic digital computers -- Evaluation.

(2)

Image processing -- Digital techniques.

(2)

Innovation and Technology Management.

(2)

(2)

Machine learning.

(2)

Mathematics of Computing.

(2)

Programming Language.

(2)

Programming languages (Electronic computers).

(2)

System Performance and Evaluation.

(2)

Technological innovations.

(2)

(1)

Blockchains (Databases).

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer System Implementation.

(1)

Computer aided design.

(1)

Computer hardware.

(1)

Computer systems.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers and Education.

(1)

Computers, Special purpose.

(1)

Control Structures and Microprogramming.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

(1)

Education -- Data processing.

(1)

Electronic commerce.

(1)

Energy Policy, Economics and Management.

(1)

Energy and state.

(1)

(1)

Engineering design.

(1)

Enterprise Architecture.

(1)

Hardware Performance and Reliability.

(1)

Information systems.

(1)

Management information systems.

(1)

Mathematical Applications in Computer Science.

(1)

Microprogramming .

(1)

Multimedia systems.

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

(1)

Robotic Engineering.

(1)

(1)

Social sciences -- Data processing.

(1)

Sociological Methods.

(1)

Sociology -- Methodology.

(1)

Software Management.

(1)

Software engineering -- Management.

(1)

Special Purpose and Application-Based Systems.

(1)

Symbolic and Algebraic Manipulation.

(1)

The Computing Profession.

(1)

e-Commerce and e-Business.

(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

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

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career için kapak resmi

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Yazar

Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-73751-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions için kapak resmi

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings için kapak resmi

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

Yazar

Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0602-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III için kapak resmi

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4 için kapak resmi

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4

Yazar

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-032-03406-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3 için kapak resmi

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3

Yazar

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-032-00239-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6 için kapak resmi

Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6

Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6

Yazar

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-032-00715-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2 için kapak resmi

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2

Yazar

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-032-00712-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1 için kapak resmi

Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1

Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1

Yazar

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings için kapak resmi

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Yazar

Hermanns, Holger. editor. (orcid)0000-0002-2766-9615 Sun, Jun. editor. Bu, Lei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8664-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Infrared Small Target Detection Theory, Methods, and Algorithms. için kapak resmi

Infrared Small Target Detection Theory, Methods, and Algorithms.

Infrared Small Target Detection Theory, Methods, and Algorithms.

Yazar

Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-9799-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

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:

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