Search Results for Software

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Publication Date: 2018

Author

SpringerLink (Online service)

(541)

Cheng, Long. editor. (orcid)0000-0001-7565-8788

(7)

Leung, Andrew Chi Sing. editor.

(7)

Ozawa, Seiichi. editor.

(7)

Taylor and Francis.

(7)

Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

(7)

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

(6)

Apduhan, Bernady O. editor.

(5)

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

(5)

Iliadis, Lazaros. editor.

(5)

Li, Jin. editor.

(5)

Maglogiannis, Ilias. editor.

(5)

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

(5)

Nguyen, Ngoc Thanh. editor.

(5)

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

(5)

Ryu, Yeonseung. editor. (orcid)0000-0002-8431-073X

(5)

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

(5)

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

(5)

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

(5)

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

(5)

Filipe, Joaquim. editor.

(4)

Margaria, Tiziana. editor.

(4)

Steffen, Bernhard. editor.

(4)

Vaidya, Jaideep. editor.

(4)

Boldyreva, Alexandra. editor.

(3)

Bouchon-Meunier, Bernadette. editor.

(3)

Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930

(3)

Debruyne, Christophe. editor.

(3)

Ferrari, Vittorio. editor.

(3)

Galbraith, Steven. editor.

(3)

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

(3)

Hameurlain, Abdelkader. editor.

(3)

Hammer, Barbara. editor.

(3)

Hebert, Martial. editor.

(3)

Huang, De-Shuang. editor.

(3)

Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683

(3)

Kurosu, Masaaki. editor.

(3)

Kůrková, Věra. editor. (orcid)0000-0002-8181-2128

(3)

Li, Wei. editor.

(3)

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329

(3)

Marcus, Aaron. editor.

(3)

Medina, Jesús. editor.

(3)

Meersman, Robert. editor.

(3)

Nielsen, Jesper Buus. editor.

(3)

Ojeda-Aciego, Manuel. editor.

(3)

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261

(3)

Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197

(3)

Rijmen, Vincent. editor.

(3)

Roman, Dumitru. editor.

(3)

Shacham, Hovav. editor.

(3)

Sminchisescu, Cristian. editor.

(3)

Verdegay, José Luis. editor.

(3)

Wang, Wentao. editor.

(3)

Weiss, Yair. editor.

(3)

Yager, Ronald R. editor.

(3)

Abdalla, Michel. editor. (orcid)0000-0002-2447-4329

(2)

Abdelwahed, El Hassan. editor.

(2)

Ait Mohamed, Otmane. editor.

(2)

Antona, Margherita. editor.

(2)

Aramvith, Supavadee. editor.

(2)

Ardagna, Claudio Agostino. editor.

(2)

Auger, Anne. editor.

(2)

Bajo, Javier. editor.

(2)

Batyrshin, Ildar. editor.

(2)

Begum, Shahina. editor. (orcid)0000-0002-1212-7637

(2)

Bellatreche, Ladjel. editor.

(2)

Bertino, Elisa. editor. (orcid)0000-0002-4029-7051

(2)

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

(2)

Biffl, Stefan. editor.

(2)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(2)

Cabrera, Inma P. editor.

(2)

Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961

(2)

Cardoso, Jorge. editor.

(2)

Castro, Félix. editor.

(2)

Chaki, Nabendu. editor.

(2)

Chalidabhongse, Thanarat H. editor.

(2)

Chapman, Peter. editor. (orcid)0000-0002-5524-5780

(2)

Chen, Jessie Y.C. editor.

(2)

Chen, Qianbin. editor.

(2)

Chen, Shifeng. editor. (orcid)0000-0003-0677-7358

(2)

Chen, Zhangxing. editor.

(2)

Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Cuppens, Frédéric. editor.

(2)

Cuppens, Nora. editor.

(2)

Dahab, Ricardo. editor.

(2)

Damiani, Ernesto. editor.

(2)

De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Domer, Bernd. editor.

(2)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(2)

Elgammal, Ahmed. editor. (orcid)0000-0003-2761-4822

(2)

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937

(2)

Fonseca, Carlos M. editor.

(2)

Fortino, Giancarlo. editor.

(2)

Fragomeni, Gino. editor.

(2)

Frisoli, Antonio. editor.

(2)

Gabbouj, Moncef. editor.

(2)

Gallagher, John P. editor. (orcid)0000-0001-6984-7419

(2)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(2)

Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201

(2)

González-Mendoza, Miguel. editor.

(2)

Guerrieri, Antonio. editor.

(2)

Ham, Jaap. editor. (orcid)0000-0003-1703-5165

(2)

Hammoudi, Slimane. editor.

(2)

Hartmann, Sven. editor.

(2)

Ho, Yo-Sung. editor.

(2)

Hoang, Duong Hung. editor.

(2)

Hong, Tzung-Pei. editor.

(2)

Huang, Shanguo. editor.

(2)

Huisman, Marieke. editor.

(2)

Jung, Jason J. editor.

(2)

Karczewski, Konrad. editor.

(2)

Khan, Zaheer. editor.

(2)

Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187

(2)

Klamma, Ralf. editor. (orcid)0000-0002-2296-3401

(2)

Konomi, Shin’ichi. editor.

(2)

Korytkowski, Marcin. editor.

(2)

Lee, Gyu M. editor. (orcid)0000-0001-5466-6244

(2)

Lee, Mong Li. editor.

(2)

Lee, Roger. editor.

(2)

Li, Guoliang. editor.

(2)

Li, Kang. editor.

(2)

Li, Kangshun. editor.

(2)

Li, Zhanhuai. editor.

(2)

Ling, Tok Wang. editor.

(2)

Liu, Cheng-Lin. editor.

(2)

Liu, Yong. editor.

(2)

Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642

(2)

Lu, Pinyan. editor.

(2)

Ma, Hui. editor.

(2)

Machado, Penousal. editor.

(2)

Maciaszek, Leszek. editor.

(2)

Maier-Hein, Lena. editor.

(2)

Martel, Anne. editor.

(2)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(2)

Martínez-Villaseñor, María de Lourdes. editor.

(2)

Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765

(2)

Meng, Weixiao. editor.

(2)

Miranda-Jiménez, Sabino. editor.

(2)

Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351

(2)

Moreno-Díaz, Roberto. editor.

(2)

Myklebust, Thor. author.

(2)

Ngo, Chong Wah. editor.

(2)

O'Connor, Rory V. editor.

(2)

Ordonez, Carlos. editor.

(2)

O’Connor, Noel E. editor.

(2)

Pahl, Claus. editor.

(2)

Pan, Linqiang. editor. (orcid)0000-0002-4554-455X

(2)

Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X

(2)

Paquete, Luís. editor.

(2)

Park, Jinwoo. editor.

(2)

Pedrycz, Witold. editor.

(2)

Pelta, David A. editor.

(2)

Pham, Hoang. editor.

(2)

Pichler, Franz. editor.

(2)

Pimenidis, Elias. editor.

(2)

Plagianakos, Vassilis. editor.

(2)

Ponce Espinosa, Hiram Eredín. editor.

(2)

Prattichizzo, Domenico. editor.

(2)

Prokopova, Zdenka. editor.

(2)

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

(2)

Qiao, Jianyong. editor.

(2)

Qing, Sihan. editor.

(2)

Quesada-Arencibia, Alexis. editor.

(2)

Ricci, Laura. editor.

(2)

Riolo, Rick. editor.

(2)

Roman, Adam. author.

(2)

Rozenberg, Grzegorz. editor.

(2)

Ruffaldi, Emanuele. editor.

(2)

Rutkowski, Leszek. editor.

(2)

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

(2)

Salomaa, Arto. editor.

(2)

Schaefer, Ina. editor.

(2)

Scherer, Rafał. editor.

(2)

Schoeffmann, Klaus. editor.

(2)

Shi, Yuhui. editor.

(2)

Shinoda, Hiroyuki. editor.

(2)

Shishkov, Boris. editor.

(2)

Silhavy, Petr. editor.

(2)

Silhavy, Radek. editor.

(2)

Skavhaug, Amund. editor.

(2)

Smith, Ian F. C. editor.

(2)

Spanoudakis, George. editor.

(2)

Stamelos, Ioannis. editor.

(2)

Stephanidis, Constantine. editor.

(2)

Stoyanov, Danail. editor.

(2)

Streitz, Norbert. editor. (orcid)0000-0002-0244-0945

