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:

+

Konu: Computer systems.

Author

SpringerLink (Online service)

(180)

Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758

(15)

He, Ran. editor. (orcid)0000-0002-3807-991X

(15)

Lin, Zhouchen. editor.

(15)

Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175

(15)

Silamu, Wushouer. editor.

(15)

Ubul, Kurban. editor.

(15)

Zha, Hongbin. editor.

(15)

Zhou, Jie. editor.

(15)

Chen, Xilin. editor.

(11)

Ji, Rongrong. editor. (orcid)0000-0003-4739-8936

(11)

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780

(11)

Ma, Zhanyu. editor.

(11)

Wang, Hanzi. editor.

(11)

Wang, Liang. editor. (orcid)0000-0001-5224-8647

(11)

Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

(11)

Zheng, Weishi. editor. (orcid)0000-0001-8327-0003

(11)

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

(8)

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

(8)

Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960

(7)

Sheng, Bin. editor. (orcid)0000-0001-8678-2784

(7)

Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

(7)

Dobbie, Gill. editor. (orcid)0000-0001-7245-0367

(6)

Jiang, Jing. editor. (orcid)0000-0002-3035-0074

(6)

Ma, Congbo. editor. (orcid)0000-0002-3270-5609

(6)

Mansoor, Wathiq. editor. (orcid)0000-0003-2784-5188

(6)

Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147

(6)

Wu, Jia. editor. (orcid)0000-0002-1371-5801

(6)

Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974

(6)

Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159

(6)

Antona, Margherita. editor.

(5)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(5)

Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333

(5)

Salvendy, Gavriel. editor.

(5)

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940

(4)

Bi, Lei. editor. (orcid)0000-0001-9759-0200

(4)

Bäck, Thomas. editor. (orcid)0000-0001-6768-1478

(4)

Choraś, Michał. editor. (orcid)0000-0003-1405-9911

(4)

Conti, Mauro. editor. (orcid)0000-0002-3612-1934

(4)

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

(4)

Han, Jiang. editor.

(4)

Han, Yu. editor. (orcid)0000-0002-8155-1706

(4)

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

(4)

Kim, Jinman. editor.

(4)

Kononova, Anna V. editor. (orcid)0000-0002-4138-7024

(4)

Kozik, Rafał. editor. (orcid)0000-0001-7122-3306

(4)

Liang, Kaitai. editor.

(4)

Lu, Zeguang. editor.

(4)

Machado, Penousal. editor. (orcid)0000-0002-6308-6484

(4)

Smaragdakis, Georgios. editor.

(4)

Trautmann, Heike. editor. (orcid)0000-0002-9788-8282

(4)

Tsudik, Gene. editor.

(4)

Tušar, Tea. editor. (orcid)0000-0002-6495-006X

(4)

Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294

(4)

Yun, Lin. editor. (orcid)0000-0003-1379-9301

(4)

Deng, Zhigang. editor. (orcid)0000-0002-0452-8676

(3)

Gao, Honghao. editor. (orcid)0000-0001-6861-9684

(3)

Kim, Jinman. editor. (orcid)0000-0001-5960-1060

(3)

Li, Ping. editor. (orcid)0000-0002-1503-0240

(3)

Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220

(3)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(3)

Voros, Nikolaos. editor.

(3)

Wang, Xinheng. editor.

(3)

Abou el Kalam, Anas. editor.

(2)

Antonov, Alexander. editor. (orcid)0000-0003-2820-7196

(2)

Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210

(2)

Barria-Huidobro, Cristian. editor. (orcid)0000-0002-5840-7407

(2)

Bouguelia, Mohamed-Rafik. editor.

(2)

Cai, Chengtao. editor. (orcid)0000-0002-3475-6098

(2)

Carro, Luigi. editor.

(2)

Chbeir, Richard. editor. (orcid)0000-0003-4112-1426

(2)

Chen, Xuebin. editor.

(2)

Choi, Baek-Young. editor.

(2)

Clarke, Paul. editor. (orcid)0000-0002-4487-627X

(2)

Conway, Myra. editor.

(2)

Cremers, Daniel. editor. (orcid)0000-0002-3079-7984

(2)

Dassisti, Michele. editor. (orcid)0000-0001-6984-9203

(2)

Domínguez Mayo, Francisco José. editor.

(2)

Eichler, Gerald. editor. (orcid)0000-0002-7420-698X

(2)

Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903

(2)

Erfurth, Christian. editor. (orcid)0000-0003-2761-3985

(2)

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

(2)

Franquet, Erwin. editor. (orcid)0000-0002-7009-1521

(2)

Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776

(2)

Greiner, Christian. editor. (orcid)0000-0002-8184-7128

(2)

Hegadi, Ravindra. editor. (orcid)0000-0002-5176-6490

(2)

Hernández Callejo, Luis. editor. (orcid)0000-0002-8822-2948

(2)

Hernández, German. editor. (orcid)0000-0001-9549-2316

(2)

Hu, Fuyuan. editor.

(2)

Huang, Lan. editor.

(2)

Jing, Weipeng. editor.

