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

Technische Wissenschaften

36  Treffer  für „Programming and Software Engineering“
    van Beek | Principles and Practice of Constraint Programming - CP 2005 | Buch | Sack Fachmedien

    van Beek Principles and Practice of Constraint Programming - CP 2005

    11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29238-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller / Zambonelli | Agent-Oriented Software Engineering VI | Buch | Sack Fachmedien

    Müller / Zambonelli Agent-Oriented Software Engineering VI

    6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34097-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Choren / Garcia / Lucena | Software Engineering for Multi-Agent Systems V | Buch | Sack Fachmedien

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

    Research Issues and Practical Applications
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73130-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hagiya / Wadler | Functional and Logic Programming | Buch | Sack Fachmedien

    Hagiya / Wadler Functional and Logic Programming

    8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33438-5
    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
    Etalle / Truszczynski | Logic Programming | Buch | Sack Fachmedien

    Etalle / Truszczynski Logic Programming

    22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36635-5
    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
    Strichman / Tzoref-Brill | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Strichman / Tzoref-Brill Hardware and Software: Verification and Testing

    13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-70388-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yahav | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Yahav Hardware and Software: Verification and Testing

    10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13337-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloem / Arbel | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Bloem / Arbel Hardware and Software: Verification and Testing

    12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-49051-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barner / Harris / Kroening | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Barner / Harris / Kroening Hardware and Software: Verification and Testing

    6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19582-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnson / Vene | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Johnson / Vene Algebraic Methodology and Software Technology

    11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35633-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cabot / Rubin | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Cabot / Rubin Modelling Foundations and Applications

    10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09194-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hu / de Lara | Theory and Practice of Model Transformations | Buch | Sack Fachmedien

    Hu / de Lara Theory and Practice of Model Transformations

    5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30475-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreira / Schätz / Gray | Model-Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Moreira / Schätz / Gray Model-Driven Engineering Languages and Systems

    16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41532-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Briand / Williams | Model Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Briand / Williams Model Driven Engineering Languages and Systems

    8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29010-0
    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
    Kotásek / Bouda / Cerná | Mathematical and Engineering Methods in Computer Science | Buch | Sack Fachmedien

    Kotásek / Bouda / Cerná Mathematical and Engineering Methods in Computer Science

    7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-25928-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kucera / Henzinger / Nešetril | Mathematical and Engineering Methods in Computer Science | Buch | Sack Fachmedien

    Kucera / Henzinger / Nešetril Mathematical and Engineering Methods in Computer Science

    8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36044-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fischbach / Krieger | Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance | Buch | Sack Fachmedien

    Fischbach / Krieger Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance

    17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-05358-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Gorp / Ritter / Rose | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Van Gorp / Ritter / Rose Modelling Foundations and Applications

    9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39012-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lea / Zavattaro | Coordination Models and Languages | Buch | Sack Fachmedien

    Lea / Zavattaro Coordination Models and Languages

    10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68264-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murphy / Vitek | Coordination Models and Languages | Buch | Sack Fachmedien

    Murphy / Vitek Coordination Models and Languages

    9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72793-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rathgeb / Echtle / Müller-Clostermann | Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance | Buch | Sack Fachmedien

    Rathgeb / Echtle / Müller-Clostermann Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance

    15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12103-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Collart-Dutilleul / Lecomte / Romanovsky | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    Collart-Dutilleul / Lecomte / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-18743-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bondavalli / Di Giandomenico | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Bondavalli / Di Giandomenico Computer Safety, Reliability, and Security

    33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10505-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Skavhaug / Guiochet / Bitsch | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Skavhaug / Guiochet / Bitsch Computer Safety, Reliability, and Security

    35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-45476-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koornneef / van Gulijk | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Koornneef / van Gulijk Computer Safety, Reliability, and Security

    SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24248-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecomte / Pinger / Romanovsky | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    Lecomte / Pinger / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33950-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ortmeier / Rauzy | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Ortmeier / Rauzy Model-Based Safety and Assessment

    4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-12213-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koornneef / van Gulijk | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Koornneef / van Gulijk Computer Safety, Reliability, and Security

    34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24254-5
    Medium: Buch
    53,49 € (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
    Casimiro / Ortmeier / Schoitsch | Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops | Buch | Sack Fachmedien

    Casimiro / Ortmeier / Schoitsch Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

    DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-55582-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bondavalli / Bouchenak / Kopetz | Cyber-Physical Systems of Systems | Buch | Sack Fachmedien

    Bondavalli / Bouchenak / Kopetz Cyber-Physical Systems of Systems

    Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-47589-9
    Medium: Buch
    53,49 € (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
    2005
    Verlag: Springer
    ISBN: 978-3-540-28063-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vieira / Cunha | Dependable Computing | Buch | Sack Fachmedien

    Vieira / Cunha Dependable Computing

    14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38788-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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