Person Marieke HuismanHinweis: Der Name Marieke Huisman erscheint bei verschiedenen Verlagen. Es kann sich hierbei um die jeweils selbe Person oder auch um namensgleiche handeln.Marieke Huisman bei Springer International PublishingMarieke Huisman bei Springer Berlinletzte lieferbare Neuerscheinungen auf dieser Seite: Tools and Algorithms for the Construction and Analysis of Systems24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of SoftSpringer International PublishingSoftcover2018 Tools and Algorithms for the Construction and Analysis of Systems24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of SoftSpringer International PublishingeBook2018 Tools and Algorithms for the Construction and Analysis of Systems24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of SoftSpringer International PublishingSoftcover2018 Tools and Algorithms for the Construction and Analysis of Systems24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of SoftSpringer International PublishingeBook2018 Tools and Algorithms for the Construction and Analysis of Systems24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of SoftSpringer International PublishingSoftcover2018 Tools and Algorithms for the Construction and Analysis of Systems24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of SoftSpringer International PublishingeBook2018 Fundamental Approaches to Software Engineering20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of SoftwSpringer BerlinSoftcover2017 Fundamental Approaches to Software Engineering20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of SoftwSpringer BerlineBook2017 Integrated Formal Methods12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, ProceedingsSpringer International PublishingSoftcover2016 Integrated Formal Methods12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, ProceedingsSpringer International PublishingeBook2016 Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesSecond International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected PapersSpringer BerlineBook2006 Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesSecond International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected PapersSpringer BerlinSoftcover200622 Treffer 1 2 3