Search Results for Software Design.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(98)

Bernardo, Marco. editor.

(11)

Shishkov, Boris. editor.

(5)

Silhavy, Petr. editor.

(5)

Silhavy, Radek. editor.

(5)

Marcus, Aaron. editor.

(3)

Wang, Wentao. editor.

(3)

Herber, Paula. editor.

(2)

Meyer, Bertrand. editor.

(2)

Pierro, Alessandra. editor.

(2)

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

(2)

Schaefer, Ina. editor.

(2)

Schagaev, Igor. author.

(2)

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

(2)

Wiklicky, Herbert. editor.

(2)

Zavattaro, Gianluigi. editor.

(2)

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

(2)

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

(1)

Aldini, Alessandro. author.

(1)

Aldini, Alessandro. editor.

(1)

Alebrahim, Azadeh. author.

(1)

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

(1)

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

(1)

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

(1)

Bagnato, Alessandra. editor.

(1)

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

(1)

Barth, Timothy J. editor.

(1)

Batista, Thaís. author.

(1)

Bermbach, David. author.

(1)

Bernardo, Marco. author.

(1)

Bernhaupt, Regina. editor.

(1)

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

(1)

Bernstein, David, 1960 June 9-

(1)

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

(1)

Bjøner, Dines. author.

(1)

Bodden, Eric. editor.

(1)

Bogdan, Cristian. editor.

(1)

Bogliolo, Alessandro. editor.

(1)

Borangiu, Theodor. editor. (orcid)0000-0002-4801-1951

(1)

Cajander, Åsa. editor.

(1)

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

(1)

Cavalli, Ana Rosa. editor.

(1)

Chen, Sao-Jie. author.

(1)

Chiba, Shigeru. editor.

(1)

Cimatti, Alessandro. editor.

(1)

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

(1)

Cockton, Gilbert. editor.

(1)

Cohen, Ryan. author.

(1)

Corradini, Flavio. author.

(1)

Cortellessa, Vittorio. editor.

(1)

Cranefield, Stephen. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Crookshanks, Edward. author.

(1)

Damiani, Ferruccio. editor.

(1)

De Nicola, Rocco. editor.

(1)

Degano, Pierpaolo. editor.

(1)

Dennedy, Michelle. author.

(1)

Dorf, Richard C., author.

(1)

Drăgoicea, Monica. editor.

(1)

Durak, Umut. author.

(1)

Eugster, Patrick. editor.

(1)

Exman, Iaakov. editor. (orcid)0000-0002-9917-3950

(1)

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

(1)

Felderer, Michael. editor.

(1)

Felderer, Michael. editor. (orcid)0000-0003-3818-4442

(1)

Fettke, Peter. author.

(1)

Finneran, Tom. author.

(1)

Fontoura de Gusmão Cerqueira, Renato. author.

(1)

Forbrig, Peter. editor.

(1)

Foster, Elvis. author.

(1)

Fox, Jonathan. author.

(1)

Fähnrich, Klaus-Peter. editor.

(1)

Galster, Matthias. editor. (orcid)0000-0003-3491-1833

(1)

García Frey, Alfonso. editor.

(1)

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

(1)

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

(1)

Griebel, Michael. editor.

(1)

Gulliksen, Jan. editor.

(1)

Gutknecht, Jürg. author.

(1)

Ha, Soonhoi. editor.

(1)

Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

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

(1)

He, Sheng. editor. (orcid)0000-0002-7142-8990

(1)

Headleand, Christopher J. author.

(1)

Hillston, Jane. editor.

(1)

Hillston, Jane. editor. (orcid)0000-0003-4914-9255

(1)

Hinchey, Mike. editor.

(1)

Hsiung, Pao-Ann. author.

(1)

Hu, Yu-Hen. author.

(1)

Husen, Christian. editor.

(1)

Höst, Martin. author.

(1)

Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764

(1)

Issarny, Valérie. editor.

(1)

Jalote, Pankaj. author.

(1)

