Your search returned 24 results.

Not what you expected? Check for suggestions
Sort
Results
Smart Intelligent Computing and Communication Technology.

by Ambeth Kumar, V. D | Malathi, S | Balas, V. E.

Series: Advances in Parallel Computing SeriesEdition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam : IOS Press, Incorporated, 2021Copyright date: �2021Online access: Click to View Availability: No items available.

Handbook on soft computing for video surveillance [electronic resource] / edited by Sankar K. Pal, Alfredo Petrosino, Lucia Maddalena.

by Pal, Sankar K | Petrosino, Alfredo | Maddalena, Lucia | ProQuest (Firm).

Series: Chapman & Hall/CRC cryptography and network securityMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Boca Raton : CRC Press, 2012Online access: Click to View Availability: No items available.

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I.

by Groote, Jan Friso | Larsen, Kim Guldstrand.

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.

Writing effective business rules a practical method Graham Witt.

by Witt, Graham C.

Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Waltham, Mass. Morgan Kaufmann/Elsevier, c Availability: Items available for loan: UNIMY (1) Call number: QA76.5913 .W58 2012.

Museums in a digital age [electronic resource] / edited by Ross Parry.

by Parry, Ross | ProQuest (Firm).

Series: Leicester readers in museum studiesMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: London ; New York : Routledge, 2010Online access: Click to View Availability: No items available.

Dynamics in Logistics : Twenty-Five Years of Interdisciplinary Logistics Research in Bremen, Germany.

by Freitag, Michael | Kotzab, Herbert | Megow, Nicole.

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.

Designing Data Spaces : The Ecosystem Approach to Competitive Advantage.

by Otto, Boris | ten Hompel, Michael | Wrobel, Stefan.

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

Visions of DNA Nanotechnology at 40 for the Next 40 : A Tribute to Nadrian C. Seeman.

by Jonoska, Natasa | Winfree, Erik.

Series: Natural Computing 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.

Dependable Embedded Systems.

by Henkel, J�org | Dutt, Nikil.

Series: Embedded Systems SeriesEdition: 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.

The Future Internet : Future Internet Assembly 2012: from Promises to Reality.

by Alvarez, Federico | Cleary, Frances | Daras, Petros | Domingue, John | Galis, Alex | Garcia, Ana | Gavras, Anastasius | Karnourskos, Stamatis | Krco, Srdjan | 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, 2012Copyright date: �2012Online 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.

Big Data and Artificial Intelligence in Digital Finance : Increasing Personalization and Trust in Digital Finance Using Big Data and AI.

by Soldatos, John | Kyriazis, Dimosthenis.

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

Technology, Design and the Arts - Opportunities and Challenges.

by Earnshaw, Rae | Liggett, Susan | Excell, Peter | Thalmann, Daniel.

Series: Springer Series on Cultural Computing 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.

The Elements of Big Data Value : Foundations of the Research and Innovation Ecosystem.

by Curry, Edward | Metzger, Andreas | Zillner, Sonja | Pazzaglia, Jean-Christophe | Garc�ia Robles, Ana.

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.

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.

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II.

by Groote, Jan Friso | Larsen, Kim Guldstrand.

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.

Manual of Digital Earth.

by Guo, Huadong | Goodchild, Michael F | Annoni, Alessandro.

Edition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Singapore : Springer Singapore Pte. Limited, 2019Copyright date: �2020Online 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.

The Future Internet : Future Internet Assembly 2013: Validated Results and New Horizons.

by Galis, Alex | Gavras, Anastasius.

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, 2013Copyright date: �2013Online 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.

Pages