Search Results for 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ış:

+

Konu: Operating Systems.

Yazar

SpringerLink (Online service)

(93)

Batina, Lejla. editor. (orcid)0000-0003-0727-3573

(3)

Fischlin, Marc. editor. (orcid)0000-0003-0597-8297

(3)

Florez, Hector. editor. (orcid)0000-0002-5339-4459

(3)

Lu, Zeguang. editor.

(3)

Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182

(3)

Pöpper, Christina. editor.

(3)

Wu, Qianhong. editor.

(3)

Zhu, Jianming. editor.

(3)

Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813

(2)

Baldimtsi, Foteini. editor.

(2)

Brodsky, Alexander. editor.

(2)

Cachin, Christian. editor.

(2)

Clark, Jeremy. editor. (orcid)0000-0002-3533-5965

(2)

Filipe, Joaquim. editor.

(2)

Hammoudi, Slimane. editor.

(2)

Krogstie, John. editor. (orcid)0000-0003-4830-1876

(2)

Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133

(2)

Polychronakis, Michalis. editor.

(2)

Proper, Henderik A. editor. (orcid)0000-0002-7318-2496

(2)

Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108

(2)

Shi, Elaine. editor.

(2)

Song, Xianhua. editor.

(2)

Sun, Yi. editor.

(2)

Zhu, Liehuang. editor.

(2)

Śmiałek, Michał. editor.

(2)

Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729

(1)

Aiello, Marco. editor. (orcid)0000-0002-0764-2124

(1)

Allen, Sarah. editor.

(1)

Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502

(1)

Ampatzoglou, Apostolos. editor. (orcid)0000-0002-5764-7302

(1)

Andrade, Liliana, editor.

(1)

Anslow, Craig. editor. (orcid)0000-0001-8064-6300

(1)

Antonakakis, Manos. editor.

(1)

Arabnia, Hamid R. editor.

(1)

Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062

(1)

Athanasopoulos, Elias. editor.

(1)

Bader, Markus. editor.

(1)

Badir, Hassan. editor.

(1)

Bai, Guangdong. editor.

(1)

Bailey, Michael. editor.

(1)

Balouek, Daniel. editor. (orcid)0000-0001-6038-1077

(1)

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448

(1)

Barnes, John. author.

(1)

Barzen, Johanna. editor.

(1)

Beckert, Bernhard. editor.

(1)

Beheshti, Amin. editor. (orcid)0000-0002-5988-5494

(1)

Bellatreche, Ladjel. editor.

(1)

Bergsmann, Johannes. editor.

(1)

Berrezueta-Guzman, Santiago. editor. (orcid)0000-0001-5559-2056

(1)

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

(1)

Biswas, Kamanashis. editor. (orcid)0000-0003-3719-8607

(1)

Blieberger, Johann. editor.

(1)

Bludau, Peter. editor. (orcid)0000-0003-4738-0488

(1)

Bodden, Eric. editor.

(1)

Boer, Frank S. editor.

(1)

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551

(1)

Bonsangue, Marcello M. editor.

(1)

Boronat, Artur. editor. (orcid)0000-0003-2024-1736

(1)

Bosschere, Koen. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

Bougé, Luc. editor.

(1)

Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260

(1)

Brat, Guillaume. editor.

(1)

Brown, Mike, author.

(1)

Brukardt, Randall L. editor.

(1)

Budurushi, Jurlind. editor. (orcid)0000-0002-6732-4400

(1)

Buhnova, Barbora. editor. (orcid)0000-0003-4205-101X

(1)

Buttazzo, Giorgio. author.

(1)

Castellani, Ilaria. editor. (orcid)0000-0001-9820-0892

(1)

Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523

(1)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(1)

Cheikh M. F. Kebe, Kebe. editor.

(1)

Chemuturi, Murali. author.

(1)

Chiba, Shigeru. editor.

(1)

Cirne, Walfredo. editor.

(1)

Clarke, Dave. editor.

(1)

Cohen, Albert. editor.

(1)

Cristea, Ana Daniela. author.

(1)

Criswell, John. editor.

(1)

Cámara, Javier. editor.

(1)

Dacier, Marc. editor.

(1)

Damiani, Ferruccio. editor.

(1)

Daněk, Martin. editor.

(1)

Desai, Narayan. editor.