John Wiley & Sons.

(1)

Johnsen, Einar Broch. editor.

(1)

Johnson, Chris. editor.

(1)

Kanoun, Karama.

(1)

Keyes, David E. editor.

(1)

Kim, Kuinam J. editor.

(1)

Kis, Filip. editor.

(1)

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

(1)

Kneuper, Ralf. author. (orcid)0000-0003-3225-5895

(1)

Kohls, Christian. editor.

(1)

Kosmatov, Nikolai. editor.

(1)

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

(1)

Koziolek, Heiko. editor.

(1)

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

(1)

Kuhrmann, Marco. editor.

(1)

Langer, Arthur M. author.

(1)

Lanza, Michele. author.

(1)

Laplante, Phillip A., author.

(1)

Lattanze, Anthony J., author.

(1)

Leavens, Gary T. editor.

(1)

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

(1)

Leite, Jair. author.

(1)

Lilienthal, Carola. editor.

(1)

Lin, Guang-Huei. author.

(1)

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

(1)

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

(1)

Luo, Min. editor.

(1)

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

(1)

Lárusdóttir, Marta. editor.

(1)

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

(1)

Mahmood, Zaigham. editor.

(1)

Mahmoud, Samhar. editor.

(1)

Mallouli, Wissam. editor.

(1)

Marinescu, Radu. author.

(1)

Marques Afonso, Luiz. author.

(1)

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

(1)

Matthes, Florian. editor.

(1)

Mazzara, Manuel. editor.

(1)

Medeiros, Ibéria. editor.

(1)

Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918

(1)

Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794

(1)

Münch, Jürgen. editor.

(1)

Nagl, Manfred. author.

(1)

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

(1)

Nakajima, Shin. editor.

(1)

Naqvi, Bilal. editor. (orcid)0000-0001-5271-5604

(1)

Navarro, Elena. editor. (orcid)0000-0001-9496-6890

(1)

Neidhardt, Alexander N.J. author.

(1)

Nieminen, Risto M. editor.

(1)

Nóvoa, Henriqueta. editor.

(1)

O'Regan, Gerard. author.

(1)

Ohlsson, Magnus C. author.

(1)

Oliveira Antonino, Pablo. editor. (orcid)0000-0002-9631-8771

(1)

Oquendo, Flavio. author.

(1)

Oğuztüzün, Halit. author.

(1)

Padget, Julian. editor.

(1)

Padovani, Luca. editor.

(1)

Palanque, Philippe. editor.

(1)

Pedrycz, Witold. editor.

(1)

Perez, Darrin. author.

(1)

Peter, Sibylle. editor. (orcid)0009-0007-4308-053X

(1)

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

(1)

Piattini, Mario. editor. (orcid)0000-0002-7212-8279

(1)

Pierantonio, Alfonso. editor.

(1)

Pinna, Andrea. editor. (orcid)0000-0002-7530-0521

(1)

Prechelt, Lutz. editor.

(1)

Prokopova, Zdenka. editor.

(1)

Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184

(1)

Rausch, Andreas. editor.

(1)

Regnell, Björn. author.

(1)

Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810

(1)

Reynolds, Andrew. editor.

(1)

Richardson, Ita. editor.

(1)

Ritsos, Panagiotis D. author.

(1)

Roberts, Jonathan C. author.

(1)

Robillard, Martin P. author.

(1)

Robinson, John A. (John Allen), 1958-

(1)

Rocha, Ana Paula. editor.

(1)

Roose, Dirk. editor.

(1)

Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824

(1)

Rossi de Mello Brandão, Rafael. author.

(1)

Rouson, Damian.

(1)

Rumpe, Bernhard. author.

(1)

Rumpe, Bernhard. editor.

(1)

Runeson, Per. author.

(1)

Sacha, Krzysztof. editor.

(1)

Sadovykh, Andrey. editor.

(1)

Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624

(1)

Schlick, Tamar. editor.

(1)

Seceleanu, Cristina. editor.

(1)

