Your search returned 202 results.

Not what you expected? Check for suggestions
Sort
Results
Designing Sustainability for All : The Design of Sustainable Product-Service Systems Applied to Distributed Economies.

by Vezzoli, Carlo | Garcia Parra, Brenda | Kohtala, Cindy.

Series: Lecture Notes in Mechanical Engineering SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

Brain-Inspired Computing : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers.

by Amunts, Katrin | Grandinetti, Lucio | Lippert, Thomas | Petkov, Nicolai.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II.

by Silva, Alexandra | Leino, K. Rustan M.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I.

by Silva, Alexandra | Leino, K. Rustan M.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

The Once-Only Principle : The TOOP Project.

by Krimmer, Robert | Prentza, Andriana | Mamrot, Szymon.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings.

by Platzer, Andr�e | Sutcliffe, Geoff.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: {copy}2021Online access: Click to View Availability: No items available.

Agile Processes in Software Engineering and Extreme Programming : 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14-18, 2021, Proceedings.

by Gregory, Peggy | Lassenius, Casper | Wang, Xiaofeng | Kruchten, Philippe.

Series: Lecture Notes in Business Information Processing SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings.

by Goubault-Larrecq, Jean | K�onig, Barbara.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2020Copyright date: �2020Online access: Click to View Availability: No items available.

Agile Processes in Software Engineering and Extreme Programming - Workshops : XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers.

by Gregory, Peggy | Kruchten, Philippe.

Series: Lecture Notes in Business Information Processing SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

Makers at School, Educational Robotics and Innovative Learning Environments : Research and Experiences from FabLearn Italy 2019, in the Italian Schools and Beyond.

by Scaradozzi, David | Guasti, Lorenzo | Di Stasio, Margherita | Miotti, Beatrice | Monteri�u, Andrea | Blikstein, Paulo.

Series: Lecture Notes in Networks and Systems SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

XxAI - Beyond Explainable AI : International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers.

by Holzinger, Andreas | Goebel, Randy | Fong, Ruth | Moon, Taesup | M�uller, Klaus-Robert | Samek, Wojciech.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2022Copyright date: �2022Online access: Click to View Availability: No items available.

Proceedings of the 8th International Conference on Civil Engineering.

by Feng, Guangliang.

Series: Lecture Notes in Civil Engineering SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Singapore : Springer Singapore Pte. Limited, 2022Copyright date: �2022Online access: Click to View Availability: No items available.

Cybersecurity of Digital Service Chains : Challenges, Methodologies, and Tools.

by Ko�odziej, Joanna | Repetto, Matteo | Duzha, Armend.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2022Copyright date: {copy}2022Online access: Click to View Availability: No items available.

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II.

by Fisman, Dana | Rosu, Grigore.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2022Copyright date: �2022Online access: Click to View Availability: No items available.

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I.

by Fisman, Dana | Rosu, Grigore.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2022Copyright date: �2022Online access: Click to View Availability: No items available.

Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings.

by Bouyer, Patricia | Schr�oder, Lutz.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2022Copyright date: �2022Online access: Click to View Availability: No items available.

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings.

by Sergey, Ilya.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2022Copyright date: �2022Online access: Click to View Availability: No items available.

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, Germany, April 2-7, 2022, Proceedings.

by Johnsen, Einar Broch | Wimmer, Manuel.

Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2022Copyright date: �2022Online access: Click to View Availability: No items available.

Process Mining Workshops : ICPM 2021 International Workshops, Eindhoven, the Netherlands, October 31 - November 4, 2021, Revised Selected Papers.

by Munoz-Gama, Jorge | Lu, Xixi.

Series: Lecture Notes in Business Information Processing SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2022Copyright date: �2022Online access: Click to View Availability: No items available.

Energy-Efficient and Semi-Automated Truck Platooning : Research and Evaluation.

by Schirrer, Alexander | Gratzer, Alexander L | Thormann, Sebastian | Jakubek, Stefan | Neubauer, Matthias | Schildorfer, Wolfgang.

Series: Lecture Notes in Intelligent Transportation and Infrastructure SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2022Copyright date: �2022Online access: Click to View Availability: No items available.

Pages