Search Results for Methods engineering.

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)

(132)

Silhavy, Petr. editor.

(15)

Silhavy, Radek. editor.

(15)

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

(6)

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094

(5)

Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142

(5)

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

(5)

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

(3)

Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739

(3)

Felderer, Michael. editor.

(3)

Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X

(3)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Moreno-Díaz, Roberto. editor.

(3)

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

Quatmann, Tim. editor. (orcid)0000-0002-2843-5511

(3)

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124

(3)

Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X

(3)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(3)

Vojnar, Tomáš. editor.

(3)

Volk, Matthias. editor. (orcid)0000-0002-3810-4185

(3)

Aguilar, Jose. editor. (orcid)0000-0003-4194-6882

(2)

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712

(2)

Antoš, David. editor.

(2)

Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029

(2)

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

(2)

Bravetti, Mario. editor.

(2)

Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X

(2)

Escalona, Maria José. editor. (orcid)0000-0002-6435-1497

(2)

Grabis, Jānis. editor. (orcid)0000-0003-2196-0214

(2)

Hinchey, Mike. editor.

(2)

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

(2)

Kofroň, Jan. editor.

(2)

Liu, Shaoying. editor.

(2)

Liu, Zhiming. editor.

(2)

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

(2)

Müller, Jörg P. editor.

(2)

O'Regan, Gerard. author.

(2)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(2)

Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382

(2)

Pastor, Oscar. editor. (orcid)0000-0002-1320-8471

(2)

Salaün, Gwen. editor.

(2)

Sauer, Stefan. editor. (orcid)0000-0003-3084-0409

(2)

Schaefer, Ina. editor.

(2)

Semini, Laura. editor. (orcid)0000-0001-8774-2346

(2)

Sirjani, Marjan. editor.

(2)

Sun, Jing. editor.

(2)

Sun, Meng. editor.

(2)

Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113

(2)

Zhu, Huibiao. editor.

(2)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Abelló, Alberto. editor.

(1)

Abraham, Ajith. editor.

(1)

Abrahamsson, Pekka. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

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

(1)

Alebrahim, Azadeh. author.

(1)

Alkhalaf, Muath. author.

(1)

Amasaki, Sousuke. editor.

(1)

Amine, Abdelmalek. editor.

(1)

Ao, Sio-Iong. editor.

(1)

Aoki, Toshiaki. editor.

(1)

Araki, Keijiro. editor.

(1)

Ardito, Carmelo. editor. (orcid)0000-0001-8993-9855

(1)

Aydin, Abdulbaki. author.

(1)

Babkin, Eduard. editor. (orcid)0000-0003-2597-9043

(1)

Bagnato, Alessandra. editor.

(1)

Bai, Guangdong. editor. (orcid)0000-0002-6390-9890

(1)

Baier, Christel. editor.

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Banach, Richard. editor.

(1)

Barker, Philip. author.

(1)

Barthe, Gilles. editor.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066

(1)

Bernardo, Marco. editor.

(1)

Bernhaupt, Regina. editor.

(1)

Bernhaupt, Regina. editor. (orcid)0000-0003-3522-5990

(1)

Bertolino, Antonia. editor. (orcid)0000-0001-8749-1356

(1)

Bodden, Eric. editor.

(1)

Bogdan, Cristian. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bouda, Jan. editor.

(1)

Bourke, Timothy. editor. (orcid)0000-0003-0601-4182

(1)

Bowen, Judy. editor.

(1)

Breitman, Karin. editor.

(1)

Bu, Lei. editor.

(1)

Bubel, Richard. editor.

(1)

Bultan, Tevfik. author.

(1)

Butler, Michael. editor.

(1)

Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299

(1)

Cardoso, Jorge. editor.

(1)

Catania, Barbara. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279

(1)

Chaoui, Allaoua. editor.

(1)

Chen, Liqian. editor. (orcid)0000-0001-8084-8009

(1)

Chikhi, Salim. editor.

(1)

Chin, Wei-Ngan. editor. (orcid)0000-0002-9660-5682

(1)

Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Cortellessa, Vittorio. editor.

(1)

Counsell, Steve. editor.

(1)

Darwish, Ashraf. editor.

(1)

Dastani, Mehdi. editor.

(1)

De Nicola, Rocco. editor.

(1)

Deneckère, Rébecca. editor.

(1)

Dennedy, Michelle. author.

(1)

Dix, Alan. editor.

(1)

Dong, Jin Song. editor.

(1)

Duan, Zhenhua. editor.

(1)

Dvořák, Zdeněk. editor.

(1)

Eder, Johann. editor.

(1)

Eleftherakis, George. editor.

(1)

Engels, Gregor. editor.

(1)

Ernst, Gidon. editor. (orcid)0000-0002-3289-5764

(1)

