Ergebnisse filtern
Fachgebiet
Medium
  • 1207
  • 686
Erscheinungsjahr
  • 10
  • 84
  • 95
  • 110
  • 106
  • 94
  • 99
  • 94
  • 104
  • 121
  • 106
  • 98
  • 111
  • 131
  • 120
  • 146
  • 133
  • 130
  • 1
Autoren
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 7
  • 2
  • 6
  • 2
  • 9
  • 2
  • 6
  • 5
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 47
  • 2
  • 6
  • 4
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 5
  • 2
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 6
  • 3
  • 4
  • 4
  • 7
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 6
  • 18
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 8
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 6
  • 3
  • 7
  • 5
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 6
  • 7
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 3
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 3
  • 6
  • 2
  • 7
  • 2
  • 8
  • 6
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 5
  • 2
  • 2
  • 6
  • 38
  • 14
  • 7
  • 2
  • 2
  • 3
  • 4
  • 2
  • 12
  • 4
  • 9
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 5
  • 8
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 8
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 6
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 12
  • 5
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 3
  • 16
  • 2
  • 12
  • 63
  • 3
  • 11
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 5
  • 5
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 3
  • 4
  • 5
  • 9
  • 3
  • 2
  • 9
  • 3
  • 4
  • 4
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 2
  • 5
  • 8
  • 14
  • 5
  • 4
  • 2
  • 7
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 19
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 10
  • 2
  • 3
  • 5
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 8
  • 15
  • 4
  • 4
  • 6
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 8
  • 2
  • 10
  • 5
  • 2
  • 4
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 11
  • 2
  • 3
  • 5
  • 5
  • 2
  • 3
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 6
  • 9
  • 5
  • 5
  • 2
  • 3
  • 2
  • 3
  • 3
  • 7
  • 2
  • 5
  • 2
  • 15
  • 2
  • 2
  • 5
  • 4
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 18
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 13
  • 4
  • 2
  • 10
  • 2
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 36
  • 3
  • 4
  • 6
  • 4
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 15
  • 2
  • 50
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 8
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 9
  • 6
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 5
  • 5
  • 3
  • 5
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 12
  • 11
  • 8
  • 6
  • 3
  • 7
  • 9
  • 3
  • 3
  • 8
  • 6
  • 21
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 14
  • 9
  • 5
  • 6
  • 4
  • 3
  • 8
  • 5
  • 7
  • 4
  • 6
  • 6
  • 4
  • 3
  • 11
  • 13
  • 3
  • 3
  • 3
  • 5
  • 20
  • 19
  • 3
  • 3
  • 6
  • 11
  • 18
  • 4
  • 7
  • 3
  • 9
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 12
  • 60
  • 4
  • 18
  • 4
  • 3
  • 4
  • 6
  • 5
  • 3
  • 4
  • 4
  • 5
  • 12
  • 8
  • 15
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 7
  • 7
  • 5
  • 3
  • 10
  • 16
  • 6
  • 4
  • 7
  • 4
  • 3
  • 10
  • 4
  • 3
  • 3
  • 4
  • 15
  • 4
  • 3
  • 7
  • 7
  • 3
  • 5
  • 4
  • 4
  • 8
  • 6
  • 7
  • 4
  • 3
  • 3
  • 5
  • 3
  • 15
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 9
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 4
  • 4
  • 3
  • 5
  • 4
  • 7
  • 6
  • 4
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 6
  • 5
Verlag
  • 1655
  • 11
  • 210
  • 5
  • 12
Preis
  • 67
  • 1574
  • 252
Sprachen
  • 1893
Verfügbarkeit
  • 1893
Katalog
  • 1893
  • 18
1.893  Treffer  für „Theoretical Computer Science and General Issues“
    Rahman / Fujita | WALCOM: Algorithms and Computation | eBook | Sack Fachmedien
    E-Book

    Rahman / Fujita WALCOM: Algorithms and Computation

    4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-11440-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Li / Cardei / Huang | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Li / Cardei / Huang Combinatorial Optimization and Applications

    13th International Conference, COCOA 2019, Xiamen, China, December 13-15, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-36411-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baader | Term Rewriting and Applications | Buch | Sack Fachmedien

    Baader Term Rewriting and Applications

    18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73447-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iida / Meseguer / Ogata | Specification, Algebra, and Software | eBook | Sack Fachmedien
    E-Book

    Iida / Meseguer / Ogata Specification, Algebra, and Software

    Essays Dedicated to Kokichi Futatsugi
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54624-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dimov / Fidanova / Lirkov | Numerical Methods and Applications | eBook | Sack Fachmedien
    E-Book

    Dimov / Fidanova / Lirkov Numerical Methods and Applications

    8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15585-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Tang / Chen / Bose | Network and Parallel Computing | Buch | Sack Fachmedien

    Tang / Chen / Bose Network and Parallel Computing

    16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23-24, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30708-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dick / Singh / Browne | Simulated Evolution and Learning | Buch | Sack Fachmedien

    Dick / Singh / Browne Simulated Evolution and Learning

    10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13562-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gutin / Szeider | Parameterized and Exact Computation | Buch | Sack Fachmedien

    Gutin / Szeider Parameterized and Exact Computation

    8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03897-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehne / Sack / Stege | Algorithms and Data Structures | Buch | Sack Fachmedien

    Dehne / Sack / Stege Algorithms and Data Structures

    14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21839-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akiyama / Kano / Tan | Discrete and Computational Geometry | Buch | Sack Fachmedien

    Akiyama / Kano / Tan Discrete and Computational Geometry

    Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30467-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frey / Raynal / Sarkar | Distributed Computing and Networking | Buch | Sack Fachmedien

    Frey / Raynal / Sarkar Distributed Computing and Networking

    14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35667-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baltag / Seligman / Yamada | Logic, Rationality, and Interaction | Buch | Sack Fachmedien

    Baltag / Seligman / Yamada Logic, Rationality, and Interaction

    6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-55664-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rao / Chatterjee / Jayanti | Distributed Computing and Networking | Buch | Sack Fachmedien

    Rao / Chatterjee / Jayanti Distributed Computing and Networking

    9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77443-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Saberi | Internet and Network Economics | eBook | Sack Fachmedien
    E-Book

    Saberi Internet and Network Economics

    6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-17572-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Nigam / Ban Kirigin / Talcott | Logic, Language, and Security | Buch | Sack Fachmedien

    Nigam / Ban Kirigin / Talcott Logic, Language, and Security

    Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-62076-9
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns / Palsberg | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Hermanns / Palsberg Tools and Algorithms for the Construction and Analysis of Systems

    12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33056-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Legay / Margaria | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Legay / Margaria Tools and Algorithms for the Construction and Analysis of Systems

    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-54579-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groote / Larsen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Groote / Larsen 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
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-72012-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Jüttler | Advances in Geometric Modeling and Processing | eBook | Sack Fachmedien
    E-Book

    Chen / Jüttler Advances in Geometric Modeling and Processing

    5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-79246-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lai / Wang / Jiang | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Lai / Wang / Jiang Algorithms and Architectures for Parallel Processing

    21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-95383-6
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gopal / Jäger / Steila | Theory and Applications of Models of Computation | Buch | Sack Fachmedien

    Gopal / Jäger / Steila Theory and Applications of Models of Computation

    14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-55910-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Meyer | Parallel Processing and Applied Mathematics | eBook | Sack Fachmedien
    E-Book

    Wyrzykowski / Dongarra / Meyer Parallel Processing and Applied Mathematics

    6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34142-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Miculan / Scagnetto / Honsell | Types for Proofs and Programs | eBook | Sack Fachmedien
    E-Book

    Miculan / Scagnetto / Honsell Types for Proofs and Programs

    International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
    2008
    Verlag: Springer
    ISBN: 978-3-540-68103-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Doty / Dietz | DNA Computing and Molecular Programming | Buch | Sack Fachmedien

    Doty / Dietz DNA Computing and Molecular Programming

    24th International Conference, DNA 24, Jinan, China, October 8-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00029-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amos / Condon | Unconventional Computation and Natural Computation | Buch | Sack Fachmedien

    Amos / Condon Unconventional Computation and Natural Computation

    15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41311-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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