Ergebnisse filtern
-
- 288
-
- 46
- 183
- 14
- 10
- 35
-
- 1
- 12
- 238
- 37
-
- 288
- 2
-
- 288
-
- 288
- 4
Mathematik Allgemein
-
O'Donnell / Myers Constructivity in Computer Science
Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55631-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Urbat / König Coalgebraic Methods in Computer Science
17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-66437-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Meinke / Gurevich Computer Science Logic
7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58277-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thomas / Nielsen Computer Science Logic
11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64570-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kahle / Stärk / Schroeder-Heister Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42752-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Jäger / Richter Computer Science Logic
6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56992-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gottlob / Seyr / Grandjean Computer Science Logic
12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65922-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Henzinger / Duparc Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74914-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Schönfeld / Kleine Büning Computer Science Logic
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54487-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kleine Buening Computer Science Logic
9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61377-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Makowsky / Baaz Computer Science Logic
17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40801-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grädel / Kahle Computer Science Logic
23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04026-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Richter / Jäger Computer Science Logic
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55789-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rodriguez-Artalejo / Flum Computer Science Logic
13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66536-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bradfield Computer Science Logic
16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44240-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tiuryn / Pacholski Computer Science Logic
8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60017-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ries / Paulusma Graph-Theoretic Concepts in Computer Science
49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-43379-5Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Milanic / Král / Král Graph-Theoretic Concepts in Computer Science
50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024, Revised Selected Papers2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-75408-1Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mycielski / Salomaa / Rozenberg Structures in Logic and Computer Science
A Selection of Essays in Honor of A. Ehrenfeucht1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63246-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pitt / Curien / Rydeheard Category Theory and Computer Science
Paris, France, September 3-6, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54495-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Matiyasevich / Nerode Logical Foundations of Computer Science
Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58140-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pitt / Johnstone / Rydeheard Category Theory and Computer Science
6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60164-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nerode / Artemov Logical Foundations of Computer Science
International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-93099-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nerode / Adian Logical Foundations of Computer Science
4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63045-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rosolini / Moggi Category Theory and Computer Science
7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63455-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort