Ergebnisse filtern
Fachgebiet
Medium
  • 56
Erscheinungsjahr
  • 1
  • 4
  • 2
  • 3
  • 1
  • 1
  • 1
  • 3
  • 16
  • 9
  • 7
  • 3
  • 4
  • 1
Autoren
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 56
Preis
  • 1
  • 51
  • 4
Sprachen
  • 56
Verfügbarkeit
  • 56
Katalog
  • 56
56  Treffer  für „Theoretical Computer Science and General Issues“
    Qin | Unifying Theories of Programming | Buch | Sack Fachmedien

    Qin Unifying Theories of Programming

    Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16689-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koopman / Swierstra | Advanced Functional Programming | Buch | Sack Fachmedien

    Koopman / Swierstra Advanced Functional Programming

    6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04651-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van der Pol / Weber | Model Checking Software | Buch | Sack Fachmedien

    van der Pol / Weber Model Checking Software

    17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16163-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blesa / Blum / Raidl | Hybrid Metaheuristics | Buch | Sack Fachmedien

    Blesa / Blum / Raidl Hybrid Metaheuristics

    7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16053-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gastin / Laroussinie | CONCUR 2010 - Concurrency Theory | Buch | Sack Fachmedien

    Gastin / Laroussinie CONCUR 2010 - Concurrency Theory

    21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15374-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bošnacki / Bošnacki / Wijs | Model Checking Software | Buch | Sack Fachmedien

    Bošnacki / Bošnacki / Wijs Model Checking Software

    23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-32581-1
    Medium: Buch
    53,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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