Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1172
- 1121
- Erscheinungsjahr
-
- 10
- 108
- 134
- 142
- 154
- 116
- 133
- 136
- 143
- 159
- 157
- 135
- 144
- 125
- 129
- 105
- 120
- 142
- 1
- Autoren
-
- 2
- 3
- 3
- 3
- 2
- 2
- 9
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 15
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 72
- 2
- 3
- 2
- 2
- 5
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 3
- 16
- 4
- 2
- 2
- 2
- 17
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 8
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 3
- 4
- 3
- 5
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 4
- 2
- 6
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 4
- 9
- 2
- 2
- 2
- 2
- 6
- 2
- 7
- 2
- 5
- 2
- 4
- 5
- 3
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 12
- 2
- 3
- 2
- 2
- 6
- 3
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 3
- 2
- 2
- 2
- 6
- 5
- 2
- 2
- 6
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 8
- 3
- 11
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 7
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 13
- 4
- 2
- 2
- 7
- 2
- 2
- 3
- 3
- 7
- 3
- 3
- 5
- 2
- 11
- 3
- 2
- 12
- 10
- 2
- 2
- 6
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 9
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 6
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 3
- 6
- 3
- 2
- 2
- 7
- 3
- 2
- 3
- 3
- 35
- 12
- 9
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 18
- 2
- 2
- 10
- 2
- 10
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 3
- 7
- 5
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 4
- 2
- 5
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 7
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 10
- 7
- 4
- 3
- 3
- 4
- 8
- 5
- 4
- 3
- 4
- 16
- 8
- 3
- 4
- 4
- 3
- 10
- 26
- 3
- 8
- 3
- 85
- 5
- 4
- 5
- 5
- 3
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 11
- 5
- 6
- 5
- 4
- 5
- 4
- 3
- 8
- 6
- 4
- 3
- 4
- 3
- 3
- 3
- 6
- 3
- 3
- 6
- 4
- 3
- 3
- 4
- 6
- 9
- 3
- 3
- 4
- 6
- 11
- 3
- 13
- 3
- 8
- 4
- 4
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 11
- 3
- 9
- 4
- 3
- 3
- 4
- 3
- 5
- 11
- 4
- 3
- 4
- 8
- 3
- 8
- 18
- 6
- 5
- 3
- 4
- 3
- 5
- 3
- 5
- 6
- 3
- 3
- 6
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 3
- 7
- 3
- 4
- 6
- 3
- 8
- 4
- 3
- 4
- 5
- 6
- 3
- 4
- 16
- 4
- 4
- 10
- 4
- 5
- 5
- 4
- 8
- 5
- 3
- 8
- 14
- 5
- 3
- 3
- 6
- 3
- 10
- 3
- 4
- 6
- 13
- 8
- 4
- 6
- 5
- 4
- 4
- 5
- 11
- 3
- 5
- 4
- 7
- 7
- 4
- 4
- 3
- 4
- 7
- 4
- 5
- 4
- 3
- 4
- 4
- 3
- 4
- 8
- 15
- 3
- 6
- 9
- 3
- 5
- 3
- 4
- 6
- 3
- 6
- 10
- 5
- 6
- 3
- 3
- 8
- 6
- 6
- 4
- 3
- 3
- 5
- 9
- 5
- 3
- 3
- 5
- 5
- 22
- 6
- 3
- 6
- 3
- 18
- 5
- 4
- 7
- 7
- 9
- 3
- 9
- 5
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 61
- 4
- 3
- 4
- 6
- 3
- 6
- 4
- 3
- 6
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 12
- 73
- 3
- 3
- 4
- 3
- 4
- 7
- 7
- 9
- 3
- 3
- 6
- 4
- 5
- 4
- 3
- 5
- 4
- 4
- 4
- 4
- 3
- 14
- 5
- 4
- 3
- 3
- 3
- 7
- 5
- 8
- 7
- 5
- 3
- 5
- 3
- 3
- 4
- 4
- 10
- 5
- 4
- 3
- 3
- 4
- 3
- 6
- 4
- 4
- 13
- 8
- 3
- 6
- 4
- 5
- 3
- 5
- 3
- 3
- 11
- 4
- 4
- 7
- 4
- 4
- 5
- 3
- 3
- 3
- 6
- 7
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 12
- 4
- 5
- 15
- 28
- 11
- 3
- 6
- 3
- 11
- 9
- 3
- 4
- 7
- 3
- 23
- 3
- 3
- 3
- 6
- 3
- 3
- 7
- 3
- 3
- 15
- 4
- 9
- 3
- 3
- 6
- 3
- 9
- 5
- 3
- 3
- 9
- 5
- 9
- 5
- 9
- 4
- 6
- 3
- 4
- 4
- 3
- 3
- 4
- 6
- 21
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 18
- 7
- 5
- 3
- 4
- 12
- 27
- 24
- 3
- 3
- 5
- 4
- 10
- 10
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 6
- 4
- 20
- 3
- 83
- 4
- 30
- 3
- 4
- 5
- 3
- 4
- 4
- 4
- 3
- 5
- 3
- 5
- 20
- 19
- 18
- 3
- 3
- 3
- 4
- 10
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 4
- 3
- 5
- 6
- 3
- 3
- 4
- 4
- 3
- 5
- 3
- 3
- 4
- 10
- 11
- 8
- 5
- 3
- 4
- 5
- 4
- 4
- 9
- 3
- 5
- 7
- 3
- 3
- 3
- 17
- 7
- 10
- 3
- 4
- 5
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 8
- 7
- 6
- 7
- 3
- 7
- 3
- 19
- 4
- 4
- 3
- 3
- 3
- 12
- 3
- 3
- 5
- 3
- 4
- 7
- 3
- 12
- 4
- 8
- 5
- 6
- 5
- 6
- 3
- 3
- 3
- 5
- 4
- 6
- 3
- 4
- 3
- Verlag
-
- 1143
- 172
- 937
- 34
- 7
- Preis
-
- 101
- 1957
- 235
- Sprachen
-
- 2293
- Verfügbarkeit
-
- 2289
- 4
- Katalog
-
- 2293
- 20
-
Guerraoui / Romano Transactional Memory. Foundations, Algorithms, Tools, and Applications
COST Action Euro-TM IC1001Erscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-14720-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Liu / Duan Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected PapersErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-17404-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark42,79 € (inkl. MwSt.)
sofort verfügbar42,79 € (inkl. MwSt.)
sofort verfügbar
-
Petit / Bonakdarpour Stabilization, Safety, and Security of Distributed Systems
18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-49258-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bjørner / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28716-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Gleich / Litvak / Komjáthy Algorithms and Models for the Web Graph
12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-26783-8Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Eigenmann / Midkiff / Li Languages and Compilers for High Performance Computing
17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28009-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Frangi / Hernandez / Radeva Functional Imaging and Modeling of the Heart
Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-26161-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Nickovic / Jurdzinski Formal Modeling and Analysis of Timed Systems
10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-33364-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bouyer / Asarin Formal Modeling and Analysis of Timed Systems
4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-45026-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Colinet / Rendsvig / Katrenko Pristine Perspectives on Logic, Language and Computation
ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers2014Verlag: SpringerISBN: 978-3-662-44115-2Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Brodnik / Viola / Lopez-Ortiz Space-Efficient Data Structures, Streams, and Algorithms
Papers in Honor of J. Ian Munro, on the Occasion of His 66th Birthday2013Verlag: SpringerISBN: 978-3-642-40272-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Kurková / Kurková / Manolopoulos Artificial Neural Networks and Machine Learning – ICANN 2018
27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part IErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-01418-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Seidl / Pulina Theory and Applications of Satisfiability Testing - SAT 2020
23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-51824-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Kaminski / Kaminski / Szufel Algorithms and Models for the Web Graph
17th International Workshop, WAW 2020, Warsaw, Poland, September 21-22, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-48477-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Burke / Trick Practice and Theory of Automated Timetabling V
5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers2005Verlag: SpringerISBN: 978-3-540-32421-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Kulkarni / Schiper Stabilization, Safety, and Security of Distributed Systems
10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings2008Verlag: SpringerISBN: 978-3-540-89335-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Agrawal / Du / Duan Theory and Applications of Models of Computation
5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-79228-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
Kratochvil / Li / Fiala Theory and Applications of Models of Computation
7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-13562-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Ouaknine / Vaandrager Formal Modeling and Analysis of Timed Systems
7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04368-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Liu Structured Object-Oriented Formal Language and Method
Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39277-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar
-
Davis / Fehnker / McIver Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48899-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Dolev / Cobb / Fischer Stabilization, Safety, and Security of Distributed Systems
12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16022-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bonato / Pralat / Graham Algorithms and Models for the Web Graph
13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-49786-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Iwama / Murao / Kawano Theory of Quantum Computation, Communication, and Cryptography
7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-35655-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Avratchenkov / Litvak / Donato Algorithms and Models for the Web-Graph
6th International Workshop, WAW 2009 Barcelona, Spain, February 12-13, 2009, Proceedings2009Verlag: Springer Berlin HeidelbergISBN: 978-3-540-95994-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
