Your search returned 20 results.

Not what you expected? Check for suggestions
Sort
Results
Dragon Machine Language for the Absolute Beginner.

by Reyden, John.

Series: Retro Reproductions SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Luton, Bedfordshire : Andrews UK Ltd., 2022Copyright date: �2022Online access: Click to View Availability: No items available.

The Essence of Software Engineering.

by Gruhn, Volker | Striemer, R�udiger.

Edition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2018Copyright date: �2018Online 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.

Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings.

by Pientka, Brigitte | Tinelli, Cesare.

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.

Informatics and Technology in Clinical Care and Public Health.

by Mantas, J | Hasman, A | Househ, M. S.

Series: Studies in Health Technology and Informatics SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam : IOS Press, Incorporated, 2022Copyright date: �2022Online access: Click to View Availability: No items available.

Parallel science and engineering applications : the Charm++ approach / edited by Laxmikant V. Kale, Abhinav Bhatele.

by Kale, Laxmikant V [editor.] | Bhatele, Abhinav [editor.].

Series: Series in computational physicsMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Boca Raton : CRC Press, [2014]Copyright date: 2014Other title: Charm++ approach.Online access: Click to View Availability: No items available.

The Future Internet : Future Internet Assembly 2011: Achievements and Technological Promises.

by Domingue, John | Galis, Alex | Gavras, Anastasius | Zahariadis, Theodore | Lambert, Dave | Cleary, Frances | Daras, Petros | Krco, Srdjan | M�uller, Henning | Li, Man-Sze.

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

Primer on Large-Scale Assessments of Educational Achievement.

by Clarke, Marguerite | Luna-Bazaldua, Diego.

Series: National Assessments of Educational Achievement SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Washington, D. C. : World Bank Publications, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

Diversity and Inclusion in Global Higher Education : Lessons from Across Asia.

by Sanger, Catherine Shea | Gleason, Nancy W.

Edition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Singapore : Springer Singapore Pte. Limited, 2020Copyright date: �2020Online access: Click to View Availability: No items available.

Intel Galileo and Intel Galileo Gen 2 : API Features and Arduino Projects for Linux Programmers.

by Ramon, Manoel.

Edition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berkeley, CA : Apress L. P., 2014Copyright date: �2014Online access: Click to View Availability: No items available.

The Palgrave Handbook of Positive Education.

by Kern, Margaret L | Wehmeyer, Michael L.

Edition: 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.

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.

Cultural Convergence : The Dublin Gate Theatre, 1928-1960.

by Piln�y, Ondřej | van den Beuken, Ruud | Walsh, Ian R.

Edition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2020Copyright date: {copy}2021Online 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.

Mobilities of Knowledge.

by J�ons, Heike | Meusburger, Peter | Heffernan, Michael.

Series: Knowledge and Space SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2017Copyright date: {copy}2017Online access: Click to View Availability: No items available.

Knowledge and Civil Society.

by Gl�uckler, Johannes | Meyer, Heinz-Dieter | Suarsana, Laura.

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

Reliability and Validity of International Large-Scale Assessment : Understanding IEA's Comparative Studies of Student Achievement.

by Wagemaker, Hans.

Series: IEA Research for Education 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.

Resilience and Food Security in a Food Systems Context.

by B�en�e, Christophe | Devereux, Stephen.

Series: Palgrave Studies in Agricultural Economics and Food Policy 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.

Pages