Fairley, R. E. (Richard E.), 1937- author.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Ferens, Ken. editor. (orcid)0000-0002-1031-0518

(1)

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

(1)

Finneran, Tom. author.

(1)

Fitzgerald, John. editor.

(1)

Forbrig, Peter. editor.

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Fox, Jonathan. author.

(1)

Freivalds, Rūsiņš Mārtiņš. editor.

(1)

Fränzle, Martin. editor.

(1)

Gavrilova, Marina L. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(1)

Goharshady, Amir. editor. (orcid)0000-0003-1702-6584

(1)

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

(1)

Gotzhein, Reinhard. editor.

(1)

Groves, Lindsay. editor.

(1)

Großmann, Jürgen. editor.

(1)

Gulliksen, Jan. editor.

(1)

Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023

(1)

Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335

(1)

He, Jifeng. editor.

(1)

Heitmeyer, Constance. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Herber, Paula. editor.

(1)

Hermanns, Holger. editor. (orcid)0000-0002-2766-9615

(1)

Hierons, Robert M. editor.

(1)

Hinchey, Michael G. editor.

(1)

Hliněný, Petr. editor.

(1)

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

(1)

Holcombe, Mike. editor.

(1)

Horváth, András. editor.

(1)

Hähnle, Reiner. editor.

(1)

Höst, Martin. author.

(1)

Ishikawa, Fuyuki. editor. (orcid)0000-0001-7725-2618

(1)

Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384

(1)

Jalote, Pankaj. author.

(1)

Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804

(1)

Jedlitschka, Andreas. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Johnson, Chris. editor.

(1)

Kapur, Deepak. editor.

(1)

Karagiannis, Dimitris. editor.

(1)

Kephart, Jeffrey O. editor.

(1)

Khan, Mohammad Ayoub. editor.

(1)

Khendek, Ferhat. editor.

(1)

Kholladi, Mohamed Khireddine. editor.

(1)

Kim, Haeng Kon. editor.

(1)

Kis, Filip. editor.

(1)

Kloul, Leïla. editor.

(1)

Klügl, Franziska. editor.

(1)

Kosmatov, Nikolai. editor.

(1)

Kotsialos, Apostolos. editor.

(1)

Kotásek, Zdeněk. editor.

(1)

Kounev, Samuel. editor.

(1)

Kovács, Laura. editor. (orcid)0000-0002-8299-2714

(1)

Koziolek, Heiko. editor.

(1)

Kořenek, Jan. editor.

(1)

Kumar S. K., Murali, author.

(1)

Kumar, Santosh, author.

(1)

Kučera, Antonín. editor.

(1)

Kühn, Eva. editor.

(1)

Kühn, Harald. editor.

(1)

Lago, Patricia. editor. (orcid)0000-0002-2234-0845

(1)

Laplante, Phillip A., author.

(1)

Larrondo-Petrie, María M. editor.

(1)

Lau, Kung-Kiu. editor.

(1)

Lawford, Mark. editor.

(1)

Lee, Edward A. editor. (orcid)0000-0002-5663-0584

(1)

Lilienthal, Carola. editor.

(1)

Liu, Shaoying. author.

(1)

Liu, Shaoying. editor. (orcid)0000-0002-6748-5052

(1)

Lock, Russell. editor.

(1)

Lorenz, Pascal. editor.

(1)

Luo, Yuhua. editor.

(1)

Lárusdóttir, Marta Kristín. editor. (orcid)0000-0003-0256-5710

(1)

Maciaszek, Leszek A. editor.

(1)

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

(1)

Mahmood, Zaigham. editor.

(1)

Maibaum, Tom. editor.

(1)

Language

(138)

Publication Date

-

(33)

(20)

(20)

(19)

(6)

(6)

(5)

(4)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

Subject

Computer science.

(60)

Artificial intelligence.

(34)

Computer Communication Networks.

(31)

Computer networks .

(22)

Computational intelligence.

(21)

Computer Science Logic and Foundations of Programming.

(19)

Formal Languages and Automata Theory.

(18)

Machine theory.

(18)

Compilers (Computer programs).

(16)

Compilers and Interpreters.

(16)

Computer programming.

(14)

(14)

Programming Techniques.

(14)

Application software.

(13)

Computer and Information Systems Applications.

(13)

Theory of Computation.

(13)

Computer simulation.

(12)

Data and Information Security.

(12)

Data protection.

(12)

Computer Modelling.

(10)

Computer software.

(10)

(8)

Control Structures and Microprogramming.

(7)

Microprogramming .

(7)

Computer System Implementation.

(6)

Computer systems.

(6)

Computer vision.

(6)

Computers, Special purpose.

(6)

Programming languages (Electronic computers).

(6)

Special Purpose and Application-Based Systems.

(6)

Business Process Management.

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(5)

Computer system performance.

(5)

(5)

