Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3167
- 350
- 4
- 1
- Erscheinungsjahr
-
- 1
- 5
- 29
- 77
- 238
- 95
- 63
- 78
- 82
- 92
- 66
- 25
- 39
- 31
- 33
- 21
- 25
- 21
- 124
- 77
- 149
- 302
- 302
- 207
- 106
- 140
- 104
- 112
- 82
- 86
- 82
- 76
- 78
- 67
- 65
- 60
- 40
- 65
- 33
- 34
- 26
- 21
- 16
- 7
- 4
- 1
- 5
- 11
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- Autoren
-
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 12
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 11
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 17
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 7
- 3
- 2
- 3
- 24
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 23
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 3
- 3
- 8
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 13
- 2
- 7
- 2
- 6
- 2
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 4
- 4
- 4
- 2
- 3
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 4
- 3
- 2
- 4
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 7
- 2
- 7
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 10
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 6
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 6
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 5
- 3
- 7
- 4
- 3
- 4
- 5
- 5
- 3
- 4
- 4
- 5
- 5
- 4
- 3
- 3
- 6
- 4
- 3
- 4
- 4
- 3
- 4
- 3
- 9
- 3
- 3
- 4
- 5
- 3
- 3
- 4
- 4
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 6
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 3
- 3
- 4
- 5
- 4
- 9
- 8
- 3
- 3
- 3
- 4
- 5
- 3
- 8
- 4
- 6
- 6
- 3
- 4
- 28
- 11
- 3
- 4
- 9
- 4
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 4
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 4
- 4
- 3
- 5
- 6
- 5
- 7
- 5
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 8
- 4
- 4
- 3
- 4
- 4
- 3
- 3
- 4
- 6
- 3
- 3
- 4
- 4
- 3
- 13
- 4
- 5
- 3
- 3
- 7
- 3
- 4
- 5
- 15
- 3
- 4
- 3
- 3
- 4
- 10
- 3
- 3
- 3
- 8
- 3
- 3
- 6
- 3
- 5
- 3
- 5
- 6
- 4
- 6
- 4
- 3
- 6
- 6
- 3
- 3
- 8
- 3
- 4
- Verlag
-
- 3
- 2
- 1
- 1
- 304
- 2
- 1
- 1
- 7
- 4
- 3
- 33
- 13
- 71
- 1
- 26
- 369
- 1
- 6
- 5
- 2
- 1
- 2
- 6
- 2
- 4
- 3
- 1
- 3
- 8
- 1
- 3
- 2
- 1
- 1
- 21
- 1
- 2
- 1
- 1
- 4
- 4
- 1
- 13
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 8
- 2
- 6
- 2
- 1
- 2348
- 20
- 2
- 6
- 17
- 16
- 8
- 2
- 19
- 2
- 18
- 1
- 23
- 7
- 2
- 1
- 21
- 25
- 1
- 3
- 4
- 1
- 1
- 1
- Preis
-
- 129
- 508
- 2033
- 852
- Sprachen
-
- 3288
- 231
- 7
- 1
- Verfügbarkeit
-
- 3462
- 60
- Katalog
-
- 3522
- 183
-
Kameyama / Stuckey Functional and Logic Programming
7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21402-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kelemenova / Kelemen Trends, Techniques, and Problems in Theoretical Computer Science
4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 19861. Auflage 1987Verlag: SpringerISBN: 978-3-540-18535-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kündig / Bührer / Dähler Embedded Systems
New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 19861. Auflage 1987Verlag: SpringerISBN: 978-3-540-18581-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Main / Melton / Mislove Mathematical Foundations of Programming Language Semantics
3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 ProceedingsErscheinungsjahr 1988Verlag: SpringerISBN: 978-3-540-19020-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leeuwen Distributed Algorithms
2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-19366-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aceto / Ingólfsdóttir Foundations of Software Science and Computational Structures
9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33045-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nayak / Zaki Knowledge Discovery from XML Documents
First International Workshop, KDXD 2006, Singapore, April 9, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33180-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Löwe / Südholt Software Composition
5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37657-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rangarajan / Figueiredo / Zerubia Energy Minimization Methods in Computer Vision and Pattern Recognition
4th International Workshop, EMMCVPR 2003, Lisbon, Portugal, July 7-9, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40498-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dillon Debugging Strategies for .Net Developers
Softcover Nachdruck of the Original 1. Auflage 2003Verlag: ApressISBN: 978-1-59059-059-1Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen32,09 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Fitzgerald / Hayes FM 2005: Formal Methods
International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27882-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lirkov / Margenov / Wasniewski Large-Scale Scientific Computing
4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21090-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Guelfi / Astesiano / Reggio Scientific Engineering of Distributed Java Applications.
Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21091-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Boiten / Derrick / Smith Integrated Formal Methods
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21377-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Karl / Willig / Wolisz Wireless Sensor Networks
First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20825-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krall Software and Compilers for Embedded Systems
7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20145-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Giunchiglia / Tacchella Theory and Applications of Satisfiability Testing
6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20851-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fernández Rivera / Bubak / Gómez Tato Grid Computing
First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21048-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
McLysaght / Huson Comparative Genomics
RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28932-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Castro / van Renesse Peer-to-Peer Systems IV
4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29068-1Medium: 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