Search Results for Systems software.

|

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

+

Library: Online Library

Yazar

SpringerLink (Online service)

(472)

Apduhan, Bernady O. editor.

(12)

Bernardo, Marco. editor.

(11)

Messnarz, Richard. editor.

(10)

Taylor and Francis.

(9)

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

(6)

Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194

(6)

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331

(6)

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

(6)

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

(6)

Stankova, Elena. editor. (orcid)0000-0003-2625-452X

(6)

Taniar, David. editor.

(6)

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

(6)

Tarantino, Eufemia. editor. (orcid)0000-0002-2468-0771

(6)

Torre, Carmelo. editor. (orcid)0000-0003-4737-6040

(6)

Elleithy, Khaled. editor.

(5)

Filipe, Joaquim. editor.

(5)

Gavrilova, Marina L. editor.

(5)

Gervasi, Osvaldo. editor.

(5)

Misra, Sanjay. editor.

(5)

Murgante, Beniamino. editor.

(5)

O'Connor, Rory V. editor.

(5)

Prokopova, Zdenka. editor.

(5)

Rocha, Ana Maria Alves Coutinho. editor.

(5)

Romanovsky, Alexander. editor.

(5)

Silhavy, Petr. editor.

(5)

Silhavy, Radek. editor.

(5)

Torre, Carmelo. editor.

(5)

Bergsmann, Johannes. editor.

(4)

Hammoudi, Slimane. editor.

(4)

John Wiley & Sons, publisher.

(4)

Li, Kenli. editor.

(4)

Martinez, Gregorio. editor.

(4)

Wang, Guojun. editor.

(4)

Zomaya, Albert. editor.

(4)

Balas, Valentina Emilia. editor.

(3)

Biffl, Stefan. editor.

(3)

(3)

Camp, Olivier. editor.

(3)

Chen, Wai-Kai, 1936-

(3)

Choren, Ricardo. editor.

(3)

Cordeiro, José. editor.

(3)

Cortesi, Agostino. editor.

(3)

El-Qawasmeh, Eyas. editor.

(3)

Garau, Chiara. editor. (orcid)

(3)

Garcia, Alessandro. editor.

(3)

Gervasi, Osvaldo. editor. (orcid)

(3)

Giese, Holger. editor.

(3)

Hölzl, Matthias. editor.

(3)

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

(3)

Laffly, Dominique.

(3)

Lucena, Carlos. editor.

(3)

Maciaszek, Leszek A. editor.

(3)

Merayo, Mercedes G. editor.

(3)

Murgante, Beniamino. editor. (orcid)

(3)

Nurcan, Selmin. editor.

(3)

Riel, Andreas. editor.

(3)

Schaefer, Ina. editor.

(3)

Schimak, Gerald. editor.

(3)

Shishkov, Boris. editor.

(3)

Sobh, Tarek. editor.

(3)

Stamelos, Ioannis. editor.

(3)

Wan Mohd, Wan Maseri bt. editor.

(3)

Winkler, Dietmar. editor.

(3)

Wirsing, Martin. editor.

(3)

Yilmaz, Murat. editor.

(3)

Zannone, Nicola. editor.

(3)

Śmiałek, Michał. editor.

(3)

Abdelnour Nocera, José. editor.

(2)

Abrahamsson, Pekka. editor.

(2)

Asahi, Yumi. editor.

(2)

Barolli, Leonard. editor.

(2)

Barthe, Gilles. editor.

(2)

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

(2)

Bielova, Nataliia. editor.

(2)

Bishop, Robert H., 1957-

(2)

Bossler, John D.

(2)

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

(2)

Broy, Manfred. editor.

(2)

Calinescu, Radu. editor.

(2)

Chaki, Nabendu. editor.

(2)

Chaki, Rituparna. editor.

(2)

Chen, Shu-Jiun. editor.

(2)

Clarke, Paul. editor.

(2)

Corral, Luis. editor.

(2)

Crassidis, John L., author.

(2)

Damiani, Ernesto. editor.

(2)

Damiani, Ferruccio. editor.

(2)

Dastani, Mehdi. editor.

(2)

De Silva, Clarence W.

(2)

Deelman, Ewa. editor.

(2)

Denzer, Ralf. editor.

(2)

Dhillon, B. S. (Balbir S.), 1947, author.

(2)

Docter, Quentin, author.

(2)

Dongarra, Jack. editor.

(2)

Dorf, Richard C.

(2)

Fitzgerald, Brian. editor.

(2)

Fujita, Hamido. editor. (orcid)

(2)

Goh, Dion H. editor.

(2)

Henkel, Jörg. author.

(2)

Huisman, Marieke. editor.

(2)

Jing, Jiwu. editor.

(2)

John Wiley & Sons.

(2)

Johnsen, Einar Broch. editor.

(2)

Junkins, John L.

(2)

Jürjens, Jan. editor.

(2)

Kacprzyk, Janusz. editor.

(2)

Karaca, Yeliz. editor.

(2)

Karczewski, Konrad. editor.

(2)

Kenett, Ron, editor.

(2)

Kim, Haeng Kon. editor.

(2)

Kowalczyk, Martin. author.

(2)

Kristín Lárusdóttir, Marta. editor.

(2)

Lee, Roger. editor.

(2)

Lemos, Rogério. editor.

(2)

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

(2)

Livshits, Benjamin. editor.

(2)

Majumdar, Rupak. editor.

(2)

Massacci, Fabio. editor.

(2)

Matulevičius, Raimundas. editor.

(2)

Mazurkiewicz, Jacek. editor.

(2)

McMaster, Robert Brainerd.

(2)

Meyer, Bertrand. editor.

(2)

Mi, Chris, author.

(2)

Mori, Hirohiko. editor.

(2)

Münch, Jürgen. author.

(2)

Navet, Nicolas.

(2)

Niranjanamurthy, M., editor.

(2)

Noël, Frédéric. editor.

(2)

O’Connor, Rory V. editor.

(2)

Pardalos, Panos M. author.

(2)

Park, James J. (Jong Hyuk). editor.

(2)

Petrenko, Alexandre. editor.

(2)

Petrie, Helen. editor.

(2)

Piccinno, Antonio. editor.

(2)

Pierro, Alessandra. editor.

(2)

Piessens, Frank. editor.

(2)

Pimenidis, Elias. editor.

(2)

(2)

Puschner, Peter. editor.

(2)

(2)

Rocha, Ana Maria A. C. editor. (orcid)

(2)

Saeed, Khalid. editor. (orcid)0000-0002-7741-7045

(2)

Sankaranarayanan, Sriram. editor.

(2)

Scandariato, Riccardo. editor.

(2)

Scorza, Francesco. editor.

(2)

Shafique, Muhammad. author.

(2)

Shankar, P. (Priti)

(2)

Sharygina, Natasha. editor.

(2)

(2)

Srivatsa, Mudhakar. editor.

(2)

Stirna, Janis. editor. (orcid)0000-0002-3669-832X

(2)

Succi, Giancarlo. editor.

(2)

Sugier, Jarosław. editor.

(2)

Tayntor, Christine B., author.

(2)

Tolk, Andreas, editor.

(2)

Torre, Carmelo M. editor.

(2)

Trendowicz, Adam. author.

(2)

Tripathi, Suman Lata, editor.

(2)

Tuarob, Suppawong. editor.

(2)

Ulrich, Andreas. editor.

(2)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(2)

Walkowiak, Tomasz. editor.

(2)

Wang, Ning. editor.

(2)

Wasserman, Anthony I. editor.

(2)

(2)

Wiklicky, Herbert. editor.

(2)

Winckler, Marco. editor.

(2)

Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124

(2)

Wu, Zhaohui. editor.

(2)

Wyrzykowski, Roman. editor.

(2)

Yang, Laurence T. editor.

(2)

Zain, Jasni Mohamad. editor.

(2)

Zamojski, Wojciech. editor.

(2)

Zavattaro, Gianluigi. editor.

(2)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(2)

Zhang, Zili. editor.

(2)

Zurawski, Richard.

(2)

(1)

Aalst, Wil van der.

(1)

Abbas, Assad, editor.

(1)

Abbasimoshaei, Alireza. editor.

(1)

Abdallah, Abderazek Ben. author.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Abelló, Alberto. editor.

(1)

Abraham, Erika. editor.

(1)

Abrahart, Robert J., 1956- editor.

(1)

Abramowicz, Witold. editor.

(1)

Acher, Mathieu. editor.

(1)

Adam, Azad., author.

(1)

Adams, Carlisle. editor.

(1)

Adeli, Hojjat. editor.

(1)

Adibi, Sasan. editor.

(1)

Adler, Aaron. editor.

(1)

Afonso, João L. editor.

(1)

Agapito, Giuseppe. editor.

(1)

Agmon Ben-Yehuda, Orna. editor.

(1)

Agrawal, Arun Prakash. editor.

(1)

Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895

(1)

Ahmed, Amal. editor. (orcid)0000-0001-7424-572X

(1)

Tümünü genişlet