(1)

Di Giusto, Cinzia. editor. (orcid)0000-0003-1563-6581

(1)

Di Pompeo, Daniele. editor. (orcid)0000-0003-2041-7375

(1)

Diamandis, Theo. editor. (orcid)0000-0003-0657-5959

(1)

Ding, Chen. editor.

(1)

Ding, Yong. editor. (orcid)0000-0002-3571-7576

(1)

Dong, Naipeng. editor.

(1)

Dou, Yong. editor.

(1)

Drira, Khalil. editor. (orcid)0000-0002-4770-1563

(1)

Duff, Robert A. editor.

(1)

Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821

(1)

Emek, Yuval. editor.

(1)

Eugster, Patrick. editor.

(1)

Farchi, Eitan. editor.

(1)

Ferreira, Carla. editor. (orcid)0000-0003-3680-7634

(1)

Frachtenberg, Eitan. editor.

(1)

Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391

(1)

Fraser, Gordon. editor. (orcid)0000-0002-4364-6595

(1)

Fredericks, Erik M. editor.

(1)

Fritz, G. Blair, author.

(1)

Gammoudi, Mohamed Mohsen. editor.

(1)

Gargouri, Faiez. editor.

(1)

Gaspers, Serge. editor.

(1)

Gay, Warren. author.

(1)

Gellert, Ulrich. author.

(1)

Gelsinger, Pat, writer of foreword.

(1)

Ghezzi, Carlo. editor.

(1)

Gil, Joon-Min. editor.

(1)

Goel, Sanjay. editor. (orcid)0000-0002-7164-8395

(1)

Gong, Xiaoli. editor.

(1)

Goodell, Geoffrey. editor.

(1)

Gorbenko, Anatoliy. editor.

(1)

Gregory, Peggy. editor. (orcid)0000-0001-7891-6666

(1)

Guegan, Chirine Ghedira. editor.

(1)

Guerra, Eduardo. editor. (orcid)0000-0001-5555-3487

(1)

Guerra, Esther. editor.

(1)

Gueye, Assane. editor. (orcid)0000-0001-6469-4716

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

He, Jifeng. editor.

(1)

Heras, Dora. editor.

(1)

Herrera-Tapia, Jorge. editor. (orcid)0000-0002-8673-0236

(1)

Hochberger, Christian. editor.

(1)

Hsu, Ching-Hsien. editor.

(1)

Hyrynsalmi, Sami. editor.

(1)

Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262

(1)

Jagadish, H. V. editor. (orcid)0000-0003-0724-5214

(1)

Jahangirova, Gunel. editor.

(1)

Janes, Andrea. editor.

(1)

Jedlitschka, Andreas. editor.

(1)

Jemili, Imen. editor. (orcid)0000-0002-3701-1251

(1)

Jhala, Ranjit. editor.

(1)

Johnson, Ryan, author.

(1)

Juddoo, Suraj. editor.

(1)

Julien, Christine. editor.

(1)

Jurdak, Raja. editor. (orcid)0000-0001-7517-0782

(1)

Kadgien, Regine. editor.

(1)

Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X

(1)

Kanhere, Salil. editor. (orcid)0000-0002-1835-3475

(1)

Kappel, Gerti. editor. (orcid)0000-0002-4758-9436

(1)

Kappel, Gertri. editor. (orcid)0000-0002-4758-9436

(1)

Kasahara, Hironori. editor.

(1)

Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154

(1)

Kechadi, Tahar. editor. (orcid)0000-0002-0176-6281

(1)

Kharchenko, Vyacheslav. editor.

(1)

Khomh, Foutse. editor. (orcid)0000-0002-5704-4173

(1)

Kim, Cheonshik. editor.

(1)

Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626

(1)

Kimura, Keiji. editor.

(1)

Klages-Mundt, Ariah. editor. (orcid)0000-0002-5577-1000

(1)

Kropp, Martin. editor. (orcid)0000-0002-7439-6517

(1)

Kubátová, Hana. editor.

(1)

Kulyk, Oksana. editor. (orcid)0000-0003-4218-1658

(1)

Kuznets, Roman. editor. (orcid)0000-0001-5894-8724

(1)

Leavens, Gary T. editor.

(1)

Lemos, Rogério. editor.

(1)

