Ergebnisse filtern
- Fachgebiet
- Medium
-
- 563
- Erscheinungsjahr
-
- 1
- 7
- 13
- 35
- 27
- 22
- 53
- 43
- 32
- 43
- 32
- 34
- 18
- 20
- 28
- 22
- 24
- 19
- 14
- 26
- 11
- 18
- 6
- 5
- 3
- 2
- 3
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 3
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 3
- 6
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Verlag
-
- 561
- 1
- 1
- Preis
-
- 1
- 490
- 72
- Sprachen
-
- 563
- Verfügbarkeit
-
- 563
- Katalog
-
- 563
- 26
-
Bubak / Dongarra / Wasniewski Recent Advances in Parallel Virtual Machine and Message Passing Interface
4th European PVM/MPI User's Group Meeting Cracow, Poland, November 3-5, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63697-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kranzlmüller / Kacsuk / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
9th European PVM/MPI User's Group Meeting Linz, Austria, September 29 - October 2, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44296-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Alexandrov / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65041-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Capello / Herault / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75415-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / Corradini Formal Methods for the Design of Real-Time Systems
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23068-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Jones / Hagiya / Sato Logic, Language and Computation
Festschrift in Honor of Satoru Takasu1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57935-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / Inverardi Formal Methods for Software Architectures
Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20083-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Robbins The Cray X-MP/Model 24
A Case Study in Pipelined Architecture and Vector Processing1. Auflage 2001Verlag: SpringerISBN: 978-0-387-97089-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rusinowitch / Remy Conditional Term Rewriting Systems
Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56393-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Maluszynski / Wirsing Programming Language Implementation and Logic Programming
3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54444-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Owe / Krogdahl / Lyche From Object-Orientation to Formal Methods
Essays in Memory of Ole-Johan Dahl1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21366-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rao Extensions of the UNITY Methodology
Compositionality, Fairness and Probability in Parallelism1. Auflage 1995Verlag: SpringerISBN: 978-3-540-59173-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Furukawa / Tanaka / Fujisaki Logic Programming '88
Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988Erscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51564-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bergstra / Feijs Algebraic Methods II: Theory, Tools and Applications
1. Auflage 1991Verlag: SpringerISBN: 978-3-540-53912-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Arnold CAAP '90
15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52590-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Focardi / Gorrieri Foundations of Security Analysis and Design
Tutorial Lectures1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42896-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hutter / Stephan / Traverso Applied Formal Methods - FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66462-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Deransart / Maluszynski Programming Language Implementation and Logic Programming
International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-53010-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Dwarkadas Languages, Compilers, and Run-Time Systems for Scalable Computers
5th International Workshop, LCR 2000 Rochester, NY, USA, May 25-27, 2000 Selected PapersErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41185-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Katoen Formal Methods for Real-Time and Probabilistic Systems
5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66010-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Glaser / Hartel / Kuchen Programming Languages: Implementations, Logics, and Programs
9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63398-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Eigenmann / Li / Midkiff Languages and Compilers for High Performance Computing
17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28009-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