Dil

(817)

(1)

(1)

Yayın Yılı

-

(147)

(111)

(62)

(59)

(56)

(52)

(32)

(27)

(25)

(24)

(24)

(24)

(24)

(22)

(20)

(20)

(19)

(17)

(16)

(14)

(14)

(13)

(11)

(8)

(4)

(3)

(3)

(2)

(1)

(1)

Tümünü genişlet

Konu

Software engineering.

(238)

Computer science.

(157)

Electronic books.

(106)

Artificial intelligence.

(81)

Computer Communication Networks.

(56)

(47)

(40)

TECHNOLOGY & ENGINEERING.

(39)

Information systems.

(38)

Computational intelligence.

(37)

Management information systems.

(34)

Software Engineering/Programming and Operating Systems.

(33)

Application software.

(25)

Computer communication systems.

(24)

(21)

Information Systems.

(21)

Computer software.

(20)

Systems engineering.

(20)

Computer security.

(19)

Telecommunication.

(17)

Computer simulation.

(16)

Computer software -- Development.

(16)

Operating systems (Computers).

(16)

Computer network architectures.

(15)

Computer system performance.

(15)

(15)

(14)

Intelligence (AI) & Semantics.

(14)

Internet of things.

(14)

(13)

Embedded computer systems.

(13)

Information storage and retrieval systems.

(12)

(12)

Cloud computing.

(11)

Data structures (Computer science).

(11)

User interfaces (Computer systems).

(11)

Communications Engineering, Networks.

(10)

Electronic circuits.

(10)

Programming Languages, Compilers, Interpreters.

(10)

Control engineering.

(9)

Database management.

(9)

(9)

Ingénierie des systèmes.

(9)

Logics and Meanings of Programs.

(9)

Programming Techniques.

(9)

Systems engineering

(9)

TECHNOLOGY & ENGINEERING -- Mechanical.

(9)

(8)

Cloud computing

(8)

Computer logic.

(8)

Computer system failures.

(8)

Data encryption (Computer science).

(8)

Electronic Circuits and Systems.

(8)

Internet des objets.

(8)

Optical data processing.

(8)

(8)

Sécurité informatique.

(8)

TECHNOLOGY & ENGINEERING -- Engineering (General)

(8)

(7)

COMPUTERS -- Machine Theory.

(7)

Computer engineering.

(7)

Computer hardware.

(7)

Data transmission systems.

(7)

Engineering -- Data processing.

(7)

Engineering mathematics.

(7)

Industrial engineering.

(7)

Information theory.

(7)

Software architecture.

(7)

Applied Dynamical Systems.

(6)

Bioinformatics.

(6)

COMPUTERS -- Hardware -- General.

(6)

Data Mining and Knowledge Discovery.

(6)

Data protection.

(6)

(6)

Electrical engineering.

(6)

Industrial and Production Engineering.

(6)

Internet of things

(6)

Machine learning.

(6)

Microelectronics.

(6)

Mobile & Wireless Communications.

(6)

Nonlinear theories.

(6)

Operating Systems.

(6)

Programming languages (Electronic computers).

(6)

Apprentissage automatique.

(5)

Artificial Intelligence (incl. Robotics).

(5)

(5)

Biomedical engineering.

(5)

COMPUTERS -- Computer Literacy.

(5)

COMPUTERS -- Computer Science.

(5)

COMPUTERS -- Data Processing.

(5)

COMPUTERS -- Information Technology.

(5)

COMPUTERS -- Reference.

(5)

Computer Security

(5)

Computer architecture.

(5)

Computer networks -- Security measures.

(5)

Computer networks.

(5)

Control, Robotics, Automation.

(5)

(5)

Electronics and Microelectronics, Instrumentation.

(5)

Engineering design.

(5)

Guides de l'étudiant.

(5)

Information Storage and Retrieval.

(5)

Intelligence artificielle.

(5)

Management of Computing and Information Systems.

(5)

Medical records -- Data processing.

(5)

Optical pattern recognition.

(5)

Production engineering.

(5)

(5)

Project Management.

(5)

Project management.

(5)

(5)

Software Development & Engineering.

(5)

(5)

(5)

Telecommunications.

(5)

examination study guides.

(5)

Algorithm Analysis and Problem Complexity.

(4)

Application software -- Development.

(4)

Artificial intelligence -- Industrial applications.

(4)

BUSINESS & ECONOMICS.

(4)

Computer Engineering.

(4)

Computer organization.

(4)

Computer programming.

(4)

Computer software -- Quality control.

(4)

Computer vision.

(4)

Control and Systems Theory.

(4)

(4)

Data Analysis and Big Data.

(4)

Electric power systems.

(4)

Electronic data processing -- Distributed processing.

(4)

Electronic data processing personnel -- Certification

(4)

(4)

Geographic information systems.

(4)

Human engineering.

(4)

Human-computer interaction.

(4)

Industrial Management.

(4)

Information Systems Applications (incl. Internet).

(4)

Intelligence artificielle -- Applications industrielles.

(4)

Livres numériques.

(4)

Mathematical and Computational Engineering Applications.

(4)

Mathematical logic.

(4)

(4)

Multiprocessors.

(4)

(4)

Open source software.

(4)

Parallel processing (Electronic computers)

(4)

Quantitative research.

(4)

Renewable energy sources.

(4)

Signal processing -- Digital techniques.

(4)

Simulation and Modeling.

(4)

System Performance and Evaluation.

(4)

TECHNOLOGY & ENGINEERING -- Reference.

(4)

Theory of Computation.

(4)

User Interfaces and Human Computer Interaction.

(4)

(4)

Artificial intelligence -- Industrial applications

(3)

(3)

Automatic control.

(3)

Business Information Systems.

(3)

COMPUTERS -- General.

(3)

COMPUTERS -- Software Development & Engineering -- General.

(3)

COMPUTERS / Programming / Software Development

(3)

(3)

Cloud Computing.

(3)

Computational Biology/Bioinformatics.

(3)

Computer Systems Organization and Communication Networks.

(3)

Computer industry.

(3)

Computer networks .

(3)

Computer software -- Reliability.

(3)

Computer systems -- Reliability.

(3)

Computer vision

(3)

Data Engineering.

(3)

Data Structures, Cryptology and Information Theory.

(3)

Electric power systems

(3)

Electrical and Electronic Engineering.

(3)

Electronic commerce.

(3)

Embedded computer systems -- Programming.

(3)

(3)

Génie logiciel.

(3)

Health Informatics.

(3)

Industrial safety.

(3)

Information Systems and Communication Service.

(3)

Information resources management.

(3)

Input-output equipment (Computers).

(3)

(3)

(3)

Logiciels libres.

(3)

Mathematical Logic and Formal Languages.

(3)

Mathematical Modeling and Industrial Mathematics.

(3)

Mathematical models.

(3)

Mathematical optimization.

(3)

(3)

Medical informatics.

(3)

Microcontrollers.

(3)

Mobile communication systems.

(3)

Open source software

(3)

Operating systems (Computers)

(3)

Penetration testing (Computer security)

(3)

Power Resources.

(3)

Programming Languages.

(3)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

{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

823 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 69

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.

Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2 için kapak resmi

Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2

Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-21438-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Applied Computing for Software and Smart Systems Proceedings of ACSS 2022 için kapak resmi

Applied Computing for Software and Smart Systems Proceedings of ACSS 2022

Applied Computing for Software and Smart Systems Proceedings of ACSS 2022

Yazar

Chaki, Rituparna. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Nabendu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-6791-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023) için kapak resmi

Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023)

Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023)

Yazar

Barolli, Leonard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-35734-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Applied Computing for Software and Smart Systems Proceedings of ACSS 2023 için kapak resmi

Applied Computing for Software and Smart Systems Proceedings of ACSS 2023

Applied Computing for Software and Smart Systems Proceedings of ACSS 2023

Yazar

Chaki, Rituparna. editor. Chaki, Nabendu. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-7783-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Software engineering for automotive systems : principles and applications için kapak resmi

Software engineering for automotive systems : principles and applications

Software engineering for automotive systems : principles and applications

Yazar

Sivakumar, P. (Electrical engineer), editor. Kumar, B. Vinoth, editor. Sandhya Devi, R. S., editor.

Yer Numarası

TL272.53

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003269908
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

An introduction to self-adaptive systems : a contemporary software engineering perspective için kapak resmi

An introduction to self-adaptive systems : a contemporary software engineering perspective

An introduction to self-adaptive systems : a contemporary software engineering perspective

Yazar

Weyns, Danny.

Yer Numarası

QA76.76 .S375

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings için kapak resmi

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Yazar

Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17184-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17465-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures için kapak resmi

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, 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-030-17601-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17462-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Automotive Systems and Software Engineering State of the Art and Future Trends için kapak resmi

Automotive Systems and Software Engineering State of the Art and Future Trends

Automotive Systems and Software Engineering State of the Art and Future Trends

Yazar

Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-12157-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings için kapak resmi

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

Yazar

Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-22888-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 .. 69

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11