Ergebnisse filtern
Fachgebiet
Medium
  • 19
Erscheinungsjahr
  • 1
  • 3
  • 1
  • 1
  • 2
  • 3
  • 5
  • 3
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
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 19
Preis
  • 2
  • 14
  • 3
Sprachen
  • 19
Verfügbarkeit
  • 19
Katalog
  • 19
  • 1

Elektronik | Nachrichtentechnik

19  Treffer  für „Programming and Software Engineering“
    Benhamou | Principles and Practice of Constraint Programming - CP 2006 | Buch | Sack Fachmedien

    Benhamou Principles and Practice of Constraint Programming - CP 2006

    12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46267-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dosch / Lee / Wu | Software Engineering Research and Applications | Buch | Sack Fachmedien

    Dosch / Lee / Wu Software Engineering Research and Applications

    Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32133-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Padgham / Zambonelli | Agent-Oriented Software Engineering VII | Buch | Sack Fachmedien

    Padgham / Zambonelli Agent-Oriented Software Engineering VII

    7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70944-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luck / Padgham | Agent-Oriented Software Engineering VIII | Buch | Sack Fachmedien

    Luck / Padgham Agent-Oriented Software Engineering VIII

    8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79487-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garcia / Choren / Lucena | Software Engineering for Multi-Agent Systems IV | Buch | Sack Fachmedien

    Garcia / Choren / Lucena Software Engineering for Multi-Agent Systems IV

    Research Issues and Practical Applications
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33580-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbrielli / Gupta | Logic Programming | Buch | Sack Fachmedien

    Gabbrielli / Gupta Logic Programming

    21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29208-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dahl / Niemelä | Logic Programming | Buch | Sack Fachmedien

    Dahl / Niemelä Logic Programming

    23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74608-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piterman | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Piterman Hardware and Software: Verification and Testing

    11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26286-4
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meseguer / Rosu | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Meseguer / Rosu Algebraic Methodology and Software Technology

    12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79979-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paliouras / Vounckx / Verkest | Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    Paliouras / Vounckx / Verkest Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

    15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29013-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gheyi / Naumann | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Gheyi / Naumann Formal Methods: Foundations and Applications

    15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33295-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Hung / Ogawa | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Van Hung / Ogawa Automated Technology for Verification and Analysis

    11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-02443-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Jones / Romanovsky | Methods, Models and Tools for Fault Tolerance | Buch | Sack Fachmedien

    Butler / Jones / Romanovsky Methods, Models and Tools for Fault Tolerance

    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00866-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clavel / Durán / Eker | All About Maude - A High-Performance Logical Framework | Buch | Sack Fachmedien

    Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework

    How to Specify, Program, and Verify Systems in Rewriting Logic
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71940-3
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramos / Lrios Rosillo / Unger | Advanced Distributed Systems | Buch | Sack Fachmedien

    Ramos / Lrios Rosillo / Unger Advanced Distributed Systems

    5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28063-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brat / Rungta / Venet | NASA Formal Methods | Buch | Sack Fachmedien

    Brat / Rungta / Venet NASA Formal Methods

    5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38087-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ikeda / Ashlay / Chan | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Ikeda / Ashlay / Chan Intelligent Tutoring Systems

    8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35159-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dierkes / Pecheur | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Dierkes / Pecheur Formal Methods for Industrial Critical Systems

    18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41009-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dony / Knudsen / Romanovsky | Advanced Topics in Exception Handling Techniques | Buch | Sack Fachmedien

    Dony / Knudsen / Romanovsky Advanced Topics in Exception Handling Techniques

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37443-5
    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