Search Results for Software Engineering & Systems Development

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

Author

SpringerLink (Online service)

(87)

Silhavy, Petr. editor.

(7)

Silhavy, Radek. editor.

(7)

Maciaszek, Leszek A. editor.

(4)

Anwar, Sajid. editor. (orcid)0000-0003-3393-1656

(2)

Arcos Avilés, Diego Gustavo. editor. (orcid)0000-0002-1511-1614

(2)

Fujita, Hamido. editor. (orcid)0000-0001-5256-210X

(2)

Hong, Tzung-Pei. editor.

(2)

Kaindl, Hermann. editor.

(2)

Lara Padilla, Hernán Vinicio. editor. (orcid)0000-0002-0085-1820

(2)

Mannion, Mike. editor.

(2)

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

(2)

Müller, Jörg P. editor.

(2)

Nguyen, Ngoc-Thanh. editor.

(2)

O'Regan, Gerard. author.

(2)

Olmedo Cifuentes, Gonzalo Fernando. editor.

(2)

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

(2)

Taylor and Francis.

(2)

Trawiński, Bogdan. editor.

(2)

Ullah, Abrar. editor.

(2)

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

(1)

Abdelrahman, Omer H. editor.

(1)

Abelló, Alberto. editor.

(1)

Abrahamsson, Pekka. editor.

(1)

Agrawal, Arun Prakash. editor.

(1)

Alagić, Suad. author.

(1)

Allerton, David, author.

(1)

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

(1)

Bala, Raja, editor.

(1)

Balas, Valentina Emilia. editor.

(1)

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

(1)

Barkana, Duygun E.

(1)

Bell, Michael, author.

(1)

Bergsmann, Johannes. editor.

(1)

Bernardeschi, Cinzia. editor.

(1)

Bernhaupt, Regina. editor.

(1)

Bi, Zhuming, author.

(1)

Biemer, Steven M., author.

(1)

Biffl, Stefan. editor.

(1)

Bodden, Eric. editor.

(1)

Boed, Viktor, author.

(1)

Bogdan, Cristian. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bolshakov, Alexander A. editor.

(1)

Bolshakov, Alexander A. editor. (orcid)0000-0001-7966-718X

(1)

Botto-Tobar, Miguel. editor. (orcid)

(1)

Bouras, Abdelaziz. editor. (orcid)

(1)

Boute, Raymond T. author.

(1)

Brown, Barclay R., author.

(1)

Bucchiarone, Antonio. editor.

(1)

Bugiotti, Francesca. editor.

(1)

Bust, Philip D.

(1)

Cabot, Jordi. editor.

(1)

Calandra, Davide. editor. (orcid)0000-0001-5159-7167

(1)

Cetinkaya, Deniz.

(1)

Chakrawarti, Rajesh Kuma, editor.

(1)

Choubani, Fethi. editor.

(1)

Choudhary, Ankur. editor.

(1)

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

(1)

Cooper, Kendra M. L. editor.

(1)

Corral, Luis. editor.

(1)

Correia, António Dourado. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Dang, Tran Khanh. editor.

(1)

Dawson, Maurice. editor.

(1)

De Sá, Fernando. editor.

(1)

Dennedy, Michelle. author.

(1)

Di Fuccio, Raffaele. editor.

(1)

Diaz-Herrera, Jorge L., 1950- editor.

(1)

Dixon, Jack, 1948- editor.

(1)

Domínguez Mayo, Francisco José. editor.

(1)

Doukas, Haris. editor. (orcid)0000-0002-3369-0592

(1)

Dovgyi, Stanislav. editor.

(1)

Durakovic, Benjamin. editor. (orcid)

(1)

Edmonds, Bruce. editor.

(1)

El Moussati, Ali. editor.

(1)

El Oualkadi, Ahmed. editor.

(1)

Elleithy, Khaled. editor.

(1)

Ergonomics Society (Great Britain). Conference (60th : 2009 : London, UK)

(1)

Espinosa-Faller, Francisco Javier. editor.

(1)

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

(1)

Faltin, Frederick W., editor.

(1)

Faria, José Miguel Sampaio. author.

(1)

Felderer, Michael. editor.

(1)

Fernandes, João M. author.

(1)

Ferrari, Alessio. editor.

(1)

Filipe, Joaquim. editor.

(1)

Filipe, Joaquim. editor. (orcid)0000-0002-5961-6606

(1)

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

(1)

Finneran, Tom. author.

(1)

Flanigan, David A., author.

(1)

Forbrig, Peter. editor.

(1)

Fox, Jonathan. author.

(1)

Fricker, Samuel A. editor.