(2)

Kobayashi, Naoki. editor.

(2)

Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430

(2)

Lauradoux, Cédric. editor. (orcid)0000-0001-6987-2403

(2)

Lin, Junyu. editor.

(2)

Lähner, Zorah. editor. (orcid)0000-0003-0599-094X

(2)

Madani, Kurosh. editor.

(2)

Makkar, Aaisha. editor. (orcid)0000-0001-7203-6553

(2)

Mata-Rivera, Miguel Félix. editor. (orcid)0000-0001-9714-7137

(2)

Messnarz, Richard. editor. (orcid)0000-0002-0555-3160

(2)

Mirzazadeh, A. editor. (orcid)0000-0003-0546-849X

(2)

Moeller, Michael. editor. (orcid)0000-0002-0492-6527

(2)

Mohanty, Saraju. editor. (orcid)0000-0003-2959-6541

(2)

Molamohamadi, Zohreh. editor. (orcid)0000-0002-0054-2884

(2)

Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012

(2)

Nießner, Matthias. editor. (orcid)0000-0001-6093-5199

(2)

Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995

(2)

Ommer, Björn. editor. (orcid)0000-0003-0766-120X

(2)

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

(2)

Peisl, Thomas. editor. (orcid)0000-0001-5571-2089

(2)

Pilato, Christian. editor.

(2)

Puthal, Deepak. editor. (orcid)0000-0002-8332-278X

(2)

Rannenberg, Kai. editor.

(2)

Regazzoni, Francesco. editor.

(2)

Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474

(2)

Riel, Andreas. editor. (orcid)0000-0001-9859-019X

(2)

Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680

(2)

Santosh, KC. editor.

(2)

Sim, Kevin. editor.

(2)

Singh, Ashutosh K. editor. (orcid)0000-0002-8053-5050

(2)

Song, Xianhua. editor.

(2)

Song, Xianhua. editor. (orcid)0000-0002-0111-8559

(2)

Squillero, Giovanni. editor.

(2)

Stephanidis, Constantine. editor.

(2)

Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186

(2)

Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384

(2)

Triebel, Rudolph. editor. (orcid)0000-0002-7975-036X

(2)

Vacavant, Antoine. editor.

(2)

Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847

(2)

Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771

(2)

Worrell, James. editor.

(2)

Xu, Bin. editor.

(2)

Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224

(2)

Yu, Haipeng. editor. (orcid)0000-0003-0634-7913

(2)

Zagal-Flores, Roberto. editor. (orcid)0000-0001-5649-6189

(2)

Zhang, Min. editor.

(2)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Aiswarya, C. editor. (orcid)0000-0002-4878-7581

(1)

Al Faruque, Mohammad Abdullah. editor.

(1)

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

(1)

Alzubi, Jafar. editor. (orcid)0000-0001-6724-1421

(1)

Anjorin, Anthony. editor.

(1)

Aujla, Gagangeet Singh. editor.

(1)

Bai, Guangdong. editor.

(1)

Barzen, Johanna. editor.

(1)

Batista, Thais. author.

(1)

Benslimane, Djamal. editor.

(1)

Berns, Karsten. editor.

(1)

Betancur Vasquez, Daniel. editor. (orcid)0000-0003-4834-7268

(1)

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

(1)

Bianchini, Devis. editor.

(1)

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

(1)

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

(1)

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

(1)

Bråthen, Svein. editor.

(1)

Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109

(1)

Cai, Zhiping. editor. (orcid)0000-0001-5726-833X

(1)

Cardoso, João M.P. editor.

(1)

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

(1)

Cerny, Tomas. editor. (orcid)0000-0002-5882-5502

(1)

Chalhoub, Gerard. editor. (orcid)0000-0003-1687-598X

(1)

Challa, Rama Krishna. editor. (orcid)0000-0002-2759-2654

(1)

Chapman, Barbara M. editor.

(1)

Chatzigiannakis, Ioannis. editor.

(1)

Cheikh M. F. Kebe, Kebe. editor.

(1)

Chen, Bo. editor.

(1)

Chen, Jiageng. editor. (orcid)0000-0001-9033-2575

(1)

Chen, Jyh-Cheng. editor.

(1)

Chen, Yu. editor.

(1)

Cota, Vinícius Rosa. editor. (orcid)0000-0002-2338-5949

(1)

Covarrubias, Mario. editor. (orcid)0000-0003-4195-9333

(1)

Criswell, John. editor.

(1)

Cámara, Javier. editor.

(1)

Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496

(1)

Dang, Trong Hop. editor.

(1)

Delicato, Flávia C. author.

(1)

Deng, Der-Jiunn. editor. (orcid)0000-0001-8410-164X

(1)

Devos, Arnaud. editor. (orcid)0000-0001-8124-723X

(1)

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

(1)

Dick, Jeremy. author.

(1)

Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953

(1)

Ding, Chen. editor.

(1)

Doka, Katerina. editor.

(1)

Doncel, Josu. editor. (orcid)0000-0002-5552-9134

(1)

Dong, Naipeng. editor.

