Ergebnisse filtern
-
- 10017
- 1638
- 29
- 12
-
- 431
- 2015
- 5541
- 3709
-
- 10735
- 972
- 2
-
- 11367
- 329
-
- 11
- 5
-
- 11696
- 1822
-
Lau / Banach Formal Methods and Software Engineering
7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29797-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rust Operational Semantics for Timed Systems
A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25576-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Olivetti Automated Reasoning with Analytic Tableaux and Related Methods
16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73098-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Stevens / Whittle / Booch UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications
6th International Conference San Francisco, CA, USA, October 20-24, 2003, ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-20243-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Iocchi / Matsubara / Weitzenfeld RoboCup 2008: Robot Soccer World Cup XII
Erscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02920-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Finance Fundamental Approaches to Software Engineering
Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65718-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Leong / Lee / Li Mobile Data Access
First International Conference, MDA'99, Hong Kong, China, December 16-17, 1999 ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66878-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ao / Kim / Huang Transactions on Engineering Technologies
International MultiConference of Engineers and Computer Scientists 20161. Auflage 2017Verlag: SpringerISBN: 978-981-10-3949-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Oliva / Panzieri / Hämmerli Critical Information Infrastructures Security
19th International Conference, CRITIS 2024, Rome, Italy, September 18-20, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-84259-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cellier / Distel / Ganter Formal Concept Analysis
11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38316-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Johnsen / Petre Integrated Formal Methods
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38612-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ait Ameur / Bellatreche / Papadopoulos Model and Data Engineering
4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11586-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Seffah / Metzker Adoption-Centric Usability Engineering
Systematic Deployment, Assessment and Improvement of Usability Methods in Software EngineeringSoftcover Nachdruck of hardcover 1. Auflage 2009Verlag: SpringerISBN: 978-1-84996-703-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Tan / Shi / Tang Advances in Swarm Intelligence
9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-319-93814-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Salinesi / van de Weerd Requirements Engineering: Foundation for Software Quality
20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-05842-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ben-Ari Principles of the Spin Model Checker
2008. Auflage 2008Verlag: SpringerISBN: 978-1-84628-769-5Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Kletter The Extra-Intracranial Bypass Operation for Prevention and Treatment of Stroke
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-7091-2060-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Yasuda Active Networks
Second International Working Conference, IWAN 2000 Tokyo, Japan, October 16-18, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41179-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Tian / Sebe / Qi MultiMedia Modeling
22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part II1. Auflage 2016Verlag: SpringerISBN: 978-3-319-27673-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huang / Liu / He Web Information Systems Engineering - WISE 2013 Workshops
WISE 2013 International Workshops BigWebData, MBC, PCS, STeH, QUAT, SCEH, and STSC 2013, Nanjing, China, October 13-15, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54369-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sunderam / van Albada / Sloot Computational Science -- ICCS 2005
5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part IErscheinungsjahr 2005Verlag: SpringerISBN: 978-3-540-26032-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Welschenbach Kryptographie in C und C++
Zahlentheoretische Grundlagen, Computer-Arithmetik mit großen Zahlen, kryptographische Tools2. Auflage 2001Verlag: SpringerISBN: 978-3-642-62646-3Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Summers Software Engineering Reviews and Audits
Erscheinungsjahr 2011Verlag: Taylor & FrancisISBN: 978-1-4398-5146-3Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)85,99 € (inkl. MwSt.)
sofort verfügbar
-
Liu / Duan Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-17403-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Comyn-Wattiau / Tanaka / Song Conceptual Modeling
35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46396-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jordan / Tarasov / Shurina High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production
14th International Conference, HPCST 2024, Barnaul, Russia, May 17-18, 2024, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-20324-3Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Turab / Selva / Montoyo Functional Equations and Stability Theory
Methods and Applications in Science and EngineeringErscheinungsjahr 2027Verlag: Elsevier ScienceISBN: 978-0-443-51596-5Medium: Buch166,50 € (inkl. MwSt.)
vorbestellbar
-
Hagar Software Test Attacks to Break Mobile and Embedded Devices
Erscheinungsjahr 2013Verlag: Taylor & FrancisISBN: 978-1-4665-7531-8Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)91,49 € (inkl. MwSt.)
sofort verfügbar
-
Mosses CASL Reference Manual
The Complete Documentation of the Common Algebraic Specification Language1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21301-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sloot / Tan / Dongarra Computational Science - ICCS 2002
International Conference Amsterdam, The Netherlands, April 21-24, 2002 Proceedings, Part IIIErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43594-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gutknecht / Weck Modular Programming Languages
Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67958-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ehrig / Reisig / Rozenberg Petri Net Technology for Communication-Based Systems
Advances in Petri Nets1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20538-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Börger / Cisternino Advances in Software Engineering
Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial LecturesErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89761-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Yang / Liu / Zou Intelligent Robotics and Applications
16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VII1. Auflage 2023Verlag: SpringerISBN: 978-981-99-6497-0Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Staunstrup Program Specification
Proceedings of a Workshop Aarhus, Denmark, August 19811. Auflage 1982Verlag: SpringerISBN: 978-3-540-11490-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Volkert Parallel Computation
Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57314-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Breitman / Cavalcanti Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10372-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Anderson / Bologna / Felici Computer Safety, Reliability and Security
21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44157-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Nambiar / Poess Performance Evaluation and Benchmarking
Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-10423-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Horváth / Telek Formal Methods and Stochastic Models for Performance Evaluation
Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35362-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fitch Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57272-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bunt / Beun / Borghuis Multimodal Human-Computer Communication
Systems, Techniques, and ExperimentsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64380-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Selvaraj / Zydek / Chmaj Progress in Systems Engineering
Proceedings of the Twenty-Third International Conference on Systems EngineeringSoftcover Nachdruck of the original 1. Auflage 2015Verlag: SpringerISBN: 978-3-319-35444-6Medium: Buch320,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Parashar Grid Computing - GRID 2002
Third International Workshop, Baltimore, MD, USA, November 18, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00133-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kröger / Merz Temporal Logic and State Systems
1. Auflage. Softcover version of original hardcover Auflage 2008Verlag: SpringerISBN: 978-3-642-08680-9Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Van Roy Multiparadigm Programming in Mozart/Oz
Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25079-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Park / Takizawa / Shen Parallel and Distributed Computing, Applications and Technologies
Proceedings of PDCAT 20231. Auflage 2024Verlag: SpringerISBN: 978-981-99-8210-3Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Berlyand / Jabin Mathematics of Deep Learning
An Introduction to Foundational Mathematics of Neural Nets2. revised and extended Auflage 2026Verlag: De GruyterISBN: 978-3-11-221838-9Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark64,95 € (inkl. MwSt.)
sofort verfügbar
-
Reifer Software Maintenance Success Recipes
Erscheinungsjahr 2013Verlag: Taylor & FrancisISBN: 978-1-4398-5167-8Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)97,99 € (inkl. MwSt.)
sofort verfügbar
-
Azad / Pathan Practical Cryptography
Algorithms and Implementations Using C++1. Auflage 2014Verlag: Taylor & FrancisISBN: 978-1-4822-2890-8Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)85,99 € (inkl. MwSt.)
sofort verfügbar
-
Davies / Gibbons Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73209-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Troubitsyna Software Engineering for Resilient Systems
Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24123-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Diaz-Herrera Software Engineering Education
7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57461-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Liu / Mauw / Stolen Graphical Models for Security
4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74859-7Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Favorskaya / Nikitin / Severina Advances in Theory and Practice of Computational Mechanics
Proceedings of the 22nd International Conference on Computational Mechanics and Modern Applied Software Systems (CMMASS 2021)1. Auflage 2022Verlag: SpringerISBN: 978-981-16-8928-4Medium: Buch246,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baaz / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-00010-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Lamprecht User-Level Workflow Design
A Bioinformatics PerspectiveErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-45388-5Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Lochan / Roy / Subudhi Robust Control Algorithms for Two-link Flexible Manipulators
1. Auflage 2026Verlag: Taylor & Francis Ltd (Sales)ISBN: 978-1-032-38478-8Medium: Buch72,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Robillard / Maalej / Walker Recommendation Systems in Software Engineering
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-45134-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Arif / Jaffar / Geman Securing the Digital Realm
Advances in Hardware and Software Security, Communication, and Forensics1. Auflage 2026Verlag: Taylor & Francis Ltd (Sales)ISBN: 978-1-032-80641-9Medium: Buch71,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Lucena / Garcia / Romanovsky Software Engineering for Multi-Agent Systems II
Research Issues and Practical Applications1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21182-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Lu / Cai / Liu Proceedings of the 2012 International Conference on Information Technology and Software Engineering
Information Technology1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34527-2Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Mundy / Zisserman / Forsyth Applications of Invariance in Computer Vision
Second Joint European - US Workshop, Ponta Delgada, Azores, Portugal, October 9 - 14, 1993. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58240-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rozenberg / Salomaa Lindenmayer Systems
Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology1. Auflage 2012Verlag: SpringerISBN: 978-3-642-63474-1Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Maglogiannis / Iliadis / Karydis Artificial Intelligence Applications and Innovations. AIAI 2024 IFIP WG 12.5 International Workshops
MHDW 2024, 5G-PINE 2024, and ¿¿4GD 2024, Corfu, Greece, June 27-30, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-63229-7Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fantechi / Lecomte / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68498-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wolff / Gaudel / Feliachi Unifying Theories of Programming
4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-35704-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Aagaard / Harrison Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67863-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gervasi Computational Science and Its Applications - ICCSA 2007
International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part IIIErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74482-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
El Oualkadi / Choubani / El Moussati Proceedings of the Mediterranean Conference on Information & Communication Technologies 2015
MedCT 2015 Volume 2Softcover Nachdruck of the original 1. Auflage 2016Verlag: SpringerISBN: 978-3-319-80773-7Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dörr Efficient Graph Rewriting and Its Implementation
1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60055-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Abramsky / Maibaum TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91)1. Auflage 1991Verlag: SpringerISBN: 978-3-540-53982-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Urban / Vanderdonckt / Limbourg Interactive Systems: Design, Specification, and Verification
9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 20021. Auflage 2002Verlag: SpringerISBN: 978-3-540-00266-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wiedermann / Hajek Mathematical Foundations of Computer Science 1995
20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60246-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Guarda / Portela / Augusto Advanced Research in Technologies, Information, Innovation and Sustainability
5th International Conference, ARTIIS 2025, Cartagena de Indias, Colombia, October 21-23, 2025, Revised Selected Papers, Part IIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-16757-6Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gallardo / Merino Model Checking Software
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-94110-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dony / Knudsen / Romanovsky Advanced Topics in Exception Handling Techniques
1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37443-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
de Swart Relational Methods in Computer Science
6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00315-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Habermann / Montanari System Development and Ada
CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18341-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
America ECOOP '91 European Conference on Object-Oriented Programming
Geneva, Switzerland, July 15-19, 1991. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54262-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hu / Zhang Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024)
Volume 2Erscheinungsjahr 2026Verlag: SpringerISBN: 978-981-963163-6Medium: Buch235,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Saraswat Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation
8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20632-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Müller / Wooldridge / Jennings Intelligent Agents III. Agent Theories, Architectures, and Languages
ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62507-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gervasi / Murgante / Misra Computational Science and Its Applications -- ICCSA 2015
15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I2015Verlag: SpringerISBN: 978-3-319-21403-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Basin / Wolff Theorem Proving in Higher Order Logics
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40664-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rashid / Aksit Transactions on Aspect-Oriented Software Development II
Focus: AOP Systems, Software and Middleware1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48890-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Koutny / Kleijn / Penczek Transactions on Petri Nets and Other Models of Concurrency XII
1. Auflage 2017Verlag: SpringerISBN: 978-3-662-55861-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Lafler Power SAS
A Survival Guide1. Auflage 2013Verlag: ApressISBN: 978-1-4302-5158-3Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fiadeiro / Mosses / Orejas Recent Trends in Algebraic Development Techniques
17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25327-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Graf / Zhang Automated Technology for Verification and Analysis
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-47237-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Corradini / Ehrig / Kreowski Graph Transformation
First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-44310-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Tekinerdogan / Zdun / Babar Software Architecture
10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48991-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jensen Coloured Petri Nets
Basic Concepts, Analysis Methods and Practical Use. Volume 12. Auflage 1996Verlag: SpringerISBN: 978-3-642-08243-6Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jacko Human-Computer Interaction. HCI Applications and Services
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IVErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73109-2Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Latifi ITNG 2024: 21st International Conference on Information Technology-New Generations
Erscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-56601-1Medium: Buch267,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cousot Static Analysis
10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40325-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Voevodin / Antonov / Nikitenko Supercomputing
11th Russian Supercomputing Days, RuSCDays 2025, Moscow, Russia, September 29-30, 2025, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-13126-3Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bjørner Software Engineering 3
Domains, Requirements, and Software Design1. Auflage 2006Verlag: SpringerISBN: 978-3-540-21151-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Loubser The Developer's Field Guide to Modern Software Engineering
Methods, Tools and Best Practices1. Auflage 2026Verlag: ApressISBN: 979-8-8688-2156-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
He The Fundamental Research for Trustworthy Software
Erscheinungsjahr 2024Verlag: SpringerISBN: 978-981-99-5591-6Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