(1)

Fujita, Hamido. editor. (orcid)

(1)

Gamper, Johann. editor.

(1)

Garbajosa, Juan. editor.

(1)

Gelenbe, Erol. editor.

(1)

Ginzburg, Vladimir B., 1935-

(1)

Globa, Larysa. editor.

(1)

Gonzalez, Teofilo F., editor.

(1)

Gorbil, Gokce. editor.

(1)

Graziani, Pierluigi. editor.

(1)

Guizzi, Guido. editor.

(1)

Gulliksen, Jan. editor.

(1)

Gullo, Louis J., editor.

(1)

Gumzej, Roman. author.

(1)

Gurhan, H. Deniz.

(1)

Gómez, Cristina. editor.

(1)

Haoxiang, Wang. editor.

(1)

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

(1)

Herber, Paula. editor.

(1)

Hinchey, Michael G. (Michael Gerard), 1969- editor.

(1)

Hinchey, Mike. editor.

(1)

Hitzler, Pascal.

(1)

(1)

Hölzl, Matthias. editor.

(1)

Iannone, Giovanni, author.

(1)

Jain, Lakhmi C. editor.

(1)

Johnson, Chris. editor.

(1)

Kanoun, Karama.

(1)

Kapur, P. K. editor. (orcid)0000-0001-8006-5952

(1)

Kenett, Ron, editor.

(1)

Keyes, Jessica, 1950, author.

(1)

Keyes, Jessica, 1950-

(1)

Kis, Filip. editor.

(1)

Klügl, Franziska. editor.

(1)

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

(1)

Koch, Nora. editor.

(1)

Koddenbrock, Mario. editor.

(1)

Kossiakoff, Alexander, 1914-2005, author.

(1)

Kotsialos, Apostolos. editor.

(1)

Koubaa, Anis. editor.

(1)

Kounev, Samuel. author.

(1)

Koziolek, Heiko. editor.

(1)

(1)

Kravets, Alla G. author. (orcid)0000-0003-1675-8652

(1)

Kravets, Alla G. editor. (orcid)0000-0003-1675-8652

(1)

Kravets, Alla. editor.

(1)

Krogstie, John. author.

(1)

Kruchten, Philippe. editor.

(1)

Kuhrmann, Marco. editor.

(1)

Kultsova, Marina. editor.

(1)

Kumar, Vivek. editor.

(1)

Kunar, Sandip, editor.

(1)

Küng, Josef. editor.

(1)

Lam, Kwok Yan. editor. (orcid)0000-0001-7479-7970

(1)

Lange, Klaus-Dieter. author.

(1)

Lano, Kevin. author.

(1)

Lee, Roger. editor.

(1)

Lent, Ricardo. editor.

(1)

Lilienthal, Carola. editor.

(1)

Loce, Robert P., editor.

(1)

Lü, Jian. author.

(1)

Machado, Ricardo J. author.

(1)

Madani, Kurosh. editor.

(1)

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

(1)

Mahmood, Zaigham. editor.

(1)

Masci, Paolo. editor.

(1)

Matthes, Florian. editor.

(1)

Matulevičius, Raimundas. author. (orcid)0000-0002-1829-4794

(1)

Mayer, Philip. editor.

(1)

McCluskey, Thomas Leo. editor.

(1)

Mehta, Kiran, editor.

(1)

Mei, Hong. author.

(1)

Mejía, Jezreel. editor. (orcid)0000-0003-0292-9318

(1)

Messina, Angelo. editor.

(1)

Meyer, Ruth. editor.

(1)

Mezhuyev, Vitaliy. author.

(1)

Mi, Chris, author.

(1)

Migliaccio, Alessandro, author.

(1)

Mittal, Saurabh., author.

(1)

Montes León, Sergio. editor.

(1)

Mostashari, Ali.

(1)

Muñoz, Mirna. editor.

(1)

Myerson, Judith M.

(1)

Münch, Jürgen. editor.

(1)

Nazareth, John Lawrence. author.

(1)

Nee, Andrew Yeh Ching. editor.

(1)

Neuhold, Erich J. editor. (orcid)0000-0002-7068-2225

(1)

Ngoc, Le Anh. editor.

(1)

Nguyen, Thi Dieu Linh. editor.

(1)

Noël, Frédéric. editor.

(1)

Nunes, Ingrid. editor.

(1)

Nurcan, Selmin. editor.

(1)

Nyffenegger, Felix. editor. (orcid)

(1)

Oivo, Markku. editor.

(1)

Ong, Soh Khim. editor.

(1)

Oplatkova, Zuzana Kominkova. editor.

(1)

