Ergebnisse filtern
- Fachgebiet
- Medium
-
- 591
- 27
- 4
- 1
- Erscheinungsjahr
-
- 2
- 9
- 6
- 10
- 20
- 10
- 16
- 39
- 18
- 72
- 66
- 94
- 91
- 63
- 12
- 25
- 8
- 8
- 5
- 4
- 5
- 5
- 5
- 3
- 5
- 2
- 2
- 6
- 1
- 1
- 3
- 1
- 1
- Autoren
-
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 4
- 2
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 6
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 9
- 1
- 2
- 4
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 4
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 3
- 1
- 4
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 5
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 5
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 11
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 6
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 8
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 10
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- Verlag
-
- 1
- 17
- 1
- 2
- 1
- 13
- 6
- 16
- 3
- 2
- 10
- 2
- 3
- 8
- 5
- 2
- 2
- 2
- 6
- 7
- 1
- 6
- 1
- 1
- 2
- 2
- 2
- 1
- 209
- 14
- 2
- 186
- 1
- 2
- 9
- 1
- 4
- 14
- 4
- 2
- 1
- 4
- 3
- 1
- 1
- 13
- 21
- 1
- 1
- 2
- 2
- Preis
-
- 12
- 100
- 334
- 177
- Sprachen
-
- 539
- 87
- Verfügbarkeit
-
- 615
- 8
- Katalog
-
- 623
- 75
-
de Moura / Iyoda Formal Methods: Foundations and Applications
16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings2013Verlag: SpringerISBN: 978-3-642-41070-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Legay / Bertacco Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings2013Verlag: Springer International PublishingISBN: 978-3-319-03076-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jürjens / Bielova / Piessens Engineering Secure Software and Systems
6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-04896-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lanese / Albert Formal Techniques for Distributed Objects, Components, and Systems
36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-39569-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lönn / Wasowski / Wasowski Modelling Foundations and Applications
12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-42060-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hildebrandt / Weidlich / Ravara Web Services, Formal Methods, and Behavioral Types
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33611-4Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schneider / Polikarpova Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66844-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Peña / Gupta Logic-Based Program Synthesis and Transformation
23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers2014Verlag: Springer International PublishingISBN: 978-3-319-14124-4Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Martí-Oliet / Braga Formal Methods: Foundations and Applications
17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-15074-1Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Idani / Canal Software Engineering and Formal Methods
SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers2015Verlag: Springer International PublishingISBN: 978-3-319-15200-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Madelaine / Lanese Formal Aspects of Component Software
11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers2015Verlag: Springer International PublishingISBN: 978-3-319-15316-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Valmari / Devillers Application and Theory of Petri Nets and Concurrency
36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-19487-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bloem / Biere Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08866-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Di Giandomenico / Bondavalli Computer Safety, Reliability, and Security
33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-10505-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Christiansen / Papadopoulos / Stojanovic Modeling and Using Context
9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-25590-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lubiw / Di Giacomo Graph Drawing and Network Visualization
23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-27260-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Objektorientierte Spezifikation von Informationssystemen
1993Verlag: Vieweg+Teubner VerlagISBN: 978-3-8154-2054-6Medium: Buch49,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,95 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Systemdynamik und Simulation
1999Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02743-0Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Züllighoven / Doberkat / Altmann Requirements Engineering ¿93: Prototyping
1993Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02682-2Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hallmann Prototyping komplexer Softwaresysteme
Ansätze zum Prototyping und Vorschlag einer Vorgehensweise1990Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02497-2Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Toth Vorgehensmuster für Softwarearchitektur
Kombinierbare Praktiken in Zeiten von Agile und Lean3. aktualisierte und erweiterte Auflage 2019Verlag: Carl HanserISBN: 978-3-446-46282-3Medium: Buch34,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage34,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Toth Vorgehensmuster für Softwarearchitektur
Kombinierbare Praktiken in Zeiten von Agile und Lean3. aktualisierte und erweiterte Auflage 2019Verlag: Carl HanserISBN: 978-3-446-46009-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark34,99 € (inkl. MwSt.)
sofort verfügbar34,99 € (inkl. MwSt.)
sofort verfügbar -
Menzies / Kocaguneli / Turhan Sharing Data and Models in Software Engineering
Erscheinungsjahr 2014Verlag: Elsevier ScienceISBN: 978-0-12-417295-1Medium: Buch93,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage93,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
van Lamsweerde Requirements Engineering
From System Goals to UML Models to Software Specifications1. Auflage 2009Verlag: WileyISBN: 978-0-470-01270-3Medium: Buch61,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage61,90 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sundaramoorthy UML Diagramming
A Case Study Approach1. Auflage 2022Verlag: CRC PressISBN: 978-1-032-26129-4Medium: Buch180,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage180,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort