Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1116
- Erscheinungsjahr
-
- 1
- 39
- 44
- 39
- 22
- 5
- 5
- 6
- 9
- 10
- 13
- 13
- 20
- 18
- 21
- 21
- 26
- 24
- 43
- 27
- 26
- 24
- 16
- 42
- 39
- 42
- 55
- 24
- 44
- 23
- 37
- 44
- 48
- 43
- 31
- 28
- 35
- 22
- 19
- 12
- 15
- 7
- 6
- 5
- 3
- 2
- 7
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 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
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 7
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 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
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 5
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 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
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 14
- 7
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 11
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 13
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 3
- 2
- 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
- 3
- 4
- 2
- 1
- 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
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 12
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 5
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 3
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 5
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 8
- 3
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 4
- 4
- 6
- 2
- 3
- 2
- 2
- 2
- 17
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 3
- 4
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- Verlag
-
- 1107
- 1
- 3
- 1
- 4
- Preis
-
- 8
- 32
- 914
- 162
- Sprachen
-
- 1115
- 2
- 1
- Verfügbarkeit
-
- 1105
- 11
- Katalog
-
- 1116
- 55
-
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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hussain / Jiang / Ren Advances in Brain Inspired Cognitive Systems
14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-962881-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cerioli / Reggio Recent Trends in Algebraic Development Techniques
15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers2002Verlag: SpringerISBN: 978-3-540-43159-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Comon / Marche / Treinen Constraints in Computational Logics: Theory and Applications
International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised LecturesErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41950-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Teillaud Towards Dynamic Randomized Algorithms in Computational Geometry
1. Auflage 1993Verlag: SpringerISBN: 978-3-540-57503-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cheng / Yu / Liu Advances in Knowledge Discovery and Data Mining
6th Pacific-Asia Conference, PAKDD 2002, Taipei, Taiwan, May 6-8, 2002. Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43704-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ziarko / Yao Rough Sets and Current Trends in Computing
Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000 Revised Papers1. Auflage 2001Verlag: SpringerISBN: 978-3-540-43074-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Sandford Using Sophisticated Models in Resolution Theorem Proving
1. Auflage 1980Verlag: SpringerISBN: 978-3-540-10231-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ishikawa / Oldehoeft / Reynders Scientific Computing in Object-Oriented Parallel Environments
First International Conference, ISCOPE '97, Marina del Rey, California, December 8-11, 1997. Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63827-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Weichselberger / Pöhlmann A Methodology for Uncertainty in Knowledge-Based Systems
1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52336-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Quimper Integration of AI and OR Techniques in Constraint Programming
13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33953-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Childs / Scott / Daniel Codes for Boundary-Value Problems in Ordinary Differential Equations
Proceedings of a Working Conference, May 14-17, 19781. Auflage 1979Verlag: SpringerISBN: 978-3-540-09554-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Michel Integration of AI and OR Techniques in Constraint Programming
12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-18007-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Furuhashi Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms
IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, August 9 - 10, 1994. Selected Papers1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60607-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Baratgin / Jacquet / Brochier Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-84594-9Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Baratgin / Jacquet / Brochier Reasoning in Context. Human Minds, Artificial Systems, and Their Interactions
4th International Conference on Human and Artificial Rationalities, HAR 2025, Paris, France, September 16–19, 2025, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-34977-4Medium: Buch79,17 € (inkl. MwSt.)
vorbestellbar79,17 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. Oktober 2026
-
Bert / Bowen / Henson ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43166-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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
-
Bernardo / Cimatti Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34304-2Medium: 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