P. Zeigler, Bernard. author.

(1)

Padmanaban, Rajini, author.

(1)

Palanque, Philippe. editor.

(1)

Palmieri, Maurizio. editor.

(1)

Pandey, Hari Mohan. editor.

(1)

Pastor, Oscar. editor.

(1)

Penzenstadler, Birgit. editor.

(1)

Pham, Hoang. editor.

(1)

Pimenidis, Elias. editor.

(1)

Prechelt, Lutz. editor.

(1)

Prokopova, Zdenka. editor.

(1)

Language

(119)

Publication Date

-

(23)

(21)

(17)

(15)

(13)

(12)

(5)

(5)

(4)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Software engineering.

(38)

Computational intelligence.

(27)

Artificial intelligence.

(25)

Electronic books.

(13)

Application software.

(9)

Computer and Information Systems Applications.

(9)

Computer science.

(8)

Compilers (Computer programs).

(7)

Compilers and Interpreters.

(7)

Communications Engineering, Networks.

(6)

Computer networks .

(6)

Computer simulation.

(6)

Formal Languages and Automata Theory.

(6)

Machine theory.

(6)

Software Management.

(6)

Software engineering -- Management.

(6)

TECHNOLOGY & ENGINEERING.

(6)

Telecommunication.

(6)

Computer Communication Networks.

(5)

Computer Science Logic and Foundations of Programming.

(5)

Cooperating objects (Computer systems).

(5)

Cyber-Physical Systems.

(5)

Electronic data processing -- Management.

(5)

(5)

(5)

Systems engineering.

(5)

(4)

(4)

Computer Modelling.

(4)

Computer programming.

(4)

Data and Information Security.

(4)

Data protection.

(4)

Database management.

(4)

Electronic digital computers -- Evaluation.

(4)

Ingénierie des systèmes.

(4)

Programming Techniques.

(4)

System Performance and Evaluation.

(4)

Systems engineering

(4)

(3)

Computer System Implementation.

(3)

Computer systems.

(3)

Control Structures and Microprogramming.

(3)

Control engineering.

(3)

Control, Robotics, Automation.

(3)

Data Mining and Knowledge Discovery.

(3)

(3)

Engineering -- Data processing.

(3)

Microprogramming .

(3)

Models of Computation.

(3)

(3)

Security Science and Technology.

(3)

Security systems.

(3)

COMPUTERS -- Software Development & Engineering -- General.

(2)

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

(2)

Computers and Society.

(2)

Computers and civilization.

(2)

(2)

(2)

Data Engineering.

(2)

Data encryption (Computer science).

(2)

Digital control systems.

(2)

Electronic Circuits and Systems.

(2)

Electronic circuits.

(2)

Electronics and Microelectronics, Instrumentation.

(2)

Engineering design.

(2)

Human-computer interaction.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Information technology -- Management.

(2)

Machine learning.

(2)

(2)

Software engineering

(2)

TECHNOLOGY & ENGINEERING -- Engineering (General)

(2)

Theory of Computation.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

ARCHITECTURE / CAD (Computer Aided Design) see Design, Drafting, Drawing & Presentation.

(1)

Actions (Titres de société) -- Modèles mathématiques.

(1)

Additive manufacturing.

(1)

Airplanes -- Piloting -- Computer simulation

(1)

Airplanes -- Piloting -- Computer simulation.

(1)

Applied Dynamical Systems.

(1)

Architecture logicielle.

(1)

Artificial intelligence

(1)

(1)

Automobiles -- Transmission devices

(1)

Automobiles -- Transmission devices.

(1)

Automobiles -- Transmissions.

(1)

Automotive engineering.

(1)

Avions -- Pilotage -- Simulation par ordinateur.

(1)

BUSINESS & ECONOMICS -- Industries -- Transportation.

(1)

BUSINESSnetBASE/MANAGEMENTnetBASE

(1)

Behavioral Neuroscience.

(1)

Benchmarking (Management)

(1)

(1)

Bioinformatics.

(1)

Buildings -- Environmental engineering -- Quality control.

(1)

Business Process Management.

(1)

Business information services.

(1)

C (Computer program language)

(1)

C (Langage de programmation)

(1)

COMPUTER SCIENCE/General.

(1)

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

(1)

Command and control systems -- Design.

(1)

Commande numérique.

(1)

Complex Systems.

(1)

Computational Science and Engineering.

(1)

Computational and Systems Biology.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Engineering and Networks.

(1)

Computer Graphics.

(1)

Computer aided design.

(1)

Computer engineering.

(1)

Computer industry.

(1)

Computer networks.

(1)