(2)

Stålhane, Tor. author.

(2)

Sun, Xingming. editor. (orcid)0000-0001-7982-726X

(2)

Sung, Wing-Kin. editor.

(2)

Tadeusiewicz, Ryszard. editor.

(2)

Tan, Hong Z. editor.

(2)

Tan, Ying. editor.

(2)

Tang, Qirong. editor.

(2)

Taylor, Zeike. editor.

(2)

Tipton, Harold F.

(2)

Trawiński, Bogdan. editor.

(2)

Trawiński, Bogdan. editor. (orcid)0000-0002-2956-6388

(2)

Verlan, Sergey. editor. (orcid)0000-0001-7800-1618

(2)

Language

(561)

(3)

Subject

Software engineering.

(424)

Artificial intelligence.

(290)

Computer science.

(268)

Computer Communication Networks.

(154)

Computer software.

(143)

Computer vision.

(91)

Computer network architectures.

(87)

(69)

(64)

Computer security.

(62)

Information systems.

(62)

Computer system performance.

(57)

Data structures (Computer scienc.

(45)

Data encryption (Computer science).

(39)

Computational complexity.

(37)

Computer industry.

(37)

Computer simulation.

(29)

Operating systems (Computers).

(28)

Management information systems.

(25)

Electronic data processing.

(23)

(23)

Information Systems.

(22)

Information theory.

(21)

Database management.

(19)

(19)

Information storage and retrieval systems.

(19)

Social sciences -- Data processing.

(17)

(16)

Computer graphics.

(15)

Optical pattern recognition.

(15)

Computer hardware.

(12)

Data protection.

(11)

Telecommunication.

(11)

Natural language processing (Computer science).

(9)

Electronic books.

(7)

Information technology.

(7)

Medical records -- Data processing.

(6)

(5)

Microprogramming.

(5)

(5)

(4)

Bioinformatics.

(4)

Computer aided design.

(4)

Computers -- Law and legislation.

(4)

Mobile computing.

(4)

Systems engineering.

(4)

Data transmission systems.

(3)

(3)

MATHEMATICS / Probability & Statistics / General.

(3)

(2)

(2)

Civil engineering.

(2)

Computer security -- Management -- Handbooks, manuals, etc.

(2)

Data protection -- Handbooks, manuals, etc.

(2)

Knowledge management.

(2)

Multimedia systems.

(2)

Systems theory.

(2)

Traffic Engineering.

(2)

(1)

Agile software development.

(1)

Aging -- Research.

(1)

Algebras, Linear.

(1)

Analysis Using R.

(1)

Android (Electronic resource)

(1)

Android (Elektronik kaynak).

(1)

Application software -- Development

(1)

Application software -- Development.

(1)

Application software.

(1)

(1)

(1)

Açık kaynaklı yazılım.

(1)

BUSINESS & ECONOMICS / Finance.

(1)

(1)

Benefits of Improved Testing.

(1)

(1)

Biomedical engineering.

(1)

(1)

Business enterprises -- Computer networks.

(1)

BİLGİ BİRİKİM VE ERİŞİM SİSTEMLERİ -- KATALOGLAR.

(1)

BİLGİ SUNUMU (BİLGİ KURAMI) -- EL KİTAPLARI V.B.

(1)

C++ (Computer program language)

(1)

C++ classes and templates.

(1)

COMPUTERS -- Hardware -- Handheld Devices.

(1)

COMPUTERS -- Hardware -- Personal Computers -- General.

(1)

COMPUTERS -- Microprocessors.

(1)

COMPUTERS -- Software Development & Engineering -- General.

(1)

COMPUTERS -- Software Development & Engineering -- Quality Assurance & Testing.

(1)

COMPUTERS / Database Management / Data Mining.

(1)

COMPUTERS / Machine Theory.

(1)

COMPUTERS / Programming Languages / General.

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

Cartography -- Computer programs.

(1)

Chemical engineering.

(1)

Chinese language.

(1)

Cluster analysis.

(1)

Computer networks.

(1)

Computer science -- Mathematics.

(1)

Computer software -- Costs.

(1)

Computer software -- Testing.

(1)

Contradictory Perspectives of Testing.

(1)

Coğrafi bilgi sistemleri -- Bilgisayar programları.

(1)

(1)

(1)

Differential Equation.

(1)

Digital avionics.

(1)

Document clustering.

(1)

Documenting the Testing.

(1)

(1)

(1)

Electric circuits.

(1)

Elektroteknik -- handböcker, manualer, etc.

(1)

Embedded computer systems -- Testing.

(1)

Emergency medicine.

(1)

Engineering -- Data processing.

(1)

Engineering design.

(1)

Entrepreneurship.

(1)

File organization (Computer science)

(1)

Finance -- Mathematical models.

(1)

(1)

Finance—Mathematics.

(1)

Geographic information systems -- Computer programs.

(1)

Geographical information systems.

(1)

(1)

Haritacılık -- Bilgisayar programları.

(1)

(1)

Human engineering.

(1)

Implementing Automation.

(1)

Industrial engineering.

(1)

Industrial organization.

(1)

Information storage and retrieval systems -- Catalogs.

(1)

(1)

Investments -- Mathematical models.

(1)

Knowledge representation (Information theory) -- Handbooks, manuals, etc.

(1)

KÜTÜPHANECİLİK BİLİMİ -- ABD -- BİLGİSAYAR PROGRAMLARI -- KATALOGLAR.

(1)

KÜTÜPHANELER -- ABD -- OTOMASYON -- REHBERLER.

(1)

KÜTÜPHANELER -- KANADA -- OTOMASYON -- REHBERLER.

(1)

Libraries -- Canada -- Automation -- Directories.

(1)

Libraries -- United States -- Automation -- Directories.

(1)

Library science -- United States -- Computer programs -- Catalogs.

(1)

Linear Equation.

(1)

(1)

Logic, Symbolic and mathematical.

(1)

MATHEMATICS / Applied.

(1)

MATHEMATICS / General.

(1)

MATHEMATICS / Number Systems.

(1)

Machine theory.

(1)

(1)

(1)

Market research.

(1)

Mathematical optimization.

(1)

Mathematical statistics -- Data processing.

(1)

Measuring and communicating value and quality.

(1)

Measuring coverage of the application.

(1)

Mechanical engineering.

(1)

Medicine -- Research -- Statistical methods.

(1)

Memory management (Computer scie.

(1)

Mobil hesaplama.

(1)

Mobile communication systems.

(1)

(1)

Nonlinear Equation.

(1)

Nonlinear Model.

(1)

(1)

Numerical Differentiation.

(1)

Numerical Integration.

(1)

Numerical Method.

(1)

Numerical analysis.

(1)

Occupational training.

(1)

Open source software.

(1)

(1)

(1)

Partial Differential Equation.

(1)

Production of electric energy or.

(1)

Python (Bilgisayar program dili).

(1)

Python (Computer program language).

(1)

R (Computer program language)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Reducing Test Cycle Time.

(1)

Reproducible Research Standard.

(1)

Reproducible research.

(1)

Research -- Statistical methods.

(1)

Return on Investment of the test effort.

(1)

(1)

Science -- Data processing.

(1)

Signal processing.

(1)

Simulation and Emulation.

(1)

Social sciences—Computer programs.

(1)

Social sciences—Data processing.

(1)

Software engineering -- Handbooks, manuals, etc.

(1)

(1)

(1)

Statistical Analysis.

(1)

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

564 Results Found

Subscribe to search results

1 2 3 4 5 .. 47

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

13.

Cover image for Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Author

Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02146-7

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Synergies Between Knowledge Engineering and Software Engineering

Synergies Between Knowledge Engineering and Software Engineering

Synergies Between Knowledge Engineering and Software Engineering

Author

Nalepa, Grzegorz J. editor. Baumeister, Joachim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Author

Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-96562-8

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

Author

Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931 Schneider, Kurt. editor. Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Amasaki, Sousuke. editor. Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03673-7

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

Author

Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Author

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Author

Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02450-5

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

Author

Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Author

Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99927-2

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Author

Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for SafeScrum® – Agile Development of Safety-Critical Software

SafeScrum® – Agile Development of Safety-Critical Software

SafeScrum® – Agile Development of Safety-Critical Software

Author

Hanssen, Geir Kjetil. author. Stålhane, Tor. author. Myklebust, Thor. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99334-8

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

Author

Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92432-8

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 47

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11