Your search returned 202 results.

Not what you expected? Check for suggestions
Sort
Results
Experimental Techniques in Modern High-Energy Physics : A Beginner's Guide.

by Hanagaki, Kazunori | Tanaka, Junichi | Tomoto, Makoto | Yamazaki, Yuji.

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

Algorithms for Big Data : DFG Priority Program 1736.

by Bast, Hannah | Korzen, Claudius | Meyer, Ulrich | Penschuck, 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, 2023Copyright date: �2022Online access: Click to View Availability: No items available.

Manufacturing Driving Circular Economy : Proceedings of the 18th Global Conference on Sustainable Manufacturing, October 5-7, 2022, Berlin.

by Kohl, Holger | Seliger, G�unther | Dietrich, Franz.

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, 2023Copyright date: �2023Online access: Click to View Availability: No items available.

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I.

by Sankaranarayanan, Sriram | Sharygina, Natasha.

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, 2023Copyright date: �2023Online access: Click to View Availability: No items available.

Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings.

by Kupferman, Orna | Sobocinski, Pawel.

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, 2023Copyright date: �2023Online access: Click to View Availability: No items available.

Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings.

by Lambers, Leen | Uchitel, Sebasti�an.

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, 2023Copyright date: �2023Online access: Click to View Availability: No items available.

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II.

by Sankaranarayanan, Sriram | Sharygina, Natasha.

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, 2023Copyright date: �2023Online access: Click to View Availability: No items available.

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings.

by Wies, Thomas.

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, 2023Copyright date: �2023Online access: Click to View Availability: No items available.

BUiD Doctoral Research Conference 2022 : Multidisciplinary Studies.

by Al Marri, Khalid | Mir, Farzana | David, Solomon | Aljuboori, Aos.

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

Ethics and Responsible Research and Innovation in Practice : The ETHNA System Project.

by Gonz�alez-Esteban, Elsa | Feenstra, Ram�on A | Camarinha-Matos, Luis 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, 2023Copyright date: {copy}2023Online access: Click to View Availability: No items available.

Nanotechnology in Construction for Circular Economy : Proceedings of NICOM7, 31 October-02 November, 2022, Melbourne, Australia.

by Duan, Wenhui | Zhang, Lihai | Shah, Surendra P.

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

Digital Interaction and Machine Intelligence : Proceedings of MIDI'2022 - 10th Machine Intelligence and Digital Interaction - Conference, December 12-15, 2022, Warsaw, Poland (Online).

by Biele, Cezary | Kacprzyk, Janusz | Kopeć, Wies�aw | Owsiński, Jan W | Romanowski, Andrzej | Sikorski, Marcin.

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, 2023Copyright date: �2023Online access: Click to View Availability: No items available.

3D Research Challenges in Cultural Heritage III : Complexity and Quality in Digitisation.

by Ioannides, Marinos | Patias, Petros.

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, 2023Copyright date: �2023Online access: Click to View Availability: No items available.

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II.

by Enea, Constantin | Lal, Akash.

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

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III.

by Enea, Constantin | Lal, Akash.

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

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I.

by Enea, Constantin | Lal, Akash.

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

Proceedings of the 9th 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, 2023Copyright date: �2023Online access: Click to View Availability: No items available.

3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023).

by Ihlenfeldt, Steffen.

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

New Metropolitan Perspectives : Transition with Resilience for Evolutionary Development.

by Bevilacqua, Carmelina | Balland, Pierre-Alexandre | Kakderi, Christina | Provenzano, Vincenzo.

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, 2023Copyright date: �2023Online access: Click to View Availability: No items available.

Proceedings of the 2nd International Conference on Innovative Solutions in Hydropower Engineering and Civil Engineering.

by Wang, Shuren | Li, Jingan | Hu, Kui | Bao, Xingxian.

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

Pages