Ergebnisse filtern
Fachgebiet
Medium
  • 357
Erscheinungsjahr
  • 8
  • 15
  • 16
  • 22
  • 22
  • 29
  • 14
  • 17
  • 26
  • 17
  • 24
  • 22
  • 26
  • 28
  • 27
  • 18
  • 26
Autoren
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 3
  • 1
  • 1
  • 1
  • 4
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 5
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 6
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 3
  • 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
  • 4
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
Verlag
  • 355
  • 1
  • 1
Preis
  • 17
  • 322
  • 18
Sprachen
  • 357
Verfügbarkeit
  • 357
Katalog
  • 357
  • 15
357  Treffer  für „Programming and Software Engineering“
    Grabowski / Nielsen | Formal Approaches to Software Testing | Buch | Sack Fachmedien

    Grabowski / Nielsen Formal Approaches to Software Testing

    4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25109-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caivano / Oivo / Baldassarre | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Caivano / Oivo / Baldassarre Product-Focused Software Process Improvement

    12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21842-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bae / Ölveczky | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Bae / Ölveczky Formal Aspects of Component Software

    15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-02145-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grieskamp / Weise | Formal Approaches to Software Testing | Buch | Sack Fachmedien

    Grieskamp / Weise Formal Approaches to Software Testing

    5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34454-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morisio / Torchiano / Jedlitschka | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Morisio / Torchiano / Jedlitschka Product-Focused Software Process Improvement

    21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-64147-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pasareanu / Salaün | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Pasareanu / Salaün Formal Aspects of Component Software

    9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35860-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jedlitschka / Salo | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Jedlitschka / Salo Product-Focused Software Process Improvement

    9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69564-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Braga / Ölveczky | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Braga / Ölveczky Formal Aspects of Component Software

    12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-28933-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mirandola / Gorton / Hofmeister | Architectures for Adaptive Software Systems | Buch | Sack Fachmedien

    Mirandola / Gorton / Hofmeister Architectures for Adaptive Software Systems

    5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02350-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Cortellessa / Pierantonio | Formal Methods for Model-Driven Engineering | Buch | Sack Fachmedien

    Bernardo / Cortellessa / Pierantonio Formal Methods for Model-Driven Engineering

    12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30981-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shankar / Woodcock | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Shankar / Woodcock Verified Software: Theories, Tools, Experiments

    Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87872-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ardito / Jedlitschka / Morisio | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Ardito / Jedlitschka / Morisio Product-Focused Software Process Improvement

    22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-91451-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barbosa / Lumpe | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Barbosa / Lumpe Formal Aspects of Component Software

    7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27268-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bennaceur / Hähnle / Meinke | Machine Learning for Dynamic Software Analysis: Potentials and Limits | Buch | Sack Fachmedien

    Bennaceur / Hähnle / Meinke Machine Learning for Dynamic Software Analysis: Potentials and Limits

    International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-96561-1
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kapitsaki / Santana de Almeida | Software Reuse: Bridging with Social-Awareness | Buch | Sack Fachmedien

    Kapitsaki / Santana de Almeida Software Reuse: Bridging with Social-Awareness

    15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-35121-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keller / Plödereder / Dencker | Reliable Software Technologies -- Ada-Europe 2013 | Buch | Sack Fachmedien

    Keller / Plödereder / Dencker Reliable Software Technologies -- Ada-Europe 2013

    18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38600-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blieberger / Bader | Reliable Software Technologies - Ada-Europe 2017 | Buch | Sack Fachmedien

    Blieberger / Bader Reliable Software Technologies - Ada-Europe 2017

    22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-60587-6
    Medium: Buch
    58,84 € (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
    Brorsson / Pinho | Reliable Software Technologies -- Ada-Europe 2012 | Buch | Sack Fachmedien

    Brorsson / Pinho Reliable Software Technologies -- Ada-Europe 2012

    17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30597-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Marché | Formal Verification of Object-Oriented Software | Buch | Sack Fachmedien

    Beckert / Marché Formal Verification of Object-Oriented Software

    International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
    1. Auflage. 2011
    Verlag: Springer
    ISBN: 978-3-642-18069-9
    Medium: Buch
    53,49 € (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
    Schaefer / Stamelos | Software Reuse for Dynamic Systems in the Cloud and Beyond | Buch | Sack Fachmedien

    Schaefer / Stamelos Software Reuse for Dynamic Systems in the Cloud and Beyond

    14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-14129-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guizzardi / Gailly / Suzana Pitangueira Maciel | Advances in Conceptual Modeling | Buch | Sack Fachmedien

    Guizzardi / Gailly / Suzana Pitangueira Maciel Advances in Conceptual Modeling

    ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-34145-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    George / Vardanega | Reliable Software Technologies - Ada-Europe 2014 | Buch | Sack Fachmedien

    George / Vardanega Reliable Software Technologies - Ada-Europe 2014

    19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08310-0
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Kermarrec | Reliable Software Technologies - Ada-Europe 2009 | Buch | Sack Fachmedien

    Kordon / Kermarrec Reliable Software Technologies - Ada-Europe 2009

    14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-01923-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