Ergebnisse filtern
Fachgebiet
Medium
  • 1214
  • 726
Erscheinungsjahr
  • 10
  • 86
  • 91
  • 109
  • 107
  • 96
  • 99
  • 104
  • 107
  • 116
  • 122
  • 103
  • 116
  • 134
  • 123
  • 150
  • 129
  • 137
  • 1
Autoren
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 2
  • 7
  • 2
  • 9
  • 2
  • 6
  • 7
  • 3
  • 4
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 54
  • 3
  • 6
  • 4
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 4
  • 2
  • 4
  • 6
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 6
  • 3
  • 5
  • 2
  • 2
  • 4
  • 10
  • 2
  • 2
  • 2
  • 11
  • 2
  • 4
  • 17
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 5
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 8
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 5
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 7
  • 2
  • 8
  • 5
  • 2
  • 5
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 7
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 8
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 7
  • 2
  • 9
  • 2
  • 8
  • 5
  • 5
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 6
  • 37
  • 11
  • 10
  • 2
  • 6
  • 4
  • 2
  • 13
  • 4
  • 10
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 3
  • 2
  • 5
  • 6
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 6
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 5
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 11
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 11
  • 2
  • 4
  • 18
  • 2
  • 8
  • 2
  • 69
  • 6
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 8
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 4
  • 5
  • 2
  • 11
  • 2
  • 10
  • 3
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 14
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 6
  • 5
  • 7
  • 15
  • 4
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 7
  • 2
  • 3
  • 2
  • 13
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 4
  • 5
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 3
  • 7
  • 14
  • 4
  • 4
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 10
  • 6
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 13
  • 2
  • 3
  • 2
  • 5
  • 7
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 8
  • 5
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 7
  • 2
  • 2
  • 14
  • 2
  • 5
  • 4
  • 5
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 16
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 3
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 7
  • 5
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 4
  • 43
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 12
  • 57
  • 4
  • 3
  • 6
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 8
  • 7
  • 4
  • 4
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 4
  • 3
  • 4
  • 5
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 11
  • 5
  • 3
  • 8
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 7
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 8
  • 4
  • 11
  • 17
  • 10
  • 4
  • 3
  • 8
  • 7
  • 4
  • 3
  • 7
  • 6
  • 23
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 3
  • 16
  • 7
  • 4
  • 6
  • 4
  • 3
  • 3
  • 6
  • 6
  • 7
  • 9
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 8
  • 14
  • 3
  • 3
  • 3
  • 5
  • 16
  • 19
  • 3
  • 3
  • 6
  • 17
  • 17
  • 3
  • 7
  • 3
  • 12
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 13
  • 66
  • 4
  • 23
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 17
  • 11
  • 14
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 5
  • 7
  • 5
  • 3
  • 3
  • 3
  • 4
  • 10
  • 11
  • 6
  • 6
  • 3
  • 4
  • 4
  • 9
  • 5
  • 5
  • 3
  • 4
  • 16
  • 5
  • 3
  • 8
  • 7
  • 3
  • 5
  • 4
  • 4
  • 7
  • 6
  • 6
  • 4
  • 3
  • 5
  • 3
  • 3
  • 17
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 10
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 4
  • 3
  • 6
  • 9
  • 7
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
Verlag
  • 1709
  • 1
  • 213
  • 9
  • 8
Preis
  • 71
  • 1610
  • 259
Sprachen
  • 1940
Verfügbarkeit
  • 1936
  • 4
Katalog
  • 1940
  • 17
1.940  Treffer  für „Theoretical Computer Science and General Issues“
    Tan / Shi / Tang | Advances in Swarm Intelligence | Buch | Sack Fachmedien

    Tan / Shi / Tang Advances in Swarm Intelligence

    9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-93817-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hospodár / Jirásková / Konstantinidis | Descriptional Complexity of Formal Systems | Buch | Sack Fachmedien

    Hospodár / Jirásková / Konstantinidis Descriptional Complexity of Formal Systems

    21st IFIP WG 1.02 International Conference, DCFS 2019, Ko¿ice, Slovakia, July 17-19, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-23246-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palka / Palka / Myreen | Trends in Functional Programming | Buch | Sack Fachmedien

    Palka / Palka / Myreen Trends in Functional Programming

    19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-18505-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Naumann | Unifying Theories of Programming | Buch | Sack Fachmedien

    Naumann Unifying Theories of Programming

    5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-14805-2
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller-Olm / Seidl | Static Analysis | Buch | Sack Fachmedien

    Müller-Olm / Seidl Static Analysis

    21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10935-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dorigo / Birattari / Li | Swarm Intelligence | Buch | Sack Fachmedien

    Dorigo / Birattari / Li Swarm Intelligence

    10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-44426-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lutton / Legrand / Parrend | Artificial Evolution | Buch | Sack Fachmedien

    Lutton / Legrand / Parrend Artificial Evolution

    13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25-27, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-78132-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | Buch | Sack Fachmedien

    Malyshkin Parallel Computing Technologies

    10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03274-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esparcia-Alcazar / Ekart / Silva | Genetic Programming | Buch | Sack Fachmedien

    Esparcia-Alcazar / Ekart / Silva Genetic Programming

    13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12147-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caragiannis / Scott / Alexander | Euro-Par 2012: Parallel Processing Workshops | Buch | Sack Fachmedien

    Caragiannis / Scott / Alexander Euro-Par 2012: Parallel Processing Workshops

    BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Island, Greece, August 27-31, 2012. Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36948-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hanrot / Morain / Thomé | Algorithmic Number Theory | Buch | Sack Fachmedien

    Hanrot / Morain / Thomé Algorithmic Number Theory

    9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14517-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartz-Beielstein / Blesa / Blum | Hybrid Metaheuristics | Buch | Sack Fachmedien

    Bartz-Beielstein / Blesa / Blum Hybrid Metaheuristics

    4th International Workshop,HM 2007, Dortmund, Germany, October 8-9, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75513-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Monmarché / Talbi / Collet | Artificial Evolution | Buch | Sack Fachmedien

    Monmarché / Talbi / Collet Artificial Evolution

    8th International Conference, Evolution Artificielle, EA 2007 Tours, France, October 29-31, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79304-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coello Coello / Hernández Aguirre / Zitzler | Evolutionary Multi-Criterion Optimization | Buch | Sack Fachmedien

    Coello Coello / Hernández Aguirre / Zitzler Evolutionary Multi-Criterion Optimization

    Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24983-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Victor | Parallel Computing Technologies | Buch | Sack Fachmedien

    Victor Parallel Computing Technologies

    8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28126-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tekinerdogan / Wang / Zhang | Internet of Things - ICIOT 2021 | Buch | Sack Fachmedien

    Tekinerdogan / Wang / Zhang Internet of Things - ICIOT 2021

    6th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-96067-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diamantaras / Duch / Iliadis | Artificial Neural Networks - ICANN 2010 | Buch | Sack Fachmedien

    Diamantaras / Duch / Iliadis Artificial Neural Networks - ICANN 2010

    20th International Conference, Thessaloniki, Greece, Septmeber 15-18, 2020, Proceedings, Part II
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15821-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dunne / Stoddart | Unifying Theories of Programming | Buch | Sack Fachmedien

    Dunne / Stoddart Unifying Theories of Programming

    First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34750-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jiao / Wang / Gao | Advances in Natural Computation | Buch | Sack Fachmedien

    Jiao / Wang / Gao Advances in Natural Computation

    Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006, Proceedings, Part II
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45907-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Owens | Trends in Functional Programming | Buch | Sack Fachmedien

    Wang / Owens Trends in Functional Programming

    18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-89718-9
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dunne / Stoddart | Unifying Theories of Programming | eBook | Sack Fachmedien
    E-Book

    Dunne / Stoddart Unifying Theories of Programming

    First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
    2006
    Verlag: Springer
    ISBN: 978-3-540-34752-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Shvartsman | Principles of Distributed Systems | eBook | Sack Fachmedien
    E-Book

    Shvartsman Principles of Distributed Systems

    10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-49991-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Valmari | Model Checking Software | eBook | Sack Fachmedien
    E-Book

    Valmari Model Checking Software

    13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-33103-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hurd / Melham | Theorem Proving in Higher Order Logics | eBook | Sack Fachmedien
    E-Book

    Hurd / Melham Theorem Proving in Higher Order Logics

    18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-31820-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Vene / Uustalu | Advanced Functional Programming | eBook | Sack Fachmedien
    E-Book

    Vene / Uustalu Advanced Functional Programming

    5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
    2005
    Verlag: Springer
    ISBN: 978-3-540-31872-9
    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