Fachgebiet
Medium
  • 1172
  • 1142
Erscheinungsjahr
  • 10
  • 111
  • 138
  • 142
  • 158
  • 117
  • 134
  • 146
  • 144
  • 155
  • 154
  • 132
  • 141
  • 127
  • 130
  • 110
  • 125
  • 139
  • 1
Autoren
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 9
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 15
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 74
  • 2
  • 3
  • 2
  • 2
  • 5
  • 8
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 4
  • 17
  • 4
  • 2
  • 15
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 9
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 5
  • 3
  • 6
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 7
  • 2
  • 5
  • 2
  • 4
  • 6
  • 3
  • 3
  • 2
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 8
  • 3
  • 12
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 13
  • 4
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 11
  • 3
  • 2
  • 13
  • 10
  • 2
  • 2
  • 6
  • 2
  • 3
  • 4
  • 4
  • 10
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 4
  • 6
  • 3
  • 2
  • 7
  • 2
  • 2
  • 4
  • 3
  • 34
  • 14
  • 8
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 2
  • 2
  • 10
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 4
  • 8
  • 5
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 6
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 8
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 11
  • 7
  • 5
  • 3
  • 2
  • 2
  • 3
  • 4
  • 7
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 17
  • 9
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 25
  • 3
  • 8
  • 3
  • 88
  • 4
  • 4
  • 6
  • 5
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 11
  • 5
  • 6
  • 5
  • 4
  • 5
  • 4
  • 3
  • 8
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 7
  • 3
  • 4
  • 4
  • 6
  • 11
  • 3
  • 13
  • 3
  • 8
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 11
  • 3
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 15
  • 4
  • 3
  • 4
  • 8
  • 3
  • 8
  • 17
  • 6
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 3
  • 8
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 6
  • 3
  • 5
  • 6
  • 3
  • 8
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 18
  • 4
  • 4
  • 11
  • 6
  • 5
  • 6
  • 4
  • 8
  • 6
  • 5
  • 8
  • 14
  • 5
  • 3
  • 3
  • 5
  • 9
  • 4
  • 6
  • 10
  • 10
  • 4
  • 6
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 11
  • 5
  • 5
  • 4
  • 7
  • 7
  • 3
  • 4
  • 3
  • 4
  • 7
  • 4
  • 5
  • 5
  • 3
  • 4
  • 4
  • 3
  • 4
  • 7
  • 14
  • 3
  • 5
  • 8
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 3
  • 7
  • 10
  • 5
  • 7
  • 3
  • 3
  • 8
  • 5
  • 9
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 6
  • 3
  • 5
  • 4
  • 20
  • 6
  • 3
  • 6
  • 3
  • 19
  • 4
  • 4
  • 8
  • 7
  • 9
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 63
  • 4
  • 3
  • 4
  • 6
  • 3
  • 5
  • 4
  • 3
  • 5
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 12
  • 74
  • 3
  • 3
  • 5
  • 3
  • 5
  • 8
  • 7
  • 9
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 6
  • 4
  • 4
  • 4
  • 4
  • 3
  • 13
  • 5
  • 4
  • 4
  • 4
  • 3
  • 7
  • 6
  • 9
  • 6
  • 5
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 8
  • 5
  • 4
  • 3
  • 3
  • 4
  • 6
  • 4
  • 4
  • 13
  • 8
  • 3
  • 5
  • 3
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 10
  • 4
  • 3
  • 8
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 5
  • 8
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 12
  • 4
  • 5
  • 16
  • 28
  • 12
  • 3
  • 5
  • 3
  • 15
  • 8
  • 3
  • 4
  • 3
  • 6
  • 3
  • 21
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 8
  • 3
  • 13
  • 3
  • 8
  • 6
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 8
  • 4
  • 8
  • 5
  • 9
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 22
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 5
  • 20
  • 7
  • 4
  • 3
  • 4
  • 11
  • 27
  • 22
  • 3
  • 3
  • 5
  • 4
  • 3
  • 10
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 4
  • 21
  • 3
  • 85
  • 5
  • 31
  • 3
  • 5
  • 3
  • 4
  • 6
  • 4
  • 4
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 20
  • 19
  • 19
  • 3
  • 3
  • 11
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 10
  • 10
  • 6
  • 6
  • 4
  • 5
  • 5
  • 4
  • 4
  • 9
  • 4
  • 5
  • 7
  • 3
  • 3
  • 3
  • 15
  • 8
  • 10
  • 3
  • 4
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 7
  • 6
  • 5
  • 3
  • 7
  • 3
  • 17
  • 4
  • 5
  • 3
  • 3
  • 3
  • 5
  • 13
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 7
  • 3
  • 5
  • 11
  • 4
  • 7
  • 6
  • 6
  • 5
  • 7
  • 3
  • 3
  • 3
  • 5
  • 4
  • 6
  • 3
  • 4
  • 3
Verlag
  • 1135
  • 174
  • 962
  • 35
  • 8
Preis
  • 99
  • 1970
  • 245
Sprachen
  • 2314
Verfügbarkeit
  • 2310
  • 4
Katalog
  • 2314
  • 16
2.314  Treffer  für „Theoretical Computer Science and General Issues“


    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

    Taubenfeld Distributed Computing

    22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-87778-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb

    Cheng / Leung / Ozawa Neural Information Processing

    25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-04167-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Hart / McEwan / Timmis Artificial Immune Systems

    9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-14546-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb

    Trautmann / Rudolph / Klamroth Evolutionary Multi-Criterion Optimization

    9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-54156-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    de Barros / Coecke / Pothos Quantum Interaction

    10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-52289-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Amblard / de Groote / Pogodalla Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)

    9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-53826-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Lirkov / Margenov Large-Scale Scientific Computing

    11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-73441-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Manna / Peled Time for Verification

    Essays in Memory of Amir Pnueli
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-13754-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Dolev / Oltean Optical Supercomputing

    4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-38250-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Erdem / Lee / Lierler Correct Reasoning

    Essays on Logic-Based AI in Honour of Vladimir Lifschitz
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-30743-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Kaufmann / Paulson Interactive Theorem Proving

    First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-14052-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Abdelzaher / Raynal / Santoro Principles of Distributed Systems

    13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-10877-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    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

    Grandinetti / Lippert / Petkov Brain-Inspired Computing

    International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-12084-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Cirne / Desai Job Scheduling Strategies for Parallel Processing

    18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15789-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    42,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Ramakrishnan / Bartocci Model Checking Software

    20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39175-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Castillo / Jiménez Laredo / Fernández de Vega Applications of Evolutionary Computation

    23rd European Conference, EvoApplications 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-43722-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Zarges / Verel Evolutionary Computation in Combinatorial Optimization

    21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-72904-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Almeida / Blesa Aguilera / Blum Hybrid Metaheuristics

    Third International Workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-46384-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Page / Horvath / Zsók Trends in Functional Programming

    11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22940-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lutton / Legrand / Schoenauer Artificial Evolution

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

    Oltean / Dolev Optical Supercomputing

    4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-38249-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gottlieb / Raidl Evolutionary Computation in Combinatorial Optimization

    5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25337-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Valmari Model Checking Software

    13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33102-5
    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