Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1064
- Erscheinungsjahr
-
- 5
- 43
- 39
- 22
- 4
- 4
- 10
- 14
- 12
- 8
- 14
- 16
- 23
- 20
- 17
- 26
- 14
- 37
- 31
- 23
- 26
- 16
- 44
- 38
- 41
- 51
- 24
- 43
- 24
- 36
- 48
- 48
- 42
- 32
- 26
- 34
- 22
- 19
- 12
- 15
- 7
- 6
- 5
- 3
- 2
- 7
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 2
- 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
- 3
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 7
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 2
- 13
- 7
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 8
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 14
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 2
- 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
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 5
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 6
- 5
- 4
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 4
- 5
- 2
- 4
- 3
- 2
- 5
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 5
- 3
- 3
- 4
- 4
- 6
- 4
- 2
- 3
- 3
- 2
- 3
- 18
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 13
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- Verlag
-
- 1060
- 4
- Preis
-
- 8
- 31
- 868
- 157
- Sprachen
-
- 1063
- 2
- 1
- Verfügbarkeit
-
- 1063
- 1
- Katalog
-
- 1064
- 52
-
Královic / Královic / Kurková SOFSEM 2025: Theory and Practice of Computer Science
50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-82669-6Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Janßen Trends in Computer Algebra
International Symposium, Bad Neuenahr, May 19-21, 1987. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-18928-2Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage32,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Biswas / Nori Foundations of Software Technology and Theoretical Computer Science
11th Conference, New Delhi, India, December 17-19, 1991. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54967-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nori / Kumar Foundations of Software Technology and Theoretical Computer Science
Eighth Conference, Pune, India, December 21-23, 1988. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-50517-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nori / Veni Madhavan Foundations of Software Technology and Theoretical Computer Science
Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-53487-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cuny / Ehrig / Engels Graph Grammars and Their Application to Computer Science
5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61228-5Medium: 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 -
Thiagarajan Foundations of Software Technology and Theoretical Computer Science
15th Conference; Bangalore, India, December 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60692-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ganzha / Mayr / Vorozhtsov Computer Algebra in Scientific Computing
9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45182-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ganzha / Mayr / Vorozhtsov Computer Algebra in Scientific Computing
8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28966-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gerdt / Koepf / Seiler Computer Algebra in Scientific Computing
18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-45640-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gerdt / Koepf / Mayr Computer Algebra in Scientific Computing
14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32972-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gerdt / Koepf / Seiler Computer Algebra in Scientific Computing
19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66319-7Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Calmet Computer Algebra
EUROCAM '82, European Computer Algebra Conference, Marseilles, France, April 5-7, 19821. Auflage 1982Verlag: SpringerISBN: 978-3-540-11607-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hulzen Computer Algebra
EUROCAL'83, European Computer Algebra Conference London, England, March 28-30, 1983 ProceedingsSoftcover Nachdruck of the original 1. Auflage 1983Verlag: SpringerISBN: 978-3-540-12868-7Medium: Buch28,88 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage28,88 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Domingo-Ferrer / Franconi Privacy in Statistical Databases
CENEX-SDC Project International Conference, PSD 2006, Rome, Italy, December 13-15, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-49330-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Srivas / Camilleri Formal Methods in Computer-Aided Design
First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61937-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Berry / Comon / Finkel Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42345-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wolper Computer Aided Verification
7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60045-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hunt / Hunt, Jr. / Somenzi Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40524-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Courcoubetis Computer Aided Verification
5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56922-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alur / Henzinger Computer Aided Verification
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61474-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Davenport / Farmer / Rabe Intelligent Computer Mathematics
18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22672-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Doncel / Remke / Di Pompeo Computer Performance Engineering
20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-80931-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Halbwachs / Peled Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66202-0Medium: 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