Electronic data processing -- Management.

(5)

(5)

Image processing -- Digital techniques.

(5)

Information technology -- Management.

(5)

Computer Application in Administrative Data Processing.

(4)

Computer Engineering and Networks.

(4)

Computer engineering.

(4)

Computer science -- Mathematics.

(4)

Information Systems.

(4)

Information theory.

(4)

Business information services.

(3)

Computer communication systems.

(3)

Computer logic.

(3)

(3)

(3)

Data encryption (Computer science).

(3)

Electronic digital computers -- Evaluation.

(3)

Human-computer interaction.

(3)

Information Storage and Retrieval.

(3)

Information storage and retrieval systems.

(3)

Mathematical Logic and Formal Languages.

(3)

System Performance and Evaluation.

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Algorithm Analysis and Problem Complexity.

(2)

Computer hardware.

(2)

Computer industry.

(2)

Computer network architectures.

(2)

Computers and Society.

(2)

Computers and civilization.

(2)

Database management.

(2)

Electronic books.

(2)

(2)

Engineering mathematics.

(2)

(2)

Enterprise Architecture.

(2)

Génie logiciel.

(2)

Machine learning.

(2)

Models of Computation.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

(2)

Programming Languages, Compilers, Interpreters.

(2)

Software Engineering/Programming and Operating Systems.

(2)

Software Management.

(2)

Software engineering

(2)

Software engineering -- Management.

(2)

The Computing Profession.

(2)

Appl.Mathematics/Computational Methods of Engineering.

(1)

Applied Dynamical Systems.

(1)

Artificial Intelligence (incl. Robotics).

(1)

Automotive engineering.

(1)

Banks and banking.

(1)

Bioinformatics.

(1)

COMPUTERS -- Software Development & Engineering -- General.

(1)

COMPUTERS / Computer Engineering

(1)

COMPUTERS / Computer Graphics / Game Programming & Design

(1)

COMPUTERS / Information Technology

(1)

COMPUTERS / Programming / Software Development

(1)

(1)

Coding and Information Theory.

(1)

(1)

Communications Engineering, Networks.

(1)

Component software.

(1)

Computational and Systems Biology.

(1)

Computer programs -- Testing.

(1)

Control and Systems Theory.

(1)

Control engineering.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Structures and Information Theory.

(1)

Data structures (Computer science).

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

(1)

Economic theory.

(1)

Economics, Mathematical.

(1)

Electronic Circuits and Devices.

(1)

Electronic data processing.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Game Theory/Mathematical Methods.

(1)

Hardware Performance and Reliability.

(1)

IT in Business.

(1)

Image processing.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information systems.

(1)

Ingénierie des systèmes.

(1)

(1)

Logic programming.

(1)

Logics and Meanings of Programs.

(1)

MATHEMATICS / General

(1)

Management information systems.

(1)

Management of Computing and Information Systems.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Software.

(1)

Mathematical logic.

(1)

Mathematical statistics.

(1)

(1)

Nonlinear theories.

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Probability and Statistics in Computer Science.

(1)

Programming Language.

(1)

Robotic Engineering.

(1)

(1)

Security Science and Technology.

(1)

Security systems.

(1)

Sociological Methods.

(1)

Sociology -- Methodology.

(1)

Software Testing.

(1)

Statistical methods.

(1)

Symbolic and Algebraic Manipulation.

(1)

Systems engineering

(1)

Systems engineering.

(1)

TECHNOLOGY & ENGINEERING.

(1)

TECHNOLOGY / Engineering / General

(1)

Telecommunication.

(1)

Material Type

Shelf Location

Electronic Library

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

138 Results Found

Subscribe to search results

1 2 3 4 5 .. 12

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 Effective methods for software engineering

Effective methods for software engineering

Effective methods for software engineering

Author

Summers, Boyd L., author.

Preferred Shelf Number

QA76.758 .S857 2020 EB

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Industrial Deployment of System Engineering Methods

Industrial Deployment of System Engineering Methods

Industrial Deployment of System Engineering Methods

Author

Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333675.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-33170-1

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Component-based software engineering : methods and metrics

Component-based software engineering : methods and metrics

Component-based software engineering : methods and metrics

Author

Tiwari, Umesh Kumar, author. Kumar, Santosh, author.

Preferred Shelf Number

QA76.758 .T58 2021 EB

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Computational Methods in Chemical Engineering with Maple

Computational Methods in Chemical Engineering with Maple

Computational Methods in Chemical Engineering with Maple

Author

White, Ralph E. author. Subramanian, Venkat R. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

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:

9.

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:

10.

Cover image for Artificial Intelligence and System Engineering Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 2

Artificial Intelligence and System Engineering Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 2

Artificial Intelligence and System Engineering Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 2

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

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:

12.

Cover image for Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1

Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1

Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 12

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11