Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1865
- 6
- 3
- Erscheinungsjahr
-
- 7
- 9
- 19
- 13
- 18
- 18
- 25
- 36
- 18
- 38
- 24
- 44
- 31
- 41
- 30
- 104
- 44
- 78
- 159
- 129
- 147
- 116
- 115
- 82
- 76
- 66
- 47
- 45
- 38
- 38
- 36
- 29
- 31
- 18
- 33
- 14
- 19
- 9
- 9
- 7
- 4
- 1
- 4
- 2
- Autoren
-
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 8
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 4
- 1
- 1
- 3
- 2
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 11
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 8
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 5
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 8
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 13
- 7
- 2
- 16
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 4
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 6
- 4
- 2
- 2
- 5
- 4
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 15
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 6
- 2
- 2
- 5
- 2
- 2
- 8
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 7
- 4
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 16
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 10
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 6
- 2
- 3
- 6
- 16
- 5
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 8
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- Verlag
-
- 1
- 2
- 2
- 3
- 3
- 9
- 1
- 22
- 1
- 2
- 6
- 1
- 3
- 1
- 3
- 1
- 4
- 4
- 1
- 1
- 3
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1624
- 13
- 7
- 1
- 22
- 63
- 19
- 7
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 14
- 2
- Preis
-
- 2
- 47
- 1132
- 693
- Sprachen
-
- 1863
- 10
- 2
- Verfügbarkeit
-
- 1871
- 3
- Katalog
-
- 1874
- 114
-
Mira / Alvarez Artificial Neural Nets. Problem Solving Methods
7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Maó, Menorca, Spain, June 3-6. Proceedings, Part IIErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40211-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Lima Marquezino / Portugal / Lavor A Primer on Quantum Computing
1. Auflage 2019Verlag: SpringerISBN: 978-3-030-19065-1Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tianruo Yang Parallel Numerical Computation with Applications
1999. Auflage 1999Verlag: Springer UsISBN: 978-0-7923-8588-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen160,49 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Parisi-Presicce Recent Trends in Algebraic Development Techniques
12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected PapersErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64299-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Monostori / Vancza / Ali Engineering of Intelligent Systems
14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4-7, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42219-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kistler Disconnected Operation in a Distributed File System
1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60627-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gavrilova / Tan / Thapliyal Transactions on Computational Science XXIV
Special Issue on Reversible ComputingErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45710-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Henzinger / Sastry Hybrid Systems: Computation and Control
First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64358-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kordon / Moldt Application and Theory of Petri Nets and Concurrency
37th International Conference, PETRI NETS 2016, Toru¿, Poland, June 19-24, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-39085-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hromkovic / Hromkovic / Klasing Dissemination of Information in Communication Networks
Broadcasting, Gossiping, Leader Election, and Fault-Tolerance1. Auflage 2005Verlag: SpringerISBN: 978-3-540-00846-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marchetti-Spaccamela / Segal Theory and Practice of Algorithms in (Computer) Systems
First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19753-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leach Albert / Monien / Rodriguez Artalejo Automata, Languages and Programming
18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54233-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Nanda / Jeppu Formal Methods for Safety and Security
Case Studies for Aerospace Applications1. Auflage 2018Verlag: SpringerISBN: 978-981-10-4120-4Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nanda / Jeppu Formal Methods for Safety and Security
Case Studies for Aerospace ApplicationsSoftcover Nachdruck of the original 1. Auflage 2018Verlag: SpringerISBN: 978-981-13-5054-2Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Durán Rewriting Logic and Its Applications
9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34004-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fong / Kwan / Wang Hybrid Learning and Education
First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85169-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cheng / Du Steiner Trees in Industry
2001. Auflage 2001Verlag: Springer UsISBN: 978-1-4020-0099-7Medium: Buch212,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen212,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Vingron / Wong Research in Computational Molecular Biology
12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78838-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Madeira / Benevides Dynamic Logic. New Trends and Applications
First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-73578-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mira / Prieto Bio-Inspired Applications of Connectionism
6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part IIErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42237-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Löh Exploring Formalisation
A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology1. Auflage 2022Verlag: SpringerISBN: 978-3-031-14648-0Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bensoussan / Verjus Future Tendencies in Computer Science, Control and Applied Mathematics
International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-56320-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hromkovic / Hromkovic / Klasing Dissemination of Information in Communication Networks
Broadcasting, Gossiping, Leader Election, and Fault-Tolerance1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-3-642-05648-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alur / Henzinger / Sontag Hybrid Systems III
Verification and Control1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61155-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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