Search Results for Computer System Implementation.

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:

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(79)

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

(9)

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

(5)

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

(4)

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

(4)

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

(4)

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

(4)

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

(4)

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

(4)

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

(4)

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

(3)

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

(3)

Voros, Nikolaos. editor.

(3)

Wang, Xinheng. editor.

(3)

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

(2)

Carro, Luigi. editor.

(2)

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

(2)

Choi, Baek-Young. editor.

(2)

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

(2)

Domínguez Mayo, Francisco José. editor.

(2)

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

(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)

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

(2)

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

(2)

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

(2)

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

(2)

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

(2)

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

(2)

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

(2)

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

(2)

Pilato, Christian. editor.

(2)

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

(2)

Regazzoni, Francesco. editor.

(2)

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

(2)

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

(2)

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

(2)

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

(2)

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

(2)

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

(1)

Al Faruque, Mohammad Abdullah. editor.

(1)

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

(1)

Anjorin, Anthony. editor.

(1)

Bai, Guangdong. editor.

(1)

Benslimane, Djamal. editor.

(1)

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

(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)

Cardoso, João M.P. editor.

(1)

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

(1)

Cavallaro, Lorenzo. editor.

(1)

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

(1)

Cheikh M. F. Kebe, Kebe. editor.

(1)

Chen, Jyh-Cheng. editor.

(1)

Chen, Min. author.

(1)

Criswell, John. editor.

(1)

Cámara, Javier. editor.

(1)

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

(1)

Daněk, Martin. editor.

(1)

Dazzi, Patrizio. author.

(1)

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

(1)

Dick, Jeremy. author.

(1)

Ding, Chen. editor.

(1)

Dong, Naipeng. editor.

(1)

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

(1)

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

(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)

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)

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

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

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

(1)

Gollmann, Dieter. editor.

(1)

Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742

(1)

Gong, Xiaoli. editor.

(1)

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

(1)

Guerra, Esther. editor.

(1)

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

(1)

Götz, Marcelo. editor.

(1)

Hannig, Frank. editor. (orcid)0000-0003-3663-6484

(1)

Helgheim, Berit Irene. editor.

(1)

Hochberger, Christian. editor.

(1)

Homma, Naofumi. editor.

(1)

Huang, Xinyi. editor.

(1)

Hull, Elizabeth. author.

(1)

Inoue, Koji. editor.

(1)

Jackson, Ken. author.

(1)

Janes, Andrea. editor. (orcid)0000-0002-1423-6773

(1)

Jiang, Hongbo. editor.

(1)

Jongmans, Sung-Shik. editor.

(1)

Juddoo, Suraj. editor.

(1)

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

(1)

Kadera, Petr. editor.

(1)

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

(1)

Karl, Wolfgang. editor.

(1)

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

(1)

Knoop, Jens. editor.

(1)

Kocian, Alexander. editor.

(1)

Kormanyos, Christopher Michael. author.

(1)

Kubátová, Hana. editor.

(1)

Kunkel, Julian Martin. editor.

(1)

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

(1)

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

(1)

Li, Mo. editor.

(1)

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

(1)

Liu, Jianghua. editor.

(1)

Liu, Xuanzhe. editor. (orcid)0000-0002-6813-2435

(1)

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

(1)

Ludwig, Thomas. editor.

(1)

Lü, Jian. author.

(1)

M., Thilaga. editor. (orcid)0000-0002-7177-958X

(1)

Maciaszek, Leszek A. editor.

(1)

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017

(1)

Maiga, Amadou-Seidou. editor.

(1)

Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673

(1)

Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595

(1)

Masciari, Elio. editor.

(1)

Mařík, Vladimír. editor.

(1)

Mei, Hong. author.

(1)

Meuer, Hans Werner. editor.

(1)

Miller, Dale. editor. (orcid)0000-0003-0274-4954

(1)

Ndiaye, Ababacar. editor. (orcid)0000-0002-4281-8973

(1)

Ngyuen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948

(1)

Nunes de Souza, Paulo Roberto. editor.

(1)

P., Thanalakshmi. editor. (orcid)0000-0003-2607-5222

(1)

Pahl, Claus. editor. (orcid)0000-0002-9049-212X

(1)

Pal, Shantanu. editor. (orcid)0000-0002-8784-0154

(1)

Parkinson, Joy. editor.

(1)

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

(1)

Phillipson, Frank. editor. (orcid)0000-0003-4580-7521

(1)

Phokeer, Amreesh. editor.

(1)

Pillai, Babu. editor. (orcid)0000-0003-4675-154X

(1)

Pionteck, Thilo. editor.

(1)

Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226

(1)

Pires, Luís Ferreira. editor.

(1)

Pitoura, Evaggelia. editor. (orcid)0000-0002-3775-4995

(1)

Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050

(1)

R., Latha. editor. (orcid)0000-0001-7011-1329

(1)

Raad, Azalea. editor. (orcid)0000-0002-2319-3242

(1)

Ramsurrun, Visham. editor.

(1)

Rettberg, Achim. editor.

(1)

Reynolds, Andrew. editor.

(1)

Rieck, Konrad. editor.

(1)

Rinaldi, Antonio. editor. (orcid)0000-0001-7003-4781

(1)

Schagaev, Igor. author.

(1)

Schirner, Gunar. editor.

(1)

Schröder-Preikschat, Wolfgang. editor.

(1)

Schulz, Martin. editor.

(1)

Seeam, Amar. editor.

(1)

Seidewitz, Edwin. editor.

(1)

Seifert, Jean-Pierre. editor.

(1)

Sen, Prabal Kumar. editor.

(1)

Sene, Ndèye Awa. editor.

(1)

Sheen, Shina. editor. (orcid)0000-0002-8624-4174

(1)

Shen, Li. editor. (orcid)0000-0001-9043-2998

(1)

Sick, Bernhard. editor.

(1)

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918

(1)

Sridharan, Bhavani. editor.

(1)

Srivastava, Shashi Mohan. editor.

(1)

Stewin, Patrick. editor.

(1)

Strasser, Thomas. editor.

(1)

Sun, Meng. editor.

(1)

Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554

(1)

Tasiran, Serdar. editor.

(1)

Teich, Jürgen. editor.

(1)

Tekli, Joe. editor. (orcid)0000-0003-3441-7974

(1)

Thomas, Kaegi. author.

(1)

Tokkozhina, Ulpan. editor.

(1)

U. K., Sridevi. editor. (orcid)0000-0003-2445-9193

(1)

Utting, Mark. editor. (orcid)0000-0003-3134-6306

(1)

Wahlster, Wolfgang. editor.

(1)

Wang, Jianping. editor. (orcid)0000-0002-9318-1482

(1)

Wehrmeister, Marco Aurélio. editor.

(1)

Wu, Fan. editor. (orcid)0000-0003-0965-9058

(1)

Wu, Peng. editor.

(1)

Wu, Yulei. editor. (orcid)0000-0003-0801-8443

(1)

Xiao, Bin. editor. (orcid)0000-0003-4223-8220

(1)

Xu, Lei. editor. (orcid)0000-0001-9178-6640

(1)

Xu, Min. editor.

(1)

Youn, Chan-Hyun. author.

(1)

Zervakis, Michalis. editor.

(1)

Zheng, Kan. editor.

(1)

Zielinski, Sebastian. editor. (orcid)0009-0000-0894-8996

(1)

Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656

(1)

van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353

(1)

van den Brand, Mark. editor.

(1)

Language

(79)

Publication Date

-

(33)

(28)

(9)

(6)

(3)

Subject

Computer System Implementation.

(76)

Computer systems.

(70)

Computer networks .

(41)

Computer Communication Networks.

(40)

Special Purpose and Application-Based Systems.

(38)

Computers, Special purpose.

(34)

Computer science.

(21)

Application software.

(16)

Artificial intelligence.

(16)

Computer Engineering and Networks.

(16)

Computer and Information Systems Applications.

(16)

Computer engineering.

(16)

Control Structures and Microprogramming.

(16)

Microprogramming .

(15)

Operating systems (Computers).

(13)

Operating Systems.

(12)

Computer Science Logic and Foundations of Programming.

(10)

(10)

Computer programming.

(9)

Formal Languages and Automata Theory.

(9)

Machine theory.

(9)

Programming Techniques.

(9)

System Performance and Evaluation.

(8)

Data protection.

(7)

Computer network architectures.

(6)

Electronic digital computers -- Evaluation.

(6)

Computer input-output equipment.

(5)

Data and Information Security.

(5)

Information Storage and Retrieval.

(5)

Information storage and retrieval systems.

(5)

Input/Output and Data Communications.

(5)

Natural Language Processing (NLP).

(5)

Natural language processing (Computer science).

(5)

Theory of Computation.

(5)

Computer Hardware.

(4)

Computing Milieux.

(4)

(4)

Logic programming.

(4)

Machine learning.

(4)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Computer Application in Social and Behavioral Sciences.

(3)

Data Structures and Information Theory.

(3)

Data structures (Computer science).

(3)

Electronic data processing -- Management.

(3)

(3)

Information theory.

(3)

Social sciences -- Data processing.

(3)

(2)

Computational intelligence.

(2)

Computer system performance.

(2)

Data encryption (Computer science).

(2)

Database Management System.

(2)

Database management.

(2)

Information Systems Applications (incl. Internet).

(2)

Processor Architectures.

(2)

Systems and Data Security.

(2)

Business information services.

(1)

Communications Engineering, Networks.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Science, general.

(1)

Computer architecture.

(1)

Computer vision.

(1)

Computers and Society.

(1)

(1)

(1)

Data Encryption.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Hardware Performance and Reliability.

(1)

Human-computer interaction.

(1)

IT in Business.

(1)

Image processing -- Digital techniques.

(1)

Information Systems.

(1)

(1)

(1)

Management of Computing and Information Systems.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Microprocessors.

(1)

Microprogramming.

(1)

Performance and Reliability.

(1)

(1)

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

Security Science and Technology.

(1)

Security systems.

(1)

Telecommunication.

(1)

The Computing Profession.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

e-Commerce/e-business.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

79 Results Found

Subscribe to search results

1 2 3 4 5 .. 7

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 Computational Intelligence, Cyber Security and Computational Models. Emerging Trends in Computational Models, Intelligence and Security Systems 6th International Conference, ICC3 2023, Coimbatore, India, December 14-16, 2023, Revised Selected Papers

Computational Intelligence, Cyber Security and Computational Models. Emerging Trends in Computational Models, Intelligence and Security Systems 6th International Conference, ICC3 2023, Coimbatore, India, December 14-16, 2023, Revised Selected Papers

Computational Intelligence, Cyber Security and Computational Models. Emerging Trends in Computational Models, Intelligence and Security Systems 6th International Conference, ICC3 2023, Coimbatore, India, December 14-16, 2023, Revised Selected Papers

Author

Sheen, Shina. editor. (orcid)0000-0002-8624-4174 R., Latha. editor. (orcid)0000-0001-7011-1329 U. K., Sridevi. editor. (orcid)0000-0003-2445-9193 P., Thanalakshmi. editor. (orcid)0000-0003-2607-5222 M., Thilaga. editor. (orcid)0000-0002-7177-958X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings

Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings

Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings

Author

Cheikh M. F. Kebe, Kebe. editor. Gueye, Assane. editor. (orcid)0000-0001-6469-4716 Ndiaye, Ababacar. editor. (orcid)0000-0002-4281-8973 Sene, Ndèye Awa. editor. Maiga, Amadou-Seidou. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part I

Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part I

Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part I

Author

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II

Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II

Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II

Author

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

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

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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:

7.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

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-75107-3

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

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-75390-9

Format:

Availability

Online Library~1

Available:
Copies:

9.

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

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

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

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-75380-0

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Author

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-73741-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

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:

12.

Cover image for Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings

Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings

Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings

Author

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-75434-0

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 7

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11