Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3170
- 352
- 3
- 1
- Erscheinungsjahr
-
- 1
- 1
- 29
- 76
- 238
- 96
- 66
- 77
- 85
- 93
- 66
- 25
- 39
- 32
- 34
- 21
- 25
- 21
- 126
- 77
- 149
- 302
- 300
- 205
- 107
- 141
- 105
- 113
- 81
- 86
- 82
- 77
- 78
- 67
- 65
- 60
- 40
- 65
- 33
- 34
- 26
- 21
- 16
- 7
- 4
- 1
- 5
- 11
- 4
- 2
- 1
- 2
- 2
- 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
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 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
- 12
- 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
- 3
- 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
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 24
- 4
- 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
- 3
- 3
- 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
- 7
- 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
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 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
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 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
- 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
- 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
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 6
- 3
- 3
- 2
- 4
- 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
- 7
- 6
- 5
- 7
- 5
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 8
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 6
- 3
- 3
- 4
- 4
- 3
- 13
- 4
- 5
- 3
- 3
- 7
- 3
- 4
- 5
- 15
- 4
- 4
- 3
- 3
- 4
- 10
- 3
- 3
- 4
- 8
- 3
- 3
- 6
- 3
- 5
- 3
- 5
- 6
- 4
- 6
- 4
- 3
- 6
- 6
- 3
- 3
- 6
- 3
- 4
- Verlag
-
- 3
- 2
- 1
- 1
- 292
- 2
- 1
- 1
- 7
- 4
- 1
- 34
- 16
- 65
- 1
- 26
- 369
- 1
- 6
- 5
- 1
- 1
- 6
- 1
- 2
- 3
- 2
- 4
- 3
- 1
- 4
- 9
- 1
- 3
- 2
- 1
- 1
- 21
- 1
- 2
- 1
- 1
- 4
- 4
- 1
- 12
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 7
- 2
- 6
- 2
- 1
- 2320
- 21
- 3
- 2
- 51
- 2
- 15
- 8
- 7
- 2
- 19
- 2
- 16
- 1
- 41
- 2
- 1
- 21
- 25
- 1
- 3
- 1
- 1
- 1
- 1
- Preis
-
- 131
- 512
- 2035
- 848
- Sprachen
-
- 3290
- 233
- 7
- 1
- Verfügbarkeit
-
- 3464
- 62
- Katalog
-
- 3526
- 185
-
Kakas / Sadri Computational Logic: Logic Programming and Beyond
Essays in Honour of Robert A. Kowalski, Part I1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43959-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gumm / Sommer Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität
1. Auflage 2019Verlag: De GruyterISBN: 978-3-11-043405-7Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark59,95 € (inkl. MwSt.)
sofort verfügbar59,95 € (inkl. MwSt.)
sofort verfügbar -
Filipuk / Kozlowski Multi-variable Calculus
Volume 2: Multi-variable Calculus1. Auflage 2020Verlag: De GruyterISBN: 978-3-11-066041-8Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark84,95 € (inkl. MwSt.)
sofort verfügbar84,95 € (inkl. MwSt.)
sofort verfügbar -
Bunke / Dickinson / Kraetzl A Graph-Theoretic Approach to Enterprise Network Dynamics
2007. Auflage 2006Verlag: Birkhauser BostonISBN: 978-0-8176-4485-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen106,99 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Gardner / Yoshida CONCUR 2004 -- Concurrency Theory
15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22940-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jaffar / Yap Concurrency and Parallelism, Programming, Networking, and Security
Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2 - 5, 1996, Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-62031-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pierre / Kropf Correct Hardware Design and Verification Methods
10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66559-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Banerjee / Gelernter / Nicolau Languages and Compilers for Parallel Computing
6th International Workshop, Portland, Oregon, USA, August 12 - 14, 1993. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-57659-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ehrig / Nagl / Rozenberg Graph-Grammars and Their Application to Computer Science
3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 19861. Auflage 1987Verlag: SpringerISBN: 978-3-540-18771-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dahl / Niemelä Logic Programming
23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74608-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alain Advances in Computing Science - ASIAN 2002: Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing
7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00195-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Guerraoui Middleware 2001
IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42800-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schwenker / Marinai Artificial Neural Networks in Pattern Recognition
Second IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37951-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Asarin / Bouyer Formal Modeling and Analysis of Timed Systems
4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45026-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Paterson Automata, Languages and Programming
17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52826-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abrial / Börger / Langmaack Formal Methods for Industrial Applications
Specifying and Programming the Steam Boiler ControlErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61929-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sloot / Abramson / Bogdanov Computational Science - ICCS 2003
International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part IIIErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40196-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nishio / Yonezawa Object Technologies for Advanced Software
First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57342-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Diaz / Orejas TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989
Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)1. Auflage 1989Verlag: SpringerISBN: 978-3-540-50939-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Voronkov Perspectives of Systems Informatics
6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70880-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Woolston Pro Ajax and the .Net 2.0 Platform
1. Auflage 2006Verlag: ApressISBN: 978-1-59059-670-8Medium: Buch46,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen46,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Cai / Cooper / Zhu Theory and Applications of Models of Computation
4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72503-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Unland / Klusch / Calisti Software Agent-Based Applications, Platforms and Development Kits
Erscheinungsjahr 2005Verlag: SpringerISBN: 978-3-7643-7347-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ball / Jones Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37406-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gibbons / Nogueira Mathematics of Program Construction
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31112-3Medium: 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