Ergebnisse filtern
Fachgebiet
Medium
  • 1150
  • 346
Erscheinungsjahr
  • 6
  • 80
  • 94
  • 96
  • 95
  • 86
  • 90
  • 95
  • 98
  • 100
  • 113
  • 103
  • 111
  • 68
  • 65
  • 68
  • 59
  • 69
Autoren
  • 1
  • 4
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 2
  • 1
  • 1
  • 9
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 48
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 10
  • 2
  • 3
  • 10
  • 3
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 7
  • 2
  • 2
  • 2
  • 6
  • 5
  • 4
  • 3
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 6
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 3
  • 3
  • 3
  • 6
  • 6
  • 9
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 5
  • 2
  • 3
  • 18
  • 17
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 5
  • 7
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 5
  • 6
  • 2
  • 3
  • 2
  • 3
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 10
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 12
  • 2
  • 8
  • 2
  • 54
  • 5
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 5
  • 2
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 3
  • 5
  • 3
  • 7
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 5
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 11
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 11
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 10
  • 3
  • 3
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 19
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 6
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 16
  • 2
  • 12
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 5
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 13
  • 2
  • 2
  • 10
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 6
  • 3
  • 2
  • 4
  • 5
  • 2
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 15
  • 2
  • 6
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 41
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 49
  • 2
  • 5
  • 4
  • 4
  • 3
  • 6
  • 2
  • 2
  • 3
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 10
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 9
  • 5
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 9
  • 2
  • 7
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 2
  • 8
  • 15
  • 13
  • 3
  • 6
  • 11
  • 2
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 2
  • 2
  • 17
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 8
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 12
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 10
  • 15
  • 6
  • 3
  • 2
  • 9
  • 13
  • 2
  • 13
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 11
  • 2
  • 53
  • 2
  • 3
  • 17
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 11
  • 12
  • 12
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 10
  • 4
  • 4
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 10
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 6
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
Verlag
  • 1308
  • 175
  • 1
  • 2
  • 10
Preis
  • 68
  • 1228
  • 200
Sprachen
  • 1496
Verfügbarkeit
  • 1496
Katalog
  • 1496
  • 16
1.496  Treffer  für „Theoretical Computer Science and General Issues“
    Duncan / Symvonis | Graph Drawing | Buch | Sack Fachmedien

    Duncan / Symvonis Graph Drawing

    22nd International Symposium, GD 2014, Würzburg, Germany, September 24-26, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45802-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aguilera / Querzoni / Shapiro | Principles of Distributed Systems | Buch | Sack Fachmedien

    Aguilera / Querzoni / Shapiro Principles of Distributed Systems

    18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-319-14471-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lin / Zhang / Pang | Information Retrieval | Buch | Sack Fachmedien

    Lin / Zhang / Pang Information Retrieval

    27th China Conference, CCIR 2021, Dalian, China, October 29-31, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-88188-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gavoille / Ilcinkas | Distributed Computing | Buch | Sack Fachmedien

    Gavoille / Ilcinkas Distributed Computing

    30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-53425-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joshi / Siegle / Stoelinga | Quantitative Evaluation of Systems | Buch | Sack Fachmedien

    Joshi / Siegle / Stoelinga Quantitative Evaluation of Systems

    10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40195-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeannot / Namyst / Roman | Euro-Par 2011 Parallel Processing | Buch | Sack Fachmedien

    Jeannot / Namyst / Roman Euro-Par 2011 Parallel Processing

    17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23396-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    van der Pol / Weber | Model Checking Software | Buch | Sack Fachmedien

    van der Pol / Weber Model Checking Software

    17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16163-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caragiannis / Alexander / Badia | Euro-Par 2012: Parallel Processing Workshops | Buch | Sack Fachmedien

    Caragiannis / Alexander / Badia 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
    Loidl / Peña | Trends in Functional Programming | eBook | Sack Fachmedien
    E-Book

    Loidl / Peña Trends in Functional Programming

    13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40447-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dolev / Oltean | Optical Supercomputing | eBook | Sack Fachmedien
    E-Book

    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
    Cheng / Leung / Ozawa | Neural Information Processing | Buch | Sack Fachmedien

    Cheng / Leung / Ozawa Neural Information Processing

    25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part V
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-04220-2
    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
    Tempesti / Tyrrell / Miller | Evolvable Systems: From Biology to Hardware | eBook | Sack Fachmedien
    E-Book

    Tempesti / Tyrrell / Miller Evolvable Systems: From Biology to Hardware

    9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-15323-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | eBook | Sack Fachmedien
    E-Book

    Malyshkin Parallel Computing Technologies

    15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-25636-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    78,10 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Pach | Graph Drawing | Buch | Sack Fachmedien

    Pach Graph Drawing

    12th International Symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24528-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bello / Edwards | Biomedical Simulation | Buch | Sack Fachmedien

    Bello / Edwards Biomedical Simulation

    4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70520-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cotta / Cowling | Evolutionary Computation in Combinatorial Optimization | Buch | Sack Fachmedien

    Cotta / Cowling Evolutionary Computation in Combinatorial Optimization

    9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01008-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fonseca / Gandibleux / Hao | Evolutionary Multi-Criterion Optimization | Buch | Sack Fachmedien

    Fonseca / Gandibleux / Hao Evolutionary Multi-Criterion Optimization

    5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01019-4
    Medium: Buch
    106,99 € (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
    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
    Jacob / Pilat / Bentley | Artificial Immune Systems | Buch | Sack Fachmedien

    Jacob / Pilat / Bentley Artificial Immune Systems

    4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28175-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amblard / de Groote / Pogodalla | Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) | eBook | Sack Fachmedien
    E-Book

    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
    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
    Kaufmann / Paulson | Interactive Theorem Proving | eBook | Sack Fachmedien
    E-Book

    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
    Abadi / de Alfaro | CONCUR 2005 - Concurrency Theory | Buch | Sack Fachmedien

    Abadi / de Alfaro CONCUR 2005 - Concurrency Theory

    16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28309-6
    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