Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2067
- Erscheinungsjahr
-
- 11
- 156
- 129
- 105
- 39
- 16
- 24
- 33
- 38
- 28
- 33
- 47
- 31
- 51
- 51
- 31
- 68
- 63
- 60
- 92
- 74
- 62
- 120
- 108
- 96
- 77
- 59
- 51
- 36
- 27
- 34
- 33
- 27
- 31
- 19
- 32
- 16
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 3
- 5
- 3
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 12
- 2
- 2
- 4
- 3
- 4
- 2
- 4
- 4
- 2
- 3
- 3
- 3
- 4
- 6
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 7
- 5
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 5
- 3
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 3
- 11
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 9
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 3
- 5
- 2
- 4
- 3
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 12
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 13
- 23
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 13
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 7
- 2
- 3
- 2
- 3
- 5
- 3
- 2
- 5
- 3
- 2
- 7
- 3
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 20
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 3
- 3
- 5
- 2
- 4
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 3
- 5
- 2
- 6
- 2
- 2
- 3
- 3
- 3
- 5
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 3
- 3
- 3
- 5
- 2
- 4
- 2
- 3
- 6
- 2
- 4
- 2
- 4
- 2
- 7
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 6
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 6
- 3
- 3
- 2
- 3
- 2
- 4
- 5
- 2
- 6
- 2
- 4
- 3
- 5
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 12
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 7
- 4
- 4
- 3
- 2
- 2
- 2
- 4
- 7
- 3
- 2
- 2
- 4
- 4
- 3
- 3
- 6
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 5
- 10
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 10
- 19
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 4
- 5
- 5
- 2
- 2
- 2
- 4
- 8
- 5
- 2
- 3
- 4
- 2
- 2
- 2
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 4
- 2
- 2
- 4
- 2
- 16
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 9
- 18
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 7
- 2
- 3
- 7
- 2
- 5
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 6
- 5
- 2
- 2
- 3
- 2
- 12
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 12
- 5
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 23
- 4
- 2
- 3
- 5
- 9
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 32
- 2
- 3
- 5
- 4
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 6
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 4
- 6
- 5
- 17
- 3
- 4
- 2
- 2
- 3
- 2
- 9
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 7
- 3
- 9
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 4
- 7
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 5
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 4
- 11
- 2
- 2
- 2
- 2
- 2
- 8
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 4
- 5
- 3
- 7
- 3
- 5
- 2
- 2
- 2
- 17
- 2
- 2
- 2
- 6
- 2
- 7
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- Verlag
-
- 2058
- 1
- 8
- Preis
-
- 4
- 85
- 1673
- 305
- Sprachen
-
- 2067
- Verfügbarkeit
-
- 2066
- 1
- Katalog
-
- 2067
- 130
-
Schmid Top Productivity through Software Reuse
12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21346-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Donatelli / Kleijn Application and Theory of Petri Nets 1999
20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66132-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tari On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops
OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part IIErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76889-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dong / Woodcock Formal Methods and Software Engineering
5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20461-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nagel / Walter / Lehner Euro-Par 2006 Parallel Processing
12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, ProceedingsErscheinungsjahr 2006Verlag: Springer-Verlag GmbHISBN: 978-3-540-37783-2Medium: Buch135,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage135,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Valmari Model Checking Software
13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33102-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kadgien / Jedlitschka / Janes Product-Focused Software Process Improvement
24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II1. Auflage 2024Verlag: SpringerISBN: 978-3-031-49268-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gulliksen / Harning / Palanque Engineering Interactive Systems
EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-92697-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Esparza / Lakos Application and Theory of Petri Nets 2002
23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43787-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schrepp Design, User Experience, and Usability
14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93223-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schrepp Design, User Experience, and Usability
14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93220-5Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schrepp Design, User Experience, and Usability
14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IVErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93229-8Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Agrawal / Cooper / Li Theory and Applications of Models of Computation
9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29951-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Paulson Isabelle
A Generic Theorem Prover1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58244-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wiedijk The Seventeen Provers of the World
Foreword by Dana S. Scott1. Auflage 2006Verlag: SpringerISBN: 978-3-540-30704-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Swierstra / Henriques / Oliveira Advanced Functional Programming
Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66241-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bowen / Gomes / Liu Engineering Trustworthy Software Systems
6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial LecturesErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-964655-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Katsikas / Alcaraz Security and Trust Management
21st International Workshop, STM 2025, Toulouse, France, September 25-26, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-06154-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Li / Tahar Formal Methods and Software Engineering
24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-981-99-7583-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krishnamurthi / Ramakrishnan Practical Aspects of Declarative Languages
4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43092-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deransart / Jourdan / Lorho Attribute Grammars
Definitions, Systems and Bibliography1. Auflage 1988Verlag: SpringerISBN: 978-3-540-50056-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Akshay / Niemetz / Sankaranarayanan Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-78749-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Basili / Rombach / Schneider Empirical Software Engineering Issues. Critical Assessment and Future Directions
International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006, Revised Papers1. Auflage 2007Verlag: SpringerISBN: 978-3-540-71300-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sahni / Prasanna / Shukla High Performance Computing - HiPC 2002
9th International Conference Bangalore, India, December 18-21, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-00303-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ciancarini / Nierstrasz / Yonezawa Object-Based Models and Languages for Concurrent Systems
ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected PapersErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59450-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort