Ergebnisse filtern
Fachgebiet
Medium
  • 1168
Erscheinungsjahr
  • 6
  • 57
  • 71
  • 73
  • 76
  • 64
  • 63
  • 71
  • 67
  • 88
  • 75
  • 62
  • 70
  • 63
  • 52
  • 73
  • 69
  • 68
Autoren
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 3
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 31
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 6
  • 3
  • 1
  • 1
  • 5
  • 1
  • 2
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 2
  • 2
  • 2
  • 3
  • 1
  • 2
  • 3
  • 2
  • 1
  • 2
  • 15
  • 11
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 3
  • 1
  • 1
  • 1
  • 2
  • 10
  • 2
  • 2
  • 6
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 5
  • 10
  • 2
  • 35
  • 4
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 14
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 11
  • 7
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 9
  • 3
  • 6
  • 4
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 4
  • 7
  • 4
  • 3
  • 5
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 10
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 26
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 31
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 8
  • 3
  • 3
  • 2
  • 5
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 10
  • 8
  • 7
  • 3
  • 3
  • 2
  • 5
  • 3
  • 3
  • 4
  • 3
  • 16
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 11
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 9
  • 12
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 9
  • 11
  • 2
  • 2
  • 4
  • 2
  • 7
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 34
  • 2
  • 12
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 9
  • 10
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 7
  • 2
  • 5
  • 7
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 8
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 4
  • 4
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
Verlag
  • 1155
  • 1
  • 12
Preis
  • 54
  • 913
  • 201
Sprachen
  • 1168
Verfügbarkeit
  • 1168
Katalog
  • 1168
  • 19
1.168  Treffer  für „Theoretical Computer Science and General Issues“
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation: Applications | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Applications

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-61466-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hebrard / Musliu | Integration of Constraint Programming, Artificial Intelligence, and Operations Research | Buch | Sack Fachmedien

    Hebrard / Musliu Integration of Constraint Programming, Artificial Intelligence, and Operations Research

    17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58941-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Verification | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Verification

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03420-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Michel | Integration of AI and OR Techniques in Constraint Programming | Buch | Sack Fachmedien

    Michel Integration of AI and OR Techniques in Constraint Programming

    12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-18007-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middeldorp / van Oostrom / van Raamsdonk | Processes, Terms and Cycles: Steps on the Road to Infinity | Buch | Sack Fachmedien

    Middeldorp / van Oostrom / van Raamsdonk Processes, Terms and Cycles: Steps on the Road to Infinity

    Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30911-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-61361-7
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tetko / Karpov / Theis | Artificial Neural Networks and Machine Learning - ICANN 2019: Deep Learning | Buch | Sack Fachmedien

    Tetko / Karpov / Theis Artificial Neural Networks and Machine Learning - ICANN 2019: Deep Learning

    28th International Conference on Artificial Neural Networks, Munich, Germany, September 17-19, 2019, Proceedings, Part II
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30483-6
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tetko / Karpov / Theis | Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing | Buch | Sack Fachmedien

    Tetko / Karpov / Theis Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing

    28th International Conference on Artificial Neural Networks, Munich, Germany, September 17-19, 2019, Proceedings, Part III
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30507-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Graf / Larsen | Models, Mindsets, Meta: The What, the How, and the Why Not? | Buch | Sack Fachmedien

    Margaria / Graf / Larsen Models, Mindsets, Meta: The What, the How, and the Why Not?

    Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-22347-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03423-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Min / Di Martino / Yang | Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops | Buch | Sack Fachmedien

    Min / Di Martino / Yang Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops

    ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49860-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03426-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Omatu / Rocha / Bravo | Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living | Buch | Sack Fachmedien

    Omatu / Rocha / Bravo Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living

    10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02480-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

    6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45233-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Achterberg / Beck | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | Buch | Sack Fachmedien

    Achterberg / Beck Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

    8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21310-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coecke / Ong / Panangaden | Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky | Buch | Sack Fachmedien

    Coecke / Ong / Panangaden Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky

    Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38163-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barták / Milano | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | Buch | Sack Fachmedien

    Barták / Milano Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

    Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26152-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gomes / Sellmann | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | Buch | Sack Fachmedien

    Gomes / Sellmann Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

    10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38170-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aiello / Bouguettaya / Tamburri | Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future | Buch | Sack Fachmedien

    Aiello / Bouguettaya / Tamburri Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future

    Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-73202-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Benthem / Ghosh / Verbrugge | Models of Strategic Reasoning | Buch | Sack Fachmedien

    van Benthem / Ghosh / Verbrugge Models of Strategic Reasoning

    Logics, Games, and Communities
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48539-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goldreich | Property Testing | Buch | Sack Fachmedien

    Goldreich Property Testing

    Current Research and Surveys
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16366-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hromkovic / Královic / Vahrenhold | Teaching Fundamental Concepts of Informatics | Buch | Sack Fachmedien

    Hromkovic / Královic / Vahrenhold Teaching Fundamental Concepts of Informatics

    4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11375-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hoogeboom / Paun / Rozenberg | Membrane Computing | Buch | Sack Fachmedien

    Hoogeboom / Paun / Rozenberg Membrane Computing

    7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-69088-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freund / Paun / Rozenberg | Membrane Computing | Buch | Sack Fachmedien

    Freund / Paun / Rozenberg Membrane Computing

    6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-30948-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eleftherakis / Kefalas / Paun | Membrane Computing | Buch | Sack Fachmedien

    Eleftherakis / Kefalas / Paun Membrane Computing

    8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77311-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kovalev / Müller / Paul | A Pipelined Multi-core MIPS Machine | Buch | Sack Fachmedien

    Kovalev / Müller / Paul A Pipelined Multi-core MIPS Machine

    Hardware Implementation and Correctness Proof
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13905-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Branke / Deb / Miettinen | Multiobjective Optimization | Buch | Sack Fachmedien

    Branke / Deb / Miettinen Multiobjective Optimization

    Interactive and Evolutionary Approaches
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-88907-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Charron-Bost / Pedone / Schiper | Replication | Buch | Sack Fachmedien

    Charron-Bost / Pedone / Schiper Replication

    Theory and Practice
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-11293-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diethelm / Mittermeir | Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages | Buch | Sack Fachmedien

    Diethelm / Mittermeir Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages

    6th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2013, Oldenburg, Germany, February 26 -- March 2, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36616-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganesalingam | The Language of Mathematics | Buch | Sack Fachmedien

    Ganesalingam The Language of Mathematics

    A Linguistic and Philosophical Investigation
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37011-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Skrzypczak | Descriptive Set Theoretic Methods in Automata Theory | Buch | Sack Fachmedien

    Skrzypczak Descriptive Set Theoretic Methods in Automata Theory

    Decidability and Topological Complexity
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-52946-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kliemann / Sanders | Algorithm Engineering | Buch | Sack Fachmedien

    Kliemann / Sanders Algorithm Engineering

    Selected Results and Surveys
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-49486-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lutsyk / Oberhauser / Paul | A Pipelined Multi-Core Machine with Operating System Support | Buch | Sack Fachmedien

    Lutsyk / Oberhauser / Paul A Pipelined Multi-Core Machine with Operating System Support

    Hardware Implementation and Correctness Proof
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-43242-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keller / Kramer / Weiss | Facing the Multicore-Challenge | Buch | Sack Fachmedien

    Keller / Kramer / Weiss Facing the Multicore-Challenge

    Aspects of New Paradigms and Technologies in Parallel Computing
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16232-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mauri / Paun / Pérez-Jiménez | Membrane Computing | Buch | Sack Fachmedien

    Mauri / Paun / Pérez-Jiménez Membrane Computing

    5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25080-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stuckenschmidt / Parent / Spaccapietra | Modular Ontologies | Buch | Sack Fachmedien

    Stuckenschmidt / Parent / Spaccapietra Modular Ontologies

    Concepts, Theories and Techniques for Knowledge Modularization
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01906-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keller / Kramer / Weiss | Facing the Multicore-Challenge II | Buch | Sack Fachmedien

    Keller / Kramer / Weiss Facing the Multicore-Challenge II

    Aspects of New Paradigms and Technologies in Parallel Computing
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30396-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kienzle | Models in Software Engineering | Buch | Sack Fachmedien

    Kienzle Models in Software Engineering

    Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29644-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keller / Kramer / Weiß | Facing the Multicore-Challenge III | Buch | Sack Fachmedien

    Keller / Kramer / Weiß Facing the Multicore-Challenge III

    Aspects of New Paradigms and Technologies in Parallel Computing
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35892-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rothlauf / Branke / Cagnoni | Applications of Evolutionary Computing | Buch | Sack Fachmedien

    Rothlauf / Branke / Cagnoni Applications of Evolutionary Computing

    Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25396-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cooper / Dawar / Löwe | How the World Computes | Buch | Sack Fachmedien

    Cooper / Dawar / Löwe How the World Computes

    Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30869-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Debruyne / Panetto / Guédria | On the Move to Meaningful Internet Systems: OTM 2019 Workshops | Buch | Sack Fachmedien

    Debruyne / Panetto / Guédria On the Move to Meaningful Internet Systems: OTM 2019 Workshops

    Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21-25, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-40906-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liskiewicz / Reischuk | Fundamentals of Computation Theory | Buch | Sack Fachmedien

    Liskiewicz / Reischuk Fundamentals of Computation Theory

    15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28193-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klasing / Zeitoun | Fundamentals of Computation Theory | Buch | Sack Fachmedien

    Klasing / Zeitoun Fundamentals of Computation Theory

    21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-55750-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferreira / Löwe / Mayordomo | Programs, Proofs, Processes | Buch | Sack Fachmedien

    Ferreira / Löwe / Mayordomo Programs, Proofs, Processes

    6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13961-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kori / Laanpere | Informatics in Schools. Engaging Learners in Computational Thinking | Buch | Sack Fachmedien

    Kori / Laanpere Informatics in Schools. Engaging Learners in Computational Thinking

    13th International Conference, ISSEP 2020, Tallinn, Estonia, November 16-18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-63211-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fomin / Kaski | Algorithm Theory -- SWAT 2012 | Buch | Sack Fachmedien

    Fomin / Kaski Algorithm Theory -- SWAT 2012

    13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31154-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciric / Droste / Pin | Algebraic Informatics | Buch | Sack Fachmedien

    Ciric / Droste / Pin Algebraic Informatics

    8th International Conference, CAI 2019, Ni¿, Serbia, June 30-July 4, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-21362-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barendsen / Chytas | Informatics in Schools. Rethinking Computing Education | Buch | Sack Fachmedien

    Barendsen / Chytas Informatics in Schools. Rethinking Computing Education

    14th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2021, Virtual Event, November 3-5, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-90227-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bajard / Topuzoglu | Arithmetic of Finite Fields | Buch | Sack Fachmedien

    Bajard / Topuzoglu Arithmetic of Finite Fields

    8th International Workshop, WAIFI 2020, Rennes, France, July 6-8, 2020, Revised Selected and Invited Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-68868-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gheorghe / Hinze / Paun | Membrane Computing | Buch | Sack Fachmedien

    Gheorghe / Hinze / Paun Membrane Computing

    11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-18122-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yahyapour | Euro-Par 2019: Parallel Processing | Buch | Sack Fachmedien

    Yahyapour Euro-Par 2019: Parallel Processing

    25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26-30, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-29399-4
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Träff / Hunold / Versaci | Euro-Par 2015: Parallel Processing | Buch | Sack Fachmedien

    Träff / Hunold / Versaci Euro-Par 2015: Parallel Processing

    21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48095-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martin / Sabin / Winkler | Mathematics of Surfaces XII | Buch | Sack Fachmedien

    Martin / Sabin / Winkler Mathematics of Surfaces XII

    12th IMA International Conference, Sheffield, UK, September 4-6, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73842-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Corradini / Ehrig / Montanari | Graph Transformations | Buch | Sack Fachmedien

    Corradini / Ehrig / Montanari Graph Transformations

    Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38870-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferrández Vicente / Álvarez-Sánchez / de la Paz López | Bioinspired Computation in Artificial Systems | Buch | Sack Fachmedien

    Ferrández Vicente / Álvarez-Sánchez / de la Paz López Bioinspired Computation in Artificial Systems

    International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II
    2015
    Verlag: Springer
    ISBN: 978-3-319-18832-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferrández / Álvarez / de la Paz | New Challenges on Bioinspired Applications | Buch | Sack Fachmedien

    Ferrández / Álvarez / de la Paz New Challenges on Bioinspired Applications

    4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21325-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rothlauf / Branke / Cagnoni | Applications of Evolutionary Computing | Buch | Sack Fachmedien

    Rothlauf / Branke / Cagnoni Applications of Evolutionary Computing

    EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33237-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lehner / Meyer / Streit | Euro-Par 2006 Workshops: Parallel Processing | Buch | Sack Fachmedien

    Lehner / Meyer / Streit Euro-Par 2006 Workshops: Parallel Processing

    CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72226-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gasieniec / Klasing / Radzik | Combinatorial Algorithms | Buch | Sack Fachmedien

    Gasieniec / Klasing / Radzik Combinatorial Algorithms

    31st International Workshop, IWOCA 2020, Bordeaux, France, June 8-10, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-48965-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Was / Sirakoulis / Bandini | Cellular Automata | Buch | Sack Fachmedien

    Was / Sirakoulis / Bandini Cellular Automata

    11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11519-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zeng / Li / King | Advances in Neural Networks - ISNN 2014 | Buch | Sack Fachmedien

    Zeng / Li / King Advances in Neural Networks - ISNN 2014

    11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-12435-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horváth / Plasmeijer / Zsók | Central European Functional Programming School | Buch | Sack Fachmedien

    Horváth / Plasmeijer / Zsók Central European Functional Programming School

    Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-17684-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rivera / Pena / Cabaleiro | Euro-Par 2017: Parallel Processing | Buch | Sack Fachmedien

    Rivera / Pena / Cabaleiro Euro-Par 2017: Parallel Processing

    23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-64202-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Chen / Ong | Advances in Natural Computation Part 01 | Buch | Sack Fachmedien

    Wang / Chen / Ong Advances in Natural Computation Part 01

    First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I
    Erscheinungsjahr 2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-28323-2
    Medium: Buch
    123,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morrill / Nederhof | Formal Grammar | Buch | Sack Fachmedien

    Morrill / Nederhof Formal Grammar

    17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39997-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bandini / Manzoni / Umeo | Cellular Automata | Buch | Sack Fachmedien

    Bandini / Manzoni / Umeo Cellular Automata

    9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15978-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bozanis / Houstis | Advances in Informatics | Buch | Sack Fachmedien

    Bozanis / Houstis Advances in Informatics

    10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29673-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongarra / Madsen / Wasniewski | Applied Parallel Computing | Buch | Sack Fachmedien

    Dongarra / Madsen / Wasniewski Applied Parallel Computing

    State of the Art in Scientific Computing
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-29067-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Umeo / Morishita / Nishinari | Cellular Automata | Buch | Sack Fachmedien

    Umeo / Morishita / Nishinari Cellular Automata

    8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79991-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leung / Lee / Chan | Neural Information Processing | Buch | Sack Fachmedien

    Leung / Lee / Chan Neural Information Processing

    16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part II
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-10682-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Groote / Nederhof | Formal Grammar | Buch | Sack Fachmedien

    de Groote / Nederhof Formal Grammar

    15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32023-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manea / Nowotka | Combinatorics on Words | Buch | Sack Fachmedien

    Manea / Nowotka Combinatorics on Words

    10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23659-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Xie / Li | Neural Information Processing | Buch | Sack Fachmedien

    Liu / Xie / Li Neural Information Processing

    24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part V
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-70138-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cooper / Löwe | New Computational Paradigms | Buch | Sack Fachmedien

    Cooper / Löwe New Computational Paradigms

    First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26179-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    El Yacoubi / Was / Bandini | Cellular Automata | Buch | Sack Fachmedien

    El Yacoubi / Was / Bandini Cellular Automata

    12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-44364-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mauri / El Yacoubi / Dennunzio | Cellular Automata | Buch | Sack Fachmedien

    Mauri / El Yacoubi / Dennunzio Cellular Automata

    13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17-21, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-99812-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Chio / Agapitos / Cagnoni | Applications of Evolutionary Computation | Buch | Sack Fachmedien

    Di Chio / Agapitos / Cagnoni Applications of Evolutionary Computation

    EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29177-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gheorghe / Paun / Rozenberg | Membrane Computing | Buch | Sack Fachmedien

    Gheorghe / Paun / Rozenberg Membrane Computing

    12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28023-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Câmpeanu / Manea / Shallit | Descriptional Complexity of Formal Systems | Buch | Sack Fachmedien

    Câmpeanu / Manea / Shallit Descriptional Complexity of Formal Systems

    18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41113-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Breugel / Kashefi / Palamidessi | Horizons of the Mind. A Tribute to Prakash Panangaden | Buch | Sack Fachmedien

    van Breugel / Kashefi / Palamidessi Horizons of the Mind. A Tribute to Prakash Panangaden

    Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06879-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Xie / Li | Neural Information Processing | Buch | Sack Fachmedien

    Liu / Xie / Li Neural Information Processing

    24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-70095-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazzara / Voronkov | Perspectives of System Informatics | Buch | Sack Fachmedien

    Mazzara / Voronkov Perspectives of System Informatics

    10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41578-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    an Mey / Alexander / Paolo | Euro-Par 2013: Parallel Processing Workshops | Buch | Sack Fachmedien

    an Mey / Alexander / Paolo Euro-Par 2013: Parallel Processing Workshops

    BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54419-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutylowski / Gebala / Charatonik | Fundamentals of Computation Theory | Buch | Sack Fachmedien

    Kutylowski / Gebala / Charatonik Fundamentals of Computation Theory

    17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03408-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wehrheim / Cabot | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Wehrheim / Cabot Fundamental Approaches to Software Engineering

    23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-45233-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baresi / Heckel | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Baresi / Heckel Fundamental Approaches to Software Engineering

    9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33093-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerioli | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Cerioli Fundamental Approaches to Software Engineering

    8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25420-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cortellessa / Varró | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Cortellessa / Varró Fundamental Approaches to Software Engineering

    16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37056-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Moor / Schwartzbach | Compiler Construction | Buch | Sack Fachmedien

    de Moor / Schwartzbach Compiler Construction

    18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00721-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Mol / Weiermann / Manea | Connecting with Computability | Buch | Sack Fachmedien

    De Mol / Weiermann / Manea Connecting with Computability

    17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-80048-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giannakopoulou / Orejas | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Giannakopoulou / Orejas Fundamental Approaches to Software Engineering

    14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19810-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yu / He / Zhang | Advances in Neural Networks - ISNN 2009 | Buch | Sack Fachmedien

    Yu / He / Zhang Advances in Neural Networks - ISNN 2009

    6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part III
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01512-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mercas / Reidenbach | Combinatorics on Words | Buch | Sack Fachmedien

    Mercas / Reidenbach Combinatorics on Words

    12th International Conference, WORDS 2019, Loughborough, UK, September 9-13, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-28795-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheung / Kwok / Kubota | Blended Learning. Enhancing Learning Success | Buch | Sack Fachmedien

    Cheung / Kwok / Kubota Blended Learning. Enhancing Learning Success

    11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94504-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Franke | Compiler Construction | Buch | Sack Fachmedien

    Franke Compiler Construction

    24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-46662-9
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krishnamurthi / Odersky | Compiler Construction | Buch | Sack Fachmedien

    Krishnamurthi / Odersky Compiler Construction

    16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71228-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goel / Simmel / Sosik | DNA Computing | Buch | Sack Fachmedien

    Goel / Simmel / Sosik DNA Computing

    14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-03075-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gheorghe / Rozenberg / Salomaa | Membrane Computing | Buch | Sack Fachmedien

    Gheorghe / Rozenberg / Salomaa Membrane Computing

    15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
    2014
    Verlag: Springer
    ISBN: 978-3-319-14369-9
    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 I
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45901-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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