Leon, Marcelo. editor.

(1)

Leroy, Pascal. editor.

(1)

Leymann, Frank. editor. (orcid)0000-0002-9123-259X

(1)

Li, Chao. editor. (orcid)0000-0001-6218-4659

(1)

Li, Guoliang. editor. (orcid)0000-0002-1398-0621

(1)

Li, Xiaoming. editor.

(1)

Li, Xiaozhou. editor.

(1)

Li, Zhenhua. editor. (orcid)0000-0001-7286-122X

(1)

Lin, Haixiang. editor.

(1)

Lopes, Antónia. editor.

(1)

Lopez, Johnny, author.

(1)

Lourenço, João M. editor.

(1)

Lu, Kejing. editor. (orcid)0000-0002-4006-3378

(1)

Lu, Yueming. editor.

(1)

Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228

(1)

Lü, Jian. author.

(1)

Mabrouk, Sabra. editor.

(1)

Maiga, Amadou-Seidou. editor.

(1)

Marchesi, Michele. editor.

(1)

Marshall, Nick (Computer consultant), author.

(1)

Martins, Rolando. editor. (orcid)0000-0002-1838-1417

(1)

Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393

(1)

Matsuo, Shin'ichiro. editor. (orcid)0000-0002-3208-4531

(1)

Medeiros, Ibéria. editor.

(1)

Mei, Hong. author.

(1)

Meier, Michael. editor.

(1)

Melegati, Jorge. editor.

(1)

Mendiboure, Leo. editor.

(1)

Menzies, Tim. editor.

(1)

Mey, Dieter. editor.

(1)

Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623

(1)

Mili, Ali. editor.

(1)

Mohr, Bernd. editor.

(1)

Morishima, Atsuyuki. editor. (orcid)0000-0003-4606-9065

(1)

Mosbah, Mohamed. editor.

(1)

Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237

(1)

Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712

(1)

Mueller, Frank. editor.

(1)

Münch, Jürgen. editor. (orcid)0000-0003-0327-8094

(1)

Nakagawa, Elisa Yumi. editor. (orcid)0000-0002-7754-4298

(1)

Nakamura, Junya. editor. (orcid)0000-0002-1363-4358

(1)

Tümünü genişlet

Dil

(96)

Yayın Yılı

-

(31)

(24)

(20)

(11)

(5)

(2)

(1)

(1)

(1)

Tümünü genişlet

Konu

Operating systems (Computers).

(93)

Software engineering.

(68)

Computer Communication Networks.

(32)

Computer networks .

(32)

Computer science.

(32)

Application software.

(29)

Computer and Information Systems Applications.

(29)

Artificial intelligence.

(21)

Data encryption (Computer science).

(19)

(18)

(18)

Data protection.

(16)

Data and Information Security.

(15)

Information theory.

(14)

Special Purpose and Application-Based Systems.

(14)

Data Structures and Information Theory.

(13)

Data structures (Computer science).

(13)

Computer System Implementation.

(12)

Computers, Special purpose.

(12)

Programming Techniques.

(12)

Computer systems.

(11)

Programming Languages, Compilers, Interpreters.

(11)

Compilers (Computer programs).

(10)

Compilers and Interpreters.

(10)

Theory of Computation.

(10)

Computer Engineering and Networks.

(9)

Computer engineering.

(9)

Database management.

(8)

(8)

(7)

Computer Application in Administrative Data Processing.

(6)

Information technology -- Management.

(6)

Security Services.

(6)

Business information services.

(5)

Computer programming.

(5)

Computer science -- Mathematics.

(5)

Electronic data processing -- Management.

(5)

(5)

Logics and Meanings of Programs.

(5)

System Performance and Evaluation.

(5)

Algorithm Analysis and Problem Complexity.

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Computer software.

(4)

Computer vision.

(4)

Software Engineering/Programming and Operating Systems.

(4)

(3)

Computer network architectures.

(3)

Computer system performance.

(3)

(3)

Computing Milieux.

(3)

Control Structures and Microprogramming.

(3)

IT in Business.

(3)

Image processing -- Digital techniques.

(3)

Information Systems Applications (incl. Internet).

(3)

Microprogramming .

(3)

Computer Science Logic and Foundations of Programming.

(2)

Computer Systems Organization and Communication Networks.

(2)

Computer architecture.

(2)

Computer simulation.

(2)

Design and Analysis of Algorithms.

(2)

Discrete Mathematics in Computer Science.

(2)

Discrete mathematics.

(2)

Electronic books.

(2)

Electronic digital computers -- Evaluation.

(2)

Enterprise Architecture.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Mathematical statistics.

(2)

Microprocessors.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Probability and Statistics in Computer Science.

(2)

Processor Architectures.

(2)

COMPUTERS -- Operating Systems -- Virtualization.

(1)

Cloud Computing.

(1)

Coding and Information Theory.

(1)

(1)

Collaboration Software.

(1)

Computation by Abstract Devices.

(1)

Computer Modelling.

(1)

Computer hardware.

(1)

Computer industry.

(1)

Computers -- Law and legislation.

(1)

Computers and Education.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Encryption.

(1)

Data Mining and Knowledge Discovery.

(1)

(1)

Education -- Data processing.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic data processing.

(1)

Embedded Systems.

(1)

Embedded computer systems.

(1)

Engineering, general.

(1)

(1)

Enterprise Applications.

(1)

Entrepreneurship.

(1)

Formal Languages and Automata Theory.

(1)

Groupware (Computer software)

(1)

History of Computing.

(1)

Information Systems and Communication Service.

(1)

Information systems.

(1)

Information technology -- Law and legislation.

(1)

Integrated software

(1)

Integrated software.

(1)

Legal Aspects of Computing.

(1)

Logiciels de groupe.

(1)

Logiciels intégrés.

(1)

Machine theory.

(1)

(1)

(1)

Mathematics of Computing.

(1)

Microsoft .NET Framework.

(1)

Microsoft Office

(1)

Microsoft Office.

(1)

Microsoft software.

(1)

(1)

Multimedia Information Systems.

(1)

Multimedia systems.

(1)

Multiprocesseurs.

(1)

Multiprocessors

(1)

Multiprocessors.

(1)

New business enterprises.

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Performance and Reliability.

(1)

(1)

Simulation and Modeling.

(1)

Software Management.

(1)

Software engineering -- Management.

(1)

Systems and Data Security.

(1)

Systems on a chip

(1)

Systems on a chip.

(1)

Systèmes sur une puce.

(1)

Systèmes virtuels (Informatique)

(1)

Teams in the workplace -- Data processing

(1)

Teams in the workplace -- Data processing.

(1)

The Computer Industry.

(1)

(1)

VMware vSphere.

(1)

Virtual computer systems

(1)

Virtual computer systems.

(1)

Virtualization.

(1)

Windows Server.

(1)

Équipes de travail -- Informatique.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Wiley E-Kitap Koleksiyonu

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

96 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 8

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.

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings için kapak resmi

Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings

Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings

Yazar

Bludau, Peter. editor. (orcid)0000-0003-4738-0488 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers için kapak resmi

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers

Yazar

Tekinerdoğan, Bedir. editor. (orcid)0000-0002-8538-7261 Spalazzese, Romina. editor. (orcid)0000-0003-0326-0556 Sözer, Hasan. editor. (orcid)0000-0002-2968-4763 Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Weyns, Danny. editor. (orcid)0000-0002-1162-0817

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings için kapak resmi

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Yazar

Bodden, Eric. editor. Payer, Mathias. editor. (orcid)0000-0001-5054-7547 Athanasopoulos, Elias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Internetware A New Software Paradigm for Internet Computing için kapak resmi

Internetware A New Software Paradigm for Internet Computing

Internetware A New Software Paradigm for Internet Computing

Yazar

Mei, Hong. author. Lü, Jian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-2546-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Requirements Engineering and Management for Software Development Projects için kapak resmi

Requirements Engineering and Management for Software Development Projects

Requirements Engineering and Management for Software Development Projects

Yazar

Chemuturi, Murali. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331756.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-5377-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334353.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37051-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings için kapak resmi

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Yazar

Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334870.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39955-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings için kapak resmi

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Yazar

Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335024.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40894-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings için kapak resmi

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Yazar

Guerra, Esther. editor. van den Brand, Mark. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61473-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings için kapak resmi

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Yazar

Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings için kapak resmi

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Yazar

Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 8

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11