Fachgebiet
Medium
  • 4670
  • 4
Erscheinungsjahr
  • 81
  • 367
  • 385
  • 317
  • 296
  • 253
  • 241
  • 246
  • 241
  • 233
  • 224
  • 207
  • 229
  • 256
  • 234
  • 197
  • 153
  • 29
  • 34
  • 36
  • 30
  • 17
  • 87
  • 273
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 3
  • 7
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 17
  • 11
  • 2
  • 2
  • 15
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 9
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 5
  • 7
  • 2
  • 3
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 7
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 7
  • 2
  • 4
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 6
  • 4
  • 2
  • 3
  • 2
  • 2
  • 7
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 3
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 6
  • 11
  • 4
  • 2
  • 5
  • 5
  • 2
  • 2
  • 5
  • 5
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 10
  • 4
  • 2
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 4
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 3
  • 4
  • 5
  • 2
  • 4
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 10
  • 7
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 10
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 10
  • 5
  • 2
  • 2
  • 5
  • 7
  • 4
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 4
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 8
  • 19
  • 4
  • 3
  • 8
  • 4
  • 4
  • 3
  • 6
  • 7
  • 3
  • 3
  • 9
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 10
  • 8
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 9
  • 3
  • 3
  • 7
  • 24
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 4
  • 3
  • 4
  • 11
  • 3
  • 13
  • 4
  • 5
  • 3
  • 8
  • 8
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 7
  • 8
  • 3
  • 3
  • 6
  • 6
  • 6
  • 3
  • 3
  • 3
  • 3
  • 23
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 3
  • 4
  • 5
  • 13
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 9
  • 3
  • 4
  • 3
  • 7
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 7
  • 13
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 5
  • 9
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 5
  • 5
  • 3
  • 10
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 11
  • 3
  • 13
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 5
  • 4
  • 3
  • 26
  • 26
  • 7
  • 4
  • 6
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 9
  • 3
  • 5
  • 4
  • 4
  • 7
  • 5
  • 4
  • 5
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 4
  • 19
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 7
  • 4
  • 4
  • 4
  • 3
  • 3
  • 9
  • 3
  • 8
  • 4
  • 6
  • 4
  • 10
  • 4
  • 5
  • 12
  • 17
  • 4
  • 9
  • 6
  • 4
  • 5
  • 7
  • 4
  • 3
  • 6
  • 3
  • 6
  • 17
  • 3
  • 3
  • 22
  • 4
  • 3
  • 4
  • 16
  • 3
  • 4
  • 12
  • 4
  • 3
  • 4
  • 4
  • 13
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 5
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 4
  • 5
  • 3
  • 4
  • 5
  • 4
  • 25
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 26
  • 8
  • 25
  • 3
  • 5
  • 4
  • 12
  • 25
  • 6
  • 6
  • 3
  • 3
  • 3
  • 4
  • 5
  • 5
  • 4
  • 6
  • 4
  • 3
  • 4
  • 6
  • 3
  • 6
  • 4
  • 4
  • 29
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 6
  • 14
  • 5
  • 3
  • 4
  • 7
  • 6
  • 6
  • 3
  • 17
  • 6
  • 4
  • 6
  • 3
  • 4
  • 3
  • 5
  • 5
  • 5
  • 25
  • 5
  • 6
  • 7
  • 5
  • 6
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 8
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 11
  • 3
  • 4
  • 12
  • 5
  • 3
  • 4
  • 3
  • 9
  • 3
  • 3
  • 3
  • 6
  • 8
  • 4
  • 5
  • 6
  • 4
  • 5
  • 4
Verlag
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1357
  • 11
  • 2679
  • 25
  • 24
  • 6
  • 1
  • 1
  • 417
  • 1
  • 125
  • 5
  • 4
Preis
  • 3
  • 187
  • 3813
  • 671
Sprachen
  • 4674
Verfügbarkeit
  • 4670
  • 4
Eigenschaften
  • 21
Katalog
  • 4674
4.674  Treffer  für „Computer Science“


    Ortiz Bas / Franco / Gómez Gasquet Balanced Automation Systems for Future Manufacturing Networks

    9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-14341-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Kim / Adeli / Ramos Signal Processing, Image Processing and Pattern Recognition

    International Conferences, SIP 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-27183-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Gram / Rasmussen / Østergaard History of Nordic Computing 4

    4th IFIP WG 9.7 Conference, HiNC 4, Copenhagen, Denmark, August 13-15, 2014, Revised Selected Papers
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-17145-6
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Artho / Ölveczky Formal Techniques for Safety-Critical Systems

    Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-17581-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Hernandez / Barrios Hernandez / Díaz High Performance Computing

    First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45483-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Vadakkepat / Kim / Jesse Trends in Intelligent Robotics

    15th Robot World Cup and Congress, FIRA 2010, Bangalore, India, September15-19, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-15810-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Papadopoulos / Andreou / Bramer Artificial Intelligence Applications and Innovations

    6th IFIP WG 12.5 International Conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-16239-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Mir / Tsui / Reis VLSI-SoC: The Advanced Research for Systems on Chip

    19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-32770-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Laurent / Strauss / Bouchon-Meunier Information Processing and Management of Uncertainty

    15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08855-6
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Emmanouilidis / Taisch / Kiritsis Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services

    IFIP WG 5.7 International Conference, APMS 2012, Rhodes, Greece, September 24-26, 2012, Revised Selected Papers, Part I
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40352-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Dua / Gangopadhyay / Thulasiraman Information Systems, Technology and Management

    6th International Conference, ICISTM 2012, Grenoble, France, March 28-30. Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-29166-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Gao / Li / Zhuang Connectivity and Edge Computing in IoT: Customized Designs and AI-based Solutions

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-88743-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    128,39 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Schwabe / Thériault Progress in Cryptology – LATINCRYPT 2019

    6th International Conference on Cryptology and Information Security in Latin America, Santiago de Chile, Chile, October 2–4, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-30530-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Balke / Golub / Manolopoulos Linking Theory and Practice of Digital Libraries

    29th International Conference on Theory and Practice of Digital Libraries, TPDL 2025, Tampere, Finland, September 23–26, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-032-05409-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    160,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Mann / Zhang / Kather Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in Breast Care

    First Deep Breast Workshop, Deep-Breath 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-031-77789-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    60,98 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Ko / Ko / Buccafurri Electronic Government and the Information Systems Perspective

    14th International Conference, EGOVIS 2025, Bangkok, Thailand, August 25–27, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-032-02225-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    60,98 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Rivain / Sasdrich Constructive Approaches for Security Analysis and Design of Embedded Systems

    First International Conference, CASCADE 2025, Saint-Etienne, France, April 2–4, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-032-01405-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    78,10 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Nürnberg Metainformatics

    International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-44872-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Jaedicke New Concepts for Parallel Object-Relational Query Processing

    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-45507-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Böhlen / Jensen / Scholl Spatio-Temporal Database Management

    International Workshop STDBM'99 Edinburgh, Scotland, September 10-11, 1999 Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-48344-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Sendrier Post-Quantum Cryptography

    Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-12929-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Vitek Objects, Models, Components, Patterns

    48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-13953-6
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Liu / Cheung / Yin Intelligent Data Engineering and Automated Learning

    4th International Conference, IDEAL 2003 Hong Kong, China, March 21–23, 2003 Revised Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-45080-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Osipov / Kassler / Bohnert Wired/Wireless Internet Communications

    8th International Conference, WWIC 2010, Lulea, Sweden, June 1-3, 2010. Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-13315-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Callaghan / Luo / McKinna Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-45842-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular