Ergebnisse filtern
Fachgebiet
Medium
  • 230
Erscheinungsjahr
  • 4
  • 11
  • 9
  • 9
  • 6
  • 12
  • 6
  • 11
  • 15
  • 11
  • 23
  • 11
  • 23
  • 29
  • 25
  • 25
Autoren
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 15
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 9
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 18
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 12
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 15
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 7
  • 1
  • 1
  • 1
  • 2
  • 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
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 7
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 17
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 4
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 226
  • 1
  • 3
Preis
  • 10
  • 167
  • 53
Sprachen
  • 230
Verfügbarkeit
  • 230
Katalog
  • 230
230  Treffer  für „Theoretical Computer Science and General Issues“
    Durán | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Durán Rewriting Logic and Its Applications

    9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34004-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marino | Functional and Constraint Logic Programming | Buch | Sack Fachmedien

    Marino Functional and Constraint Logic Programming

    19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20774-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerndt / Kranzlmüller | High Performance Computing and Communications | Buch | Sack Fachmedien

    Gerndt / Kranzlmüller High Performance Computing and Communications

    Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39368-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kolehmainen / Toivanen / Beliczynski | Adaptive and Natural Computing Algorithms | Buch | Sack Fachmedien

    Kolehmainen / Toivanen / Beliczynski Adaptive and Natural Computing Algorithms

    9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04920-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Deelman / Dongarra | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Deelman / Dongarra Parallel Processing and Applied Mathematics

    11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-32148-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Chen / Douglas | High Performance Computing and Applications | Buch | Sack Fachmedien

    Zhang / Chen / Douglas High Performance Computing and Applications

    Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-11841-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Nicola / Kühn | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    De Nicola / Kühn Software Engineering and Formal Methods

    14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41590-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Woodcock / Zhu | Theories of Programming and Formal Methods | Buch | Sack Fachmedien

    Liu / Woodcock / Zhu Theories of Programming and Formal Methods

    Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39697-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hua / Chang | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Hua / Chang Algorithms and Architectures for Parallel Processing

    9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03094-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Deelman / Dongarra | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Deelman / Dongarra Parallel Processing and Applied Mathematics

    11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-32151-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckmann / Dimitracopoulos / Löwe | Logic and Theory of Algorithms | Buch | Sack Fachmedien

    Beckmann / Dimitracopoulos / Löwe Logic and Theory of Algorithms

    4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69405-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Karczewski | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics

    7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68105-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jin / Rana / Pan | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Jin / Rana / Pan Algorithms and Architectures for Parallel Processing

    7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72904-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Agrawal / Cooper / Li | Theory and Applications of Models of Computation | Buch | Sack Fachmedien

    Agrawal / Cooper / Li Theory and Applications of Models of Computation

    9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29951-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cérin / Li | Advances in Grid and Pervasive Computing | Buch | Sack Fachmedien

    Cérin / Li Advances in Grid and Pervasive Computing

    Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72359-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giacobazzi / Berdine / Mastroeni | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Giacobazzi / Berdine / Mastroeni Verification, Model Checking, and Abstract Interpretation

    14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35872-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Hee / Valk | Applications and Theory of Petri Nets | Buch | Sack Fachmedien

    van Hee / Valk Applications and Theory of Petri Nets

    29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68745-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chung / Moreira | Advances in Grid and Pervasive Computing | Buch | Sack Fachmedien

    Chung / Moreira Advances in Grid and Pervasive Computing

    First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33809-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Müller-Olm | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Jones / Müller-Olm Verification, Model Checking, and Abstract Interpretation

    10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-93899-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D'Souza / Lal / Larsen | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    D'Souza / Lal / Larsen Verification, Model Checking, and Abstract Interpretation

    16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-46080-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cook / Podelski | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Cook / Podelski Verification, Model Checking, and Abstract Interpretation

    8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-69735-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Emerson / Namjoshi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Emerson / Namjoshi Verification, Model Checking, and Abstract Interpretation

    7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-31139-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albert | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Albert Logic-Based Program Synthesis and Transformation

    22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38196-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haddad / Pomello | Application and Theory of Petri Nets | Buch | Sack Fachmedien

    Haddad / Pomello Application and Theory of Petri Nets

    33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31130-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Hermenegildo | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Barthe / Hermenegildo Verification, Model Checking, and Abstract Interpretation

    11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11318-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Schreye | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    De Schreye Logic-Based Program Synthesis and Transformation

    19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12591-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Logozzo / Peled / Zuck | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Logozzo / Peled / Zuck Verification, Model Checking, and Abstract Interpretation

    9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78162-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borrione / Paul | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Borrione / Paul Correct Hardware Design and Verification Methods

    13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29105-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hanus | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Hanus Logic-Based Program Synthesis and Transformation

    18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00514-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alpuente | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Alpuente Logic-Based Program Synthesis and Transformation

    20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20550-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuncak / Rybalchenko | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Kuncak / Rybalchenko Verification, Model Checking, and Abstract Interpretation

    13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27939-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chatterjee / Henzinger | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Chatterjee / Henzinger Formal Modeling and Analysis of Timed Systems

    8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15296-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bourgeois / Zheng | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Bourgeois / Zheng Algorithms and Architectures for Parallel Processing

    8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69500-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    George / Liu / Woodcock | Domain Modeling and the Duration Calculus | Buch | Sack Fachmedien

    George / Liu / Woodcock Domain Modeling and the Duration Calculus

    International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74963-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sakallah / Simon | Theory and Application of Satisfiability Testing | Buch | Sack Fachmedien

    Sakallah / Simon Theory and Application of Satisfiability Testing

    14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21580-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jhala / Schmidt | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Jhala / Schmidt Verification, Model Checking, and Abstract Interpretation

    12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-18274-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Duan | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Liu / Duan Structured Object-Oriented Formal Language and Method

    4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-17403-7
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Duan | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Liu / Duan Structured Object-Oriented Formal Language and Method

    Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-04914-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miao / Tian / Liu | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Miao / Tian / Liu Structured Object-Oriented Formal Language and Method

    9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-41417-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Liu Structured Object-Oriented Formal Language and Method

    Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39276-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asarin / Bouyer | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Asarin / Bouyer Formal Modeling and Analysis of Timed Systems

    4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45026-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raskin / Thiagarajan | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Raskin / Thiagarajan Formal Modeling and Analysis of Timed Systems

    5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75453-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cassez / Jard | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Cassez / Jard Formal Modeling and Analysis of Timed Systems

    6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85777-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ouaknine / Vaandrager | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Ouaknine / Vaandrager Formal Modeling and Analysis of Timed Systems

    7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04367-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tian / Nagoya / Liu | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Tian / Nagoya / Liu Structured Object-Oriented Formal Language and Method

    7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-90103-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xue / Nagoya / Liu | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Xue / Nagoya / Liu Structured Object-Oriented Formal Language and Method

    10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-77473-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation | Buch | Sack Fachmedien

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

    5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34031-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strichman / Szeider | Theory and Applications of Satisfiability Testing - SAT 2010 | Buch | Sack Fachmedien

    Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010

    13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14185-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Schewe / Mashkoor | Abstract State Machines, Alloy, B, TLA, VDM, and Z | Buch | Sack Fachmedien

    Butler / Schewe / Mashkoor Abstract State Machines, Alloy, B, TLA, VDM, and Z

    5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33599-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    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
    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
    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
    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
    Müller-Hannemann / Schirra | Algorithm Engineering | Buch | Sack Fachmedien

    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
    Babaoglu / Jelasity / Montresor | Self-star Properties in Complex Information Systems | Buch | Sack Fachmedien

    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
    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
    Dingel / Solberg | Models in Software Engineering | Buch | Sack Fachmedien

    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 | 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
    Müller / Chapman / de Supinski | OpenMP Shared Memory Parallel Programming | Buch | Sack Fachmedien

    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
    Bozapalidis / Rahonis | Algebraic Informatics | Buch | Sack Fachmedien

    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
    Di Chio / Cagnoni / Cotta | Applications of Evolutionary Computation | Buch | Sack Fachmedien

    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
    Bougé / Forsell / Larsson Träff | Euro-Par 2007 Workshops: Parallel Processing | Buch | Sack Fachmedien

    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
    Markidis / Laure | Solving Software Challenges for Exascale | Buch | Sack Fachmedien

    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
    Di Chio | Applications of Evolutionary Computation | Buch | Sack Fachmedien

    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
    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
    Voronkov / A.P. Ershov Institute of Informatics Systems | Perspectives of System Informatics | Buch | Sack Fachmedien

    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
    Müller-Schloer / Karl / Yehia | Architecture of Computing Systems - ARCS 2010 | Buch | Sack Fachmedien

    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
    Kucera / Potapov | Reachability Problems | Buch | Sack Fachmedien

    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
    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
    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
    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
    Remke / Stoelinga | Stochastic Model Checking | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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
    Hähnle / van der Aalst | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Hähnle / van der Aalst Fundamental Approaches to Software Engineering

    22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-16721-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stevens / Wasowski | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Stevens / Wasowski Fundamental Approaches to Software Engineering

    19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49664-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guerra / Stoelinga | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Guerra / Stoelinga Fundamental Approaches to Software Engineering

    24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-71499-4
    Medium: Buch
    42,79 € (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
    Hendren | Compiler Construction | Buch | Sack Fachmedien

    Hendren Compiler Construction

    17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78790-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Russo / Schürr | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Russo / Schürr Fundamental Approaches to Software Engineering

    21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-89362-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gnesi / Rensink | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Gnesi / Rensink Fundamental Approaches to Software Engineering

    17th International Conference, FASE 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-54803-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Perspectives of Systems Informatics | Buch | Sack Fachmedien

    Voronkov Perspectives of Systems Informatics

    6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70880-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hornby / Sekanina / Haddow | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Hornby / Sekanina / Haddow Evolvable Systems: From Biology to Hardware

    8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85856-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cunha / Medeiros | Euro-Par 2005 Parallel Processing | Buch | Sack Fachmedien

    Cunha / Medeiros Euro-Par 2005 Parallel Processing

    11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings
    Erscheinungsjahr 2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-28700-1
    Medium: Buch
    135,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grass / Sick / Waldschmidt | Architecture of Computing Systems - ARCS 2006 | Buch | Sack Fachmedien

    Grass / Sick / Waldschmidt Architecture of Computing Systems - ARCS 2006

    19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32765-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pnueli / Voronkov | Perspectives of Systems Informatics | Buch | Sack Fachmedien

    Pnueli / Voronkov Perspectives of Systems Informatics

    7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11485-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horimoto / Regensburger / Rosenkranz | Algebraic Biology | Buch | Sack Fachmedien

    Horimoto / Regensburger / Rosenkranz Algebraic Biology

    Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85100-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sano / Soudris / Hübner | Applied Reconfigurable Computing | Buch | Sack Fachmedien

    Sano / Soudris / Hübner Applied Reconfigurable Computing

    11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-16213-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro / Mosses / Orejas | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Fiadeiro / Mosses / Orejas Recent Trends in Algebraic Development Techniques

    17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25327-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vene / Uustalu | Advanced Functional Programming | Buch | Sack Fachmedien

    Vene / Uustalu Advanced Functional Programming

    5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28540-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petrenko / Voronkov | Perspectives of System Informatics | Buch | Sack Fachmedien

    Petrenko / Voronkov Perspectives of System Informatics

    11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-74312-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Principe / Miikkulainen | Advances in Self-Organizing Maps | Buch | Sack Fachmedien

    Principe / Miikkulainen Advances in Self-Organizing Maps

    7th International Workshop, WSOM 2009, St. Augustine, Florida, June 8-10, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02396-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joshi / Siegle / Stoelinga | Quantitative Evaluation of Systems | Buch | Sack Fachmedien

    Joshi / Siegle / Stoelinga Quantitative Evaluation of Systems

    10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40195-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruni / Sassone | Trustworthy Global Computing | Buch | Sack Fachmedien

    Bruni / Sassone Trustworthy Global Computing

    6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30064-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Robert / Parashar / Badrinath | High Performance Computing - HiPC 2006 | Buch | Sack Fachmedien

    Robert / Parashar / Badrinath High Performance Computing - HiPC 2006

    13th International Conference Bangalore, India, December 18-21, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68039-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallardo / Merino | Model Checking Software | Buch | Sack Fachmedien

    Gallardo / Merino Model Checking Software

    25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94110-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bolduc / Desharnais / Ktari | Mathematics of Program Construction | Buch | Sack Fachmedien

    Bolduc / Desharnais / Ktari Mathematics of Program Construction

    10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13320-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castro / van Renesse | Peer-to-Peer Systems IV | Buch | Sack Fachmedien

    Castro / van Renesse Peer-to-Peer Systems IV

    4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29068-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Nicola / Sangiorgi | Trustworthy Global Computing | Buch | Sack Fachmedien

    De Nicola / Sangiorgi Trustworthy Global Computing

    International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30007-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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