2024

Information security planning : a practical approach

Lincke, Susan, author
Second edition
Cham, Switzerland : Springer, 2024

 

2023

IoT, Machine Learning and Blockchain Technologies for Renewable Energy and Modern Hybrid Power Systems

Sharmeela, C.



 

2023

Implementing Parallel and Distributed Systems

Poshtkohi, Alireza.



 

2023

UML-based software product line engineering with SMarty

Cham, Switzerland : Springer, [2023]

 

2023

Applicable formal methods for safe industrial products : essays dedicated to Jan Peleska on the occasion of his 65th birthday

Cham, Switzerland : Springer, 2023

 

2023

Deep learning theory and applications : 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedings

International Conference on Deep Learning Theory and Applications (4th : 2023 : Rome, Italy)

Cham : Springer, 2023

 

2023

Formal methods for industrial critical systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

International Workshop on Formal Methods for Industrial Critical Systems (28th : 2023 : Antwerp, Belgium)

Cham : Springer, 2023

 

2022

Fundamentals of object-oriented programming : Java and IntelliJ

[First edition]
[Place of publication not identified] : Packt Publishing, [2022]

 

2022

Business information systems workshops : BIS 2021 International Workshops, virtual event, June 14-18, 2021, revised selected papers

International Conference on Business Information Systems (24th : 2021 : Online)

Cham : Springer, [2022]

 

2022

Design principles for embedded systems

Murti, K. C. S., author

Singapore : Springer, [2022]

 

2022

Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, German

FASE (Conference) (25th : 2022 : Munich, Germany)

Cham, Switzerland : Springer, 2022

 

2022

Formal methods for software engineering : languages, methods, application domains

Roggenbach, Markus, author.

Cham : Springer, [2022]

 

2022

Formal methods for industrial critical systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, proceedings

International Workshop on Formal Methods for Industrial Critical Systems (27th : 2022 : Warsaw, Poland)

Cham : Springer, [2022]

 

2022

Model checking software : 28th International Symposium, SPIN 2022, virtual event, May 21, 2022, Proceedings

International SPIN Workshop (28th : 2022 : Online)



 

2022

Software architecture : 15th European Conference, ECSA 2021 Tracks and Workshops, Växjö, Sweden, September 13-17, 2021, revised selected papers

ECSA (Conference) (15th : 2021 : Online)

Cham, Switzerland : Springer, 2022

 

2022

Programming in two semesters : using Python and Java

Charatan, Quentin, author.

Cham : Springer, 2022

 

2022

The Semantic Web : ESWC 2022 satellite events : Hersonissos, Crete, Greece, May 29-June 2, 2022 : proceedings

Extended Semantic Web Conference (19th : 2022 : Chersonesos, Crete, Greece)

Cham : Springer, [2022]

 

2022

Handbook on artificial intelligence-empowered applied software engineering.

Cham : Springer, [2022]

 

2022

Intelligent autonomous drones with cognitive deep learning : build AI-enabled land drones with the Raspberry Pi 4

Blubaugh, David Allen

New York : Apress, [2022]

 

2022

NASA formal methods : 14th international symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings

NFM (Symposium) (14th : 2022 : Pasadena, Calif.)

Cham : Springer, [2022]

 

2021

Advanced informatics for computing research : 4th International Conference, ICAICR 2020, Gurugram, India, December 26-27, 2020, Revised Selected Papers.

International Conference on Advanced Informatics for Computing Research (4th : 2020 : Gurugram, India)

Singapore : Springer, 2021

 

2021

Advanced information systems engineering : 33rd international conference, CAiSE 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021 : proceedings

CAiSE (Conference) (33rd : 2021 : Online)

Cham : Springer, [2021]

 

2021

Distributed computing and internet technology : 17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7-10, 2021, proceedings

International Conference on Distributed Computing and Internet Technology (17th : 2021 : Bhubaneswar, India)

Cham : Springer, [2021]

 

2021

Cybersecurity, privacy and freedom protection in the connected world : proceedings of the 13th International Conference on Global Security, Safety and Sustainability, London, January 2021

ICGS3 (Conference) (13th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Evaluation of novel approaches to software engineering : 15th international conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020 : revised selected papers

ENASE (Conference) (15th : 2020 : Online)

Cham : Springer, [2021]

 

2021

Formal methods : foundations and applications : 24th Brazilian Symposium, SBMF 2021, virtual event, December 6-10, 2021 : proceedings

Brazilian Symposium on Formal Methods (24th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Model checking software : 27th International Symposium, SPIN 2021 : virtual event, July 12, 2021 : proceedings

International SPIN Workshop (27th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Programming basics : getting started with Java, C#, and Python

Ciesla, Robert, author.

Berkeley, CA : Apress, 2021

 

2021

Recent trends in algebraic development techniques : 25th international workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers

WADT (Workshop) (25th : 2020 : Online)

Cham : Springer, [2021]

 

2021

Trends and applications in information systems and technologies.

World Conference on Information Systems and Technologies (2021 : Online)

Cham, Switzerland : Springer, [2021]

 

2020

Advances in information and communication : proceedings of the 2019 future of information and communication conference (FICC).

Future of Information and Communication Conference (2019 : San Francisco, Calif.)

Cham : Springer, [2020]

 

2020

Advances in computing and data sciences : 4th International Conference, ICACDS 2020, Valletta, Malta, April 24-25, 2020, Revised selected papers

ICACDS (Conference) (4th : 2020 : Valletta, Malta)



 

2020

Software engineering perspectives in intelligent systems : proceedings of 4th Computational Methods in Systems and Software 2020.

CoMeSySo (Conference) (4th : 2020 : Online)



 

2020

Business Information Systems workshops : BIS 2020 international workshops, Colorado Springs, CO, USA, June 8-10, 2020, revised selected papers

International Conference on Business Information Systems (23rd : 2020 : Online)

Cham : Springer, [2020]

 

2020

Contextual process digitalization : changing perspectives - design thinking - value-led design

Fleischmann, Albert



 

2020

Evaluation of novel approaches to software engineering : 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers

ENASE (Conference) (14th : 2019 : Ērakleion, Greece)

Cham : Springer, 2020

 

2020

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2018

FDL (Conference) (2018 : Munich, Germany)



 

2020

Model-driven engineering and software development : 7th international conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, revised selected papers

MODELSWARD (Conference) (7th : 2019 : Prague, Czech Republic), author.

Cham, Switzerland : Springer, [2020]

 

2019

Effective model-based systems engineering

Borky, John M., author

Cham, Switzerland : Springer, [2019]

 

2019

Emerging Research in Computing, Information, Communication and Applications : ERCICA 2018.

International Conference on Emerging Research in Computing, Information, Communication and Applications (5th : 2018 : Bangalore, India)



 

2019

Financial software engineering

Lano, K., author.

Cham, Switzerland : Springer, 2019

 

2019

Computer information systems and industrial management : 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19-21, 2019, Proceedings

International Conference on Computer Information Systems and Industrial Management Applications (18th : 2019 : Belgrade, Serbia)

Cham, Switzerland : Springer, 2019

 

2019

Formal methods teaching : third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching Workshop and Tutorial (3rd : 2019 : Porto, Portugal)

Cham, Switzerland : Springer, 2019

 

2019

Industrial networks and intelligent systems : 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27-28, 2018, Proceedings

INISCOM (Conference) (14th : 2018 : Đà Nẵng, Vietnam)

Cham, Switzerland : Springer, 2019

 

2019

Model checking software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings

International SPIN Workshop (26th : 2019 : Beijing, China)

Cham, Switzerland : Springer, 2019

 

2019

Networked systems : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised selected papers

NETYS (Conference) (7th : 2019 : Marrakech, Morocco)

Cham, Switzerland : Springer, 2019

 

2019

System analysis and modeling : languages, methods, and tools for industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, proceedings

SAM (Workshop : System analysis) (11th : 2019 : Munich, Germany)

Cham, Switzerland : Springer, [2019]

 

2018

Software engineering with UML

Unhelkar, Bhuvan, author.

Boca Raton : CRC Press : Auerbach Publications, [2018]

 

2018

OCUP 2 certification guide : preparing for the OMG certified UML 2.5 professional 2 foundation exam

Chonoles, Michael Jesse, author.

Ambridge, MA : Morgan Kaufmann Publishers, an imprint of Elsevier, [2018]

 

2018

Shaping the future of ICT : trends in information technology, communications engineering, and management

International Conference on Communications, Management, and Information Technology (2016 : Calabria, Italy). author

Boca Raton, FL : CRC Press, [2018]