Ergebnisse filtern
-
- 177
-
- 177
-
- 2
- 6
- 146
- 23
-
- 176
- 1
-
- 177
-
- 177
- 15
Mathematik Interdisziplinär
-
Janßen Trends in Computer Algebra
International Symposium, Bad Neuenahr, May 19-21, 1987. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-18928-2Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gerdt / Koepf / Seiler Computer Algebra in Scientific Computing
17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24020-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gerdt / Koepf / Mayr Computer Algebra in Scientific Computing
15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-02296-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gerdt / Koepf / Seiler Computer Algebra in Scientific Computing
19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66319-7Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
England / Koepf / Sadykov Computer Algebra in Scientific Computing
21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, ProceedingsErscheinungsjahr 2019Verlag: SpringerISBN: 978-3-030-26830-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gerdt / Koepf / Mayr Computer Algebra in Scientific Computing
14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32972-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Boulier / England / Sadykov Computer Algebra in Scientific Computing
22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-60025-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hulzen Computer Algebra
EUROCAL'83, European Computer Algebra Conference London, England, March 28-30, 1983 ProceedingsSoftcover Nachdruck of the original 1. Auflage 1983Verlag: SpringerISBN: 978-3-540-12868-7Medium: Buch28,88 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bartolini / Gaspary Integrated Management of Systems, Services, Processes and People in IT
20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, Venice, Italy, October 27-28, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-04988-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Srivas / Camilleri Formal Methods in Computer-Aided Design
First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61937-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Watt / Sexton / Davenport Intelligent Computer Mathematics
CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08433-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alur / Henzinger Computer Aided Verification
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61474-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Berry / Comon / Finkel Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42345-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hunt, Jr. / Somenzi Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40524-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wolper Computer Aided Verification
7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60045-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Benzmüller / Miller Intelligent Computer Mathematics
13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-53517-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Carette / Aspinall / Lange Intelligent Computer Mathematics
MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39319-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bradley Computer Performance Engineering
6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02923-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Halbwachs / Peled Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66202-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kohlhase / Johansson / Miller Intelligent Computer Mathematics
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-42546-7Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chin / Pong Computer Vision - ACCV'98
Third Asian Conference on Computer Vision, Hong Kong, China, January 8 - 10, 1998, Proceedings, Volume IErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63930-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gutierrez / Schicho / Weimann Computer Algebra and Polynomials
Applications of Algebra and Number Theory2015Verlag: SpringerISBN: 978-3-319-15080-2Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brlek / Reutenauer / Provençal Discrete Geometry for Computer Imagery
15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-04396-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miguet / Montanvert / Ubeda Discrete Geometry for Computer Imagery
6th International Workshop, DGCI'96, Lyon, France, November 13 - 15, 1996, ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-62005-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2015
15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27339-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pichler / Moreno-Diaz Computer Aided Systems Theory - EUROCAST '89
A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26 - March 4, 1989. Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52215-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vassiliadis / Berekovic / Hämäläinen Embedded Computer Systems: Architectures, Modeling, and Simulation
7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73622-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gordon Foundations of Software Science and Computational Structures
6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00897-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Magnusson System Configuration Management
ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64733-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nielsen / Engberg Foundations of Software Science and Computation Structures
5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43366-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blythe Financial Cryptography and Data Security
FC 2012 Workshops, USEC and WECSR 2012, Kralendijk, Bonaire, March 2, 2012, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34637-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Constantopoulos / Mylopoulos / Vassiliou Advanced Information Systems Engineering
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61292-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Arisawa / Kambayashi Conceptual Modeling for New Information Systems Technologies
ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001. Revised PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44122-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Liddle / Mayr / Thalheim Conceptual Modeling for E-Business and the Web
ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and the World Wide Web and Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41073-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clark / Meiklejohn / Ryan Financial Cryptography and Data Security
FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February 26, 2016, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-662-53356-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pernici / Thanos Advanced Information Systems Engineering
10th International Conference, CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64556-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pieprzyk / Safavi-Naini / Seberry Information Security and Privacy
4th Australasian Conference, ACISP'99, Wollongong, NSW, Australia, April 7-9, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65756-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Laender / Liddle / Storey Conceptual Modeling - ER 2000
19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41072-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Streitz / Siegel / Hartkopf Cooperative Buildings. Integrating Information, Organizations, and Architecture
Second International Workshop, CoBuild'99, Pittsburgh, PA, USA, October 1-2, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66596-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ling / Mendelzon / Vieille Deductive and Object-Oriented Databases
Fourth International Conference, DOOD' 95, Singapore, December 4-7, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60608-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baresi / Chi / Suzuki Service-Oriented Computing
7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10382-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thalheim Conceptual Modeling - ER '96
15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7 - 10, 1996. Proceedings.Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61784-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Keromytis Financial Cryptography and Data Security
16th International Conference, FC 2012, Kralendijk, Bonaire, Februray 27-March 2, 2012, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32945-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Egenhofer / Herring Advances in Spatial Databases
4th International Symposium SSD '95, Portland, ME, USA, August 6 - 9, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60159-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tavares / Meijer Selected Areas in Cryptography
5th Annual International Workshop, SAC'98, Kingston, Ontario, Canada, August 17-18, 1998, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65894-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Krishnamachari / Suri / Heinzelman Distributed Computing in Sensor Systems
5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02084-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rozenberg Advances in Petri Nets 1993
Erscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56689-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bellare Advances in Cryptology - CRYPTO 2000
20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000. ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67907-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Corradini / Montanari Recent Trends in Algebraic Development Techniques
19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03428-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mossakowski / Kreowski Recent Trends in Algebraic Development Techniques
20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28411-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Langmaack / Roever / Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58468-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jonsson / Parrow Formal Techniques in Real-Time and Fault-Tolerant Systems
4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61648-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems
Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-55092-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zimmermann / Thalheim Abstract State Machines 2004. Advances in Theory and Practice
11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22094-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Gargantini / Riccobene Abstract State Machines 2003: Advances in Theory and Practice
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00624-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ravn / Rischel Formal Techniques in Real-Time and Fault-Tolerant Systems
5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65003-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bert / Bowen / King ZB 2003: Formal Specification and Development in Z and B
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40253-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barkatou / Cluzeau / Regensburger Algebraic and Algorithmic Aspects of Differential and Integral Operators
5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54478-1Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Damgard Lectures on Data Security
Modern Cryptology in Theory and Practice1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65757-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eigenmann / Voss OpenMP Shared Memory Parallel Programming
International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42346-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grosky / Plasil SOFSEM 2002: Theory and Practice of Informatics
29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00145-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ottmann Automata, Languages and Programming
14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18088-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wing / Woodcook / Davies FM'99 - Formal Methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume IIErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66588-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wing / Woodcook / Davies FM'99 - Formal Methods
World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66587-8Medium: Buch106,99 € (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 -
Antsaklis / Kohn / Nerode Hybrid Systems IV
Erscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63358-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Back / Petre / de Vink Transactions on Computational Systems Biology XIII
1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19747-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miola Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57235-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Olderog / Steffen Correct System Design
Recent Insights and AdvancesErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66624-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rozenberg / Vaandrager Lectures on Embedded Systems
European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996Erscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65193-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calmet / Limongelli Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61697-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lynch / Krogh Hybrid Systems: Computation and Control
Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67259-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calzarossa / Tucci Performance Evaluation of Complex Systems: Techniques and Tools
Performance 2002. Tutorial Lectures1. Auflage 2002Verlag: SpringerISBN: 978-3-540-44252-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barendregt / Nipkow Types for Proofs and Programs
International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected PapersErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58085-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miola Design and Implementation of Symbolic Computation Systems
International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52531-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alur / Henzinger / Sontag Hybrid Systems III
Verification and Control1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61155-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Davidsson / Logan / Takadama Multi-Agent and Multi-Agent-Based Simulation
Joint Workshop MABS 20041. Auflage 2005Verlag: SpringerISBN: 978-3-540-25262-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage -
Condon / Rozenberg DNA Computing
6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42076-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gawlick / Haynie / Reuter High Performance Transaction Systems
2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 28-30, 1987. Proceedings1. Auflage 1989Verlag: SpringerISBN: 978-3-540-51085-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eriksson / Lindsay FME 2002: Formal Methods - Getting IT Right
International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43928-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lin / Manocha Applied Computational Geometry. Towards Geometric Engineering
FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27 - 28, 1996, Selected Papers1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61785-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chaudron / Szyperski / Reussner Component-Based Software Engineering
11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87890-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brinksma Tools and Algorithms for the Construction and Analysis of Systems
Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-62790-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Näher / Wagner Algorithm Engineering
4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42512-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Atzeni LOGIDATA+: Deductive Databases with Complex Objects
Erscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56974-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller The Design of Intelligent Agents
A Layered ApproachErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-62003-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Silverman Cryptography and Lattices
International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001. Revised Papers1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42488-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bertran / Rus Transformation-Based Reactive Systems Development
4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63010-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Banatre / Lee Hardware and Software Architectures for Fault Tolerance
Experiences and Perspectives1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57767-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cortesi / File Static Analysis
6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66459-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Broy / Merz / Spies Formal Systems Specification
The RPC-Memory Specification Case Study1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61984-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Andersen / Bubenko / Soelvberg Advanced Information Systems Engineering
Third International Conference CAiSE '91, Trondheim, Norway, May 13-15, 19911. Auflage 1991Verlag: SpringerISBN: 978-3-540-54059-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eugster Object-Oriented Technology. ECOOP 2008 Workshop Reader
ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final ReportsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02046-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Henzinger / Sastry Hybrid Systems: Computation and Control
First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64358-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cousot / Schmidt Static Analysis
Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61739-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Scheideler Universal Routing Strategies for Interconnection Networks
1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64505-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Deprettere / Vassiliadis Embedded Processor Design Challenges
Systems, Architectures, Modeling, and Simulation - SAMOS1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43322-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sventek / Coulson Middleware 2000
IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67352-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wang / Li Simulated Evolution and Learning
6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-47331-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort