Aufgrund einer technischen Störung sind wir derzeit telefonisch nicht erreichbar. Wir arbeiten bereits an der Behebung. Vielen Dank für Ihr Verständnis.

Fachgebiet
Medium
  • 1150
Erscheinungsjahr
  • 6
  • 59
  • 73
  • 74
  • 70
  • 62
  • 64
  • 68
  • 64
  • 76
  • 73
  • 73
  • 66
  • 67
  • 61
  • 66
  • 58
  • 70
Autoren
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 37
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 2
  • 1
  • 1
  • 7
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 6
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 6
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 3
  • 13
  • 11
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 5
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 9
  • 6
  • 2
  • 43
  • 4
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 7
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 4
  • 7
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 12
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 9
  • 7
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 10
  • 3
  • 7
  • 4
  • 3
  • 2
  • 4
  • 6
  • 2
  • 4
  • 2
  • 5
  • 8
  • 3
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 6
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 31
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 5
  • 38
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 7
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 8
  • 10
  • 3
  • 3
  • 6
  • 2
  • 3
  • 3
  • 3
  • 2
  • 5
  • 4
  • 15
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 10
  • 4
  • 2
  • 2
  • 6
  • 9
  • 12
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 42
  • 2
  • 12
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 9
  • 11
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 8
  • 8
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 4
  • 2
  • 3
  • 3
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 5
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
Verlag
  • 1136
  • 2
  • 12
Preis
  • 48
  • 910
  • 192
Sprachen
  • 1150
Verfügbarkeit
  • 1150
Katalog
  • 1150
  • 13
1.150  Treffer  für „Theoretical Computer Science and General Issues“


    Jarvis / Wright / Hammond High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation

    8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-72970-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Salvagnin / Lombardi Integration of AI and OR Techniques in Constraint Programming

    14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-59775-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Pizzuti / Ritchie / Giacobini Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics

    9th European Conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20388-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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. 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

    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

    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 / 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

    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. 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

    Tannen / Wong / Libkin In Search of Elegance in the Theory and Practice of Computation

    Essays dedicated to Peter Buneman
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41659-0
    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

    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

    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

    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

    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

    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

    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

    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

    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

    Müller-Hannemann / Schirra Algorithm Engineering

    Bridging the Gap Between Algorithm Theory and Practice
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14865-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Corne / Frisco / Paun Membrane Computing

    9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-540-95884-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Babaoglu / Jelasity / Montresor Self-star Properties in Complex Information Systems

    Conceptual and Practical Foundations
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26009-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    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

    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

    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

    Ferreira / Mendes / Menghi Formal Methods Teaching

    4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-91549-0
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dingel / Solberg Models in Software Engineering

    Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21209-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    Müller / Chapman / de Supinski OpenMP Shared Memory Parallel Programming

    International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68554-8
    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

    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

    Calude / Freivalds / Kazuo Computing with New Resources

    Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13349-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Giacobini / Brabazon / Cagnoni Applications of Evolutionary Computing

    EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78760-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    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

    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

    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

    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

    Gørtz / Ravi Algorithm Theory -- SWAT 2014

    14th Scandinavian Symposium and Workshops, SWAT 2014, Copenhagen, Denmark, July 2-4, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08403-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    Bozapalidis / Rahonis Algebraic Informatics

    Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75413-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    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

    Di Chio / Cagnoni / Cotta Applications of Evolutionary Computation

    EvoApplications 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I
    2010
    Verlag: Springer
    ISBN: 978-3-642-12238-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Banâtre / Fradet / Giavitto Unconventional Programming Paradigms

    International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27884-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bougé / Forsell / Larsson Träff Euro-Par 2007 Workshops: Parallel Processing

    HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78472-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Shallit / Okhotin Descriptional Complexity of Formal Systems

    17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-19224-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Giacobini / Brabazon / Cagoni Applications of Evolutionary Computing

    EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71804-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Markidis / Laure Solving Software Challenges for Exascale

    International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-15975-1
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Bernardi / Segond / Zaihrayeu Advanced Language Technologies for Digital Libraries

    International Workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23159-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Paun / Perez-Jimenez / Riscos-Nunez Membrane Computing

    10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11466-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Bonizzoni / Brattka / Löwe The Nature of Computation: Logic, Algorithms, Applications

    9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39052-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Di Chio Applications of Evolutionary Computation

    EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20519-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Morrill / Muskens / Osswald Formal Grammar

    19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44120-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    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

    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

    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

    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

    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

    Coello-Coello / Greensmith / Krasnogor Artificial Immune Systems

    11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33756-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    Voronkov / A.P. Ershov Institute of Informatics Systems Perspectives of System Informatics

    9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-662-46822-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    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

    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

    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

    Müller-Schloer / Karl / Yehia Architecture of Computing Systems - ARCS 2010

    23rd International Conference, Hannover, Germany, February 22-25, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-11949-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Guo / Hou / Zeng Advances in Neural Networks- ISNN 2013

    10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part II
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39067-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    Kucera / Potapov Reachability Problems

    4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15348-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    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

    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

    Guo / Hou / Zeng Advances in Neural Networks- ISNN 2013

    10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part I
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39064-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    O'Boyle Compiler Construction

    21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28651-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Remke / Stoelinga Stochastic Model Checking

    International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45488-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gupta Compiler Construction

    19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-11969-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rosenblum / Taentzer Fundamental Approaches to Software Engineering

    13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12028-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wang / Yi / Zurada Advances in Neural Networks - ISNN 2006 /3

    Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part III
    Erscheinungsjahr 2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-34482-7
    Medium: Buch
    129,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Cohen Compiler Construction

    23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54806-2
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Frachtenberg / Schwiegelshohn Job Scheduling Strategies for Parallel Processing

    12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71034-9
    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