Ergebnisse filtern
-
- 315
-
- 315
-
- 1
- 13
- 260
- 41
-
- 315
- 2
-
- 315
-
- 1
-
- 315
- 4
-
Martin-Löf / Mints COLOG-88
International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52335-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dabrowski / Pieprzyk / Pomykala Number-Theoretic Methods in Cryptology
4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-82379-4Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ralescu Fuzzy Logic in Artificial Intelligence
IJCAI '93 Workshop, Chamberry, France, August 28, 1993. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58409-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Halevi Advances in Cryptology - CRYPTO 2009
29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-03355-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baumgartner Theory Reasoning in Connection Calculi
1. Auflage 1998Verlag: SpringerISBN: 978-3-540-65509-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brun / Carletti / Bougleux Graph-Based Representations in Pattern Recognition
14th IAPR-TC-15 International Workshop, GbRPR 2025, Caen, France, June 25-27, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-94138-2Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ghosh / Zhang Algorithmic Aspects in Information and Management
18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-981-97-7800-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 Werktage -
Yan / Liu / Westerståhl The Connectives in Logic and Language
4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-86053-9Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bai / Wegner Electronic Information and Communication in Mathematics
ICM 2002 International Satellite Conference, Beijing, China, August 29-31, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40689-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chinchuluun / Enkhbat / Du Algorithmic Aspects in Information and Management
19th International Conference, AAIM 2025, Ulaanbaatar, Mongolia, June 23-25, 2025, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-955656-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gunter / Felty Theorem Proving in Higher Order Logics
10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63379-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gu / Hell / Yang Algorithmic Aspects in Information and Management
10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07955-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hussain / Jiang / Ren Advances in Brain Inspired Cognitive Systems
14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-962884-1Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ghosh / Zhang Algorithmic Aspects in Information and Management
18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-981-97-7797-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 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 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 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 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 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 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 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 -
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 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 Werktage -
Zhong / Ohsuga New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66645-5Medium: 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