Selimi, Mennan. editor.

(1)

Sieckenius de Souza, Clarisse. author.

(1)

Sillitti, Alberto. editor.

(1)

Sirjani, Marjan. editor.

(1)

Soares Jansen Ferreira, Juliana. author.

(1)

Sottet, Jean-Sébastien. editor.

(1)

Spainhower, Lisa.

(1)

Staron, Miroslaw. author.

(1)

Stephens, Rod, author.

(1)

Succi, Giancarlo. editor.

(1)

Südholt, Mario. editor.

(1)

Tai, Stefan. author.

(1)

Talcott, Carolyn. editor.

(1)

Talpin, Jean-Pierre. editor.

(1)

Tasiran, Serdar. editor.

(1)

Taylor and Francis.

(1)

Language

(107)

(1)

Publication Date

-

(18)

(18)

(17)

(15)

(7)

(4)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

Subject

Computer science.

(28)

Application software.

(16)

Computer and Information Systems Applications.

(16)

Compilers (Computer programs).

(11)

Compilers and Interpreters.

(11)

Computer Communication Networks.

(11)

Human-computer interaction.

(10)

User Interfaces and Human Computer Interaction.

(10)

User interfaces (Computer systems).

(10)

Computer networks .

(8)

Electronic data processing -- Management.

(8)

(8)

Software Management.

(8)

Software engineering -- Management.

(8)

Artificial intelligence.

(7)

Computer Science Logic and Foundations of Programming.

(7)

Information systems.

(7)

Computational intelligence.

(6)

Computer programming.

(6)

Computers, Special purpose.

(6)

Formal Languages and Automata Theory.

(6)

(6)

Machine theory.

(6)

Special Purpose and Application-Based Systems.

(6)

(5)

Management information systems.

(5)

Operating Systems.

(5)

Operating systems (Computers).

(5)

Programming Techniques.

(5)

Data and Information Security.

(4)

Data protection.

(4)

Electronic digital computers -- Evaluation.

(4)

Information theory.

(4)

Programming languages (Electronic computers).

(4)

Security Science and Technology.

(4)

Security systems.

(4)

System Performance and Evaluation.

(4)

Theory of Computation.

(4)

Bioinformatics.

(3)

Communications Engineering, Networks.

(3)

Computer Modelling.

(3)

Computer System Implementation.

(3)

Computer simulation.

(3)

Computer systems.

(3)

Computers and Society.

(3)

Computers and civilization.

(3)

Control Structures and Microprogramming.

(3)

Data Structures and Information Theory.

(3)

Data structures (Computer science).

(3)

(3)

Electronic Circuits and Systems.

(3)

Electronic books.

(3)

Electronic circuits.

(3)

(3)

Engineering -- Data processing.

(3)

Génie logiciel.

(3)

Information Storage and Retrieval.

(3)

Information Systems.

(3)

Information storage and retrieval systems.

(3)

Information technology -- Management.

(3)

Microprogramming .

(3)

Models of Computation.

(3)

Systems engineering.

(3)

Telecommunication.

(3)

Automotive engineering.

(2)

Business information services.

(2)

COMPUTERS -- Software Development & Engineering -- General.

(2)

Computer Application in Administrative Data Processing.

(2)

Computer architecture.

(2)

Computer engineering.

(2)

Computer programs -- Testing.

(2)

Computer software.

(2)

Computers and Education.

(2)

Cooperating objects (Computer systems).

(2)

Cyber-Physical Systems.

(2)

Education -- Data processing.

(2)

Electronics and Microelectronics, Instrumentation.

(2)

Hardware Performance and Reliability.

(2)

IT in Business.

(2)

(2)

Logic programming.

(2)

Microprocessors.

(2)

Processor Architectures.

(2)

Programming Language.

(2)

Quantum Computing.

(2)

Quantum computers.

(2)

Software Testing.

(2)

Software engineering

(2)

Astronomy -- Observations.

(1)

Astronomy, Observations and Techniques.

(1)

Benchmarking (Management)

(1)

Business IT Infrastructure.

(1)

Business Information Systems.

(1)

Business Process Management.

(1)

COMPUTERS -- Computer Engineering.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS -- Software Development & Engineering -- Systems Analysis & Design.

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

Cloud Computing.

(1)

Coding and Information Theory.

(1)

(1)

Computation by Abstract Devices.

(1)

Computational Biology.

(1)

Computational Biology/Bioinformatics.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Engineering and Networks.

(1)

Computer Hardware.

(1)

Computer aided design.

(1)

Computer hardware.

(1)

Computer logic.

(1)

Computer network architectures.

(1)

Computer science -- Mathematics.

(1)

Computer software -- Development.

(1)

Computer system performance.

(1)

Computer systems -- Reliability.

(1)

Computers -- Law and legislation.

(1)

Control and Systems Theory.

(1)

Control engineering.

(1)

(1)

(1)

Data encryption (Computer science).

(1)

Digital electronics.

(1)

Economics/Management Science.

(1)

Engineering mathematics.

(1)

(1)

Expert systems (Computer science)

(1)

(1)

Health Informatics.

(1)

Human-machine systems.

(1)

Image processing.

(1)

Information Systems Applications (incl. Internet).

(1)

Information technology -- Law and legislation.

(1)

Ingénierie des systèmes.

(1)

Interaction Design.

(1)

Interactive multimedia.

(1)

Java (Computer program language).

(1)

Legal Aspects of Computing.

(1)

Logics and Meanings of Programs.

(1)

Mathematical Software.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical statistics.

(1)

(1)

Medical informatics.

(1)

Mobile computing.

(1)

Monoclonal antibodies.

(1)

Multimedia Information Systems.

(1)

Multimedia systems.

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

(1)

Ordinateurs -- Conception et construction.

(1)

Probability and Statistics in Computer Science.

(1)

(1)

Science -- Data processing.

(1)

Sociological Methods.

(1)

Sociology -- Methodology.

(1)

(1)

Software Design.

(1)

Software architecture.

(1)

Systems engineering

(1)

TECHNOLOGY & ENGINEERING.

(1)

The Computing Profession.

(1)

Électronique numérique.

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Wiley E-Book Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

109 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 10

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 Services Computing - SCC 2024 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Services Computing - SCC 2024 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Services Computing - SCC 2024 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Author

He, Sheng. editor. (orcid)0000-0002-7142-8990 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for A Concise Introduction to Software Engineering With Open Source and GenAI

A Concise Introduction to Software Engineering With Open Source and GenAI

A Concise Introduction to Software Engineering With Open Source and GenAI

Author

Jalote, Pankaj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-74318-4

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations

Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations

Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations

Author

Bodden, Eric. editor. Felderer, Michael. editor. Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335 Herber, Paula. editor. Koziolek, Heiko. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Understanding the Digital World Modeling with HERAKLIT

Understanding the Digital World Modeling with HERAKLIT

Understanding the Digital World Modeling with HERAKLIT

Author

Fettke, Peter. author. Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings

Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings

Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings

Author

Galster, Matthias. editor. (orcid)0000-0003-3491-1833 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624 Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Oliveira Antonino, Pablo. editor. (orcid)0000-0002-9631-8771 Nakagawa, Elisa Yumi. editor. (orcid)0000-0002-7754-4298

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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:

7.

Cover image for Software Architectures Topics Usually Missed in Textbooks

Software Architectures Topics Usually Missed in Textbooks

Software Architectures Topics Usually Missed in Textbooks

Author

Nagl, Manfred. author. Westfechtel, Bernhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for The French School of Programming

The French School of Programming

The French School of Programming

Author

Meyer, Bertrand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Author

Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-62638-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 Experimentation in Software Engineering

Experimentation in Software Engineering

Experimentation in Software Engineering

Author

Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-69306-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

Author

Herber, Paula. editor. Wijs, Anton. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 10

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11