(1)

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

(1)

Douligeris, Christos. editor.

(1)

Drogkaris, Prokopios. editor.

(1)

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

(1)

Eick, Bettina. editor. (orcid)0000-0003-2884-6545

(1)

Elbiaze, Halima. editor. (orcid)0000-0001-5681-6445

(1)

Espinoza, Huáscar. editor.

(1)

Esposito, Matteo. editor. (orcid)0000-0002-8451-3668

(1)

Fahrnberger, Günter. editor.

(1)

Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988

(1)

Ferraro, Venere. editor. (orcid)0000-0002-5114-9038

(1)

Ferreira, Joao C. editor.

(1)

Fey, Dietmar. editor. (orcid)0000-0002-6077-4732

(1)

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

(1)

Fischer, Wieland. editor.

(1)

Language

(181)

Publication Date

-

(96)

(67)

(12)

(5)

(1)

Subject

Computer System Implementation.

(180)

Computer networks .

(128)

Computer Communication Networks.

(122)

Application software.

(107)

Computer and Information Systems Applications.

(107)

Artificial intelligence.

(86)

Software engineering.

(70)

Computers, Special purpose.

(53)

Special Purpose and Application-Based Systems.

(53)

Computer vision.

(39)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(33)

Image processing -- Digital techniques.

(33)

Machine learning.

(32)

Computer science.

(28)

Computer Engineering and Networks.

(21)

Computer engineering.

(21)

Data and Information Security.

(20)

Data protection.

(20)

Information theory.

(18)

Theory of Computation.

(18)

Data Structures and Information Theory.

(16)

Data structures (Computer science).

(16)

Control Structures and Microprogramming.

(15)

Microprogramming .

(15)

(14)

(11)

(11)

Data Mining and Knowledge Discovery.

(11)

Data encryption (Computer science).

(11)

(11)

Operating Systems.

(11)

Operating systems (Computers).

(11)

Computer Science Logic and Foundations of Programming.

(10)

Computer programming.

(10)

Programming Techniques.

(10)

Coding and Information Theory.

(9)

(9)

Computers and Education.

(9)

Computing Milieux.

(9)

Education -- Data processing.

(9)

Electronic digital computers -- Evaluation.

(9)

Security Services.

(9)

System Performance and Evaluation.

(9)

Computer networks -- Security measures.

(8)

Computer science -- Mathematics.

(8)

Formal Languages and Automata Theory.

(8)

Machine theory.

(8)

Mobile and Network Security.

(8)

Computer Application in Social and Behavioral Sciences.

(7)

Social sciences -- Data processing.

(7)

Computer input-output equipment.

(6)

Database management.

(6)

Human-computer interaction.

(6)

Input/Output and Data Communications.

(6)

Mathematics of Computing.

(6)

User Interfaces and Human Computer Interaction.

(6)

User interfaces (Computer systems).

(6)

Computational intelligence.

(5)

Computer architecture.

(5)

Microprocessors.

(5)

Natural Language Processing (NLP).

(5)

Natural language processing (Computer science).

(5)

Processor Architectures.

(5)

(4)

Compilers (Computer programs).

(4)

Compilers and Interpreters.

(4)

Computer Hardware.

(4)

Database Management System.

(4)

Electronic data processing -- Management.

(4)

(4)

Information Storage and Retrieval.

(4)

Information storage and retrieval systems.

(4)

(4)

(4)

Logic programming.

(4)

Mathematical Logic and Foundations.

(4)

Mathematical logic.

(4)

Communications Engineering, Networks.

(2)

Computers and Society.

(2)

Computers and civilization.

(2)

Health Informatics.

(2)

Mathematical statistics.

(2)

Medical informatics.

(2)

Probability and Statistics in Computer Science.

(2)

Telecommunication.

(2)

COMPUTERS / Computer Literacy

(1)

COMPUTERS / Computer Science

(1)

COMPUTERS / Data Processing

(1)

COMPUTERS / Hardware / General

(1)

COMPUTERS / Information Technology

(1)

COMPUTERS / Machine Theory

(1)

COMPUTERS / Programming / Software Development

(1)

COMPUTERS / Reference

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Networks.

(1)

Information technology -- Management.

(1)

(1)

Mathematical Applications in Computer Science.

(1)

Multimedia Information Systems.

(1)

Multimedia systems.

(1)

Performance -- Management.

(1)

(1)

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

TECHNOLOGY / Engineering / General

(1)

TECHNOLOGY / Industrial Health & Safety

(1)

The Computing Profession.

(1)

Theory and Algorithms for Application Domains.

(1)

Material Type

Shelf Location

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

181 Results Found

Subscribe to search results

1 2 3 4 5 .. 16

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.

1.

Cover image for Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Author

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4656-2

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75387-9

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Author

Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-86695-1

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Author

Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90900-9

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Author

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90897-2

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Author

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-77382-2

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Author

Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Author

Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I

Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I

Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I

Author

Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-71139-8

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Author

Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66064-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 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, Part II

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 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, Part II

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 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, Part II

Author

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-57231-9

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 16

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11