Computer science -- Handbooks, manuals, etc.

(1)

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

(1)

Computer simulation

(1)

Computer software -- Development

(1)

Computer software -- Development.

(1)

Computer software -- Testing

(1)

Computer software -- Testing -- Data processing.

(1)

Computer software -- Testing.

(1)

Computer software.

(1)

Computer systems -- Reliability.

(1)

Computer vision

(1)

Computer vision.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

Computers -- History.

(1)

Computers, Special purpose.

(1)

(1)

Conceptual structures (Information theory)

(1)

Data Analysis and Big Data.

(1)

Data Structures and Information Theory.

(1)

Data protection -- Handbooks, manuals, etc.

(1)

Data structures (Computer science).

(1)

Database Management System.

(1)

Digital control systems

(1)

Discrete-time systems -- Computer simulation.

(1)

(1)

Embedded computer systems

(1)

Embedded computer systems.

(1)

Engineering mathematics.

(1)

(1)

Fabrication additive.

(1)

Financial services industry -- Data processing -- Handbooks, manuals, etc.

(1)

Financial services industry -- Technological innovations -- Handbooks, manuals, etc.

(1)

Flight simulators -- Computer programs

(1)

Flight simulators -- Computer programs.

(1)

(1)

Génie logiciel -- Histoire.

(1)

Génie logiciel.

(1)

(1)

History of Computing.

(1)

History of Technology.

(1)

(1)

Human behavior.

(1)

Human engineering -- Congresses.

(1)

IEEE Computer Society

(1)

IEEE Computer Society -- History.

(1)

INFORMATIONSCIENCEnetBASE

(1)

IT in Business.

(1)

(1)

Imaging Systems.

(1)

Industrial Management.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information / Knowledge Management

(1)

Information networks -- Design.

(1)

Information resources management.

(1)

Information theory.

(1)

Ingénierie des systèmes -- Méthodes de simulation.

(1)

Intelligence (AI) & Semantics.

(1)

Intelligence artificielle.

(1)

Intelligent buildings.

(1)

Intelligent transportation systems

(1)

Intelligent transportation systems.

(1)

Internet of things.

(1)

Internet research.

(1)

Internetworking (Telecommunication)

(1)

Knowledge representation (Information theory)

(1)

(1)

Logic programming.

(1)

MATHEMATICS / Set Theory.

(1)

(1)

Management information systems.

(1)

Management of IT

(1)

Manufactures -- Computer-aided design.

(1)

Mathematical Software.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical statistics -- Data processing.

(1)

Mathematics -- Data processing.

(1)

Microcontrollers

(1)

Microcontrollers.

(1)

Microcontrôleurs.

(1)

Microelectronics.

(1)

Natural language processing (Computer science)

(1)

(1)

Material Type

Shelf Location

Electronic Library

Wiley E-Book Collection

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

120 Results Found

Subscribe to search results

1 2 3 4 5 .. 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 Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems

Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems

Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems

Author

Babkin, Eduard. author. (orcid)0000-0003-2597-9043 Ulitin, Boris. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

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:

3.

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

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

Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 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-54813-0

Format:

Availability

Online Library~1

Available:
Copies:

4.

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:

5.

Cover image for Advances in Artificial Intelligence-Empowered Decision Support Systems Papers in Honour of Professor John Psarras

Advances in Artificial Intelligence-Empowered Decision Support Systems Papers in Honour of Professor John Psarras

Advances in Artificial Intelligence-Empowered Decision Support Systems Papers in Honour of Professor John Psarras

Author

Tsihrintzis, George A. editor. Virvou, Maria. editor. Doukas, Haris. editor. (orcid)0000-0002-3369-0592 Jain, Lakhmi C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings

Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings

Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings

Author

Shishkov, Boris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Author

Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Systems engineering neural networks

Systems engineering neural networks

Systems engineering neural networks

Author

Migliaccio, Alessandro, author. Iannone, Giovanni, author.

Preferred Shelf Number

QA76.87 .M537 2023

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

Author

Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Author

Masci, Paolo. editor. Bernardeschi, Cinzia. editor. Graziani, Pierluigi. editor. Koddenbrock, Mario. editor. Palmieri, Maurizio. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Society 5.0 Cyber-Solutions for Human-Centric Technologies

Society 5.0 Cyber-Solutions for Human-Centric Technologies

Society 5.0 Cyber-Solutions for Human-Centric Technologies

Author

Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Bolshakov, Alexander A. editor. Shcherbakov, Maxim V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022

Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022

Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022

Author

Shakya, Subarna. editor. Balas, Valentina Emilia. editor. Haoxiang, Wang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-7874-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 10

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11