Ergebnisse filtern
Fachgebiet
Medium
  • 46
Erscheinungsjahr
  • 3
  • 6
  • 13
  • 10
  • 14
Autoren
  • 1
  • 1
  • 1
  • 5
  • 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
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
Verlag
  • 46
Preis
  • 1
  • 38
  • 7
Sprachen
  • 46
Verfügbarkeit
  • 46
Katalog
  • 46
  • 1

Prozedurale Programmierung

46  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
    Gschwind / Mascolo | Software Engineering and Middleware | Buch | Sack Fachmedien

    Gschwind / Mascolo Software Engineering and Middleware

    4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25328-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Hinchey / Larrondo-Petrie | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Butler / Hinchey / Larrondo-Petrie Formal Methods and Software Engineering

    9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76648-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / He | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Liu / He Formal Methods and Software Engineering

    8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-47460-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaudron | Models in Software Engineering | Buch | Sack Fachmedien

    Chaudron Models in Software Engineering

    Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01647-9
    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
    Odell / Giorgini / Müller | Agent-Oriented Software Engineering V | Buch | Sack Fachmedien

    Odell / Giorgini / Müller Agent-Oriented Software Engineering V

    5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24286-4
    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
    Oquendo | Software Architecture | Buch | Sack Fachmedien

    Oquendo Software Architecture

    First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75131-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yorav | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Yorav Hardware and Software: Verification and Testing

    Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77964-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ur / Bin / Wolfsthal | Hardware and Software, Verification and Testing | Buch | Sack Fachmedien

    Ur / Bin / Wolfsthal Hardware and Software, Verification and Testing

    First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32604-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gschwind / Assmann / Nierstrasz | Software Composition | Buch | Sack Fachmedien

    Gschwind / Assmann / Nierstrasz Software Composition

    4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28748-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Löwe / Südholt | Software Composition | Buch | Sack Fachmedien

    Löwe / Südholt Software Composition

    5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37657-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ernst | ECOOP - Object-Oriented Programming | Buch | Sack Fachmedien

    Ernst ECOOP - Object-Oriented Programming

    21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73588-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nierstrasz / Whittle / Harel | Model Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Nierstrasz / Whittle / Harel Model Driven Engineering Languages and Systems

    9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45772-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Engels / Opdyke / Schmidt | Model Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Engels / Opdyke / Schmidt Model Driven Engineering Languages and Systems

    10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-75208-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Núnez / Rosu | Formal Approaches to Software Testing and Runtime Verification | Buch | Sack Fachmedien

    Havelund / Núnez / Rosu Formal Approaches to Software Testing and Runtime Verification

    First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49699-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Black | ECOOP 2005 - Object-Oriented Programming | Buch | Sack Fachmedien

    Black ECOOP 2005 - Object-Oriented Programming

    19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27992-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Vardanega | Reliable Software Technologies - Ada-Europe 2008 | Buch | Sack Fachmedien

    Kordon / Vardanega Reliable Software Technologies - Ada-Europe 2008

    13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68621-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vardanega / Wellings | Reliable Software Technology - Ada-Europe 2005 | Buch | Sack Fachmedien

    Vardanega / Wellings Reliable Software Technology - Ada-Europe 2005

    10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26286-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jardim Nunes / Selic / Rodrigues da Silva | UML Modeling Languages and Applications | Buch | Sack Fachmedien

    Jardim Nunes / Selic / Rodrigues da Silva UML Modeling Languages and Applications

    <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25081-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Tsay | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Peled / Tsay Automated Technology for Verification and Analysis

    Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29209-8
    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
    Di Martino / Kranzlmüller / Dongarra | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Di Martino / Kranzlmüller / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface

    12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29009-4
    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