Ergebnisse filtern
- Fachgebiet
- Medium
-
- 4447
- 26
- 9
- Erscheinungsjahr
-
- 1
- 1
- 25
- 67
- 54
- 50
- 70
- 117
- 134
- 99
- 135
- 91
- 142
- 104
- 120
- 53
- 243
- 80
- 167
- 282
- 199
- 272
- 230
- 235
- 211
- 188
- 139
- 112
- 109
- 101
- 86
- 91
- 81
- 58
- 58
- 63
- 38
- 47
- 27
- 17
- 18
- 10
- 4
- 2
- 8
- 8
- 4
- 3
- 2
- 1
- 2
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 5
- 4
- 2
- 17
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 5
- 4
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 4
- 2
- 6
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 10
- 2
- 2
- 5
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 13
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 11
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 11
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 13
- 2
- 3
- 3
- 4
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 8
- 3
- 2
- 2
- 3
- 3
- 3
- 7
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 6
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 6
- 2
- 4
- 6
- 2
- 6
- 2
- 5
- 2
- 3
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 8
- 8
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 8
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 25
- 9
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 18
- 5
- 3
- 2
- 9
- 8
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 16
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 8
- 2
- 4
- 2
- 3
- 5
- 6
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 17
- 3
- 3
- 5
- 3
- 3
- 6
- 8
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 9
- 4
- 4
- 5
- 5
- 5
- 6
- 3
- 9
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 4
- 4
- 4
- 3
- 3
- 4
- 4
- 4
- 4
- 3
- 5
- 3
- 4
- 4
- 3
- 3
- 3
- 7
- 3
- 6
- 3
- 4
- 4
- 3
- 3
- 4
- 7
- 4
- 4
- 3
- 3
- 5
- 7
- 4
- 4
- 3
- 3
- 4
- 5
- 3
- 4
- 4
- 4
- 5
- 5
- 10
- 6
- 3
- 6
- 5
- 3
- 5
- 3
- 5
- 7
- 5
- 3
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 5
- 3
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 6
- 6
- 4
- 3
- 11
- 3
- 4
- 3
- 3
- 3
- 3
- 7
- 4
- 4
- 5
- 5
- 5
- 5
- 4
- 5
- 4
- 3
- 8
- 5
- 3
- 3
- 6
- 4
- 5
- 4
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 6
- 5
- 5
- 3
- 3
- 3
- 3
- 10
- 5
- 8
- 4
- 4
- 4
- 8
- 4
- 3
- 9
- 8
- 3
- 9
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 6
- 3
- 6
- 5
- 8
- 3
- 3
- 3
- 4
- 4
- 5
- 21
- 5
- 5
- 3
- 12
- 10
- 5
- 4
- 3
- 5
- 6
- 5
- 5
- 6
- 6
- 5
- 4
- 4
- 5
- 5
- 6
- 4
- 6
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 6
- 5
- 3
- 7
- 3
- 5
- 3
- 5
- 4
- 3
- 4
- 4
- 4
- 5
- 4
- 3
- 4
- 3
- 5
- 3
- 6
- 3
- 6
- 15
- 7
- 7
- 3
- 3
- 3
- 7
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 6
- 5
- 5
- 4
- 8
- 3
- 3
- 11
- 4
- 7
- 4
- 3
- 5
- 3
- 4
- 7
- 6
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 7
- 4
- 3
- 3
- 4
- 4
- 12
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 17
- 5
- 3
- 3
- 6
- 4
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 11
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 3
- 3
- 3
- 7
- 3
- 5
- 5
- 9
- 4
- 6
- 10
- 3
- 9
- 3
- 5
- 3
- 3
- 3
- 4
- 5
- 3
- 6
- 4
- 3
- 3
- 4
- 4
- 4
- 4
- 9
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 9
- 3
- 3
- 4
- 7
- 7
- 5
- 3
- 4
- 3
- 3
- 8
- 3
- 5
- 3
- 6
- 4
- 49
- 11
- 3
- 4
- 4
- 5
- 7
- 3
- 3
- 19
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 4
- 4
- 6
- 3
- 5
- 3
- 6
- 7
- 5
- 4
- 6
- 3
- 5
- 3
- 4
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 9
- 15
- 4
- 4
- 3
- 4
- 4
- 4
- 21
- 7
- 4
- 3
- 9
- 4
- 6
- 5
- 3
- 11
- 3
- 3
- 3
- 4
- 4
- 3
- 4
- 4
- 24
- 4
- 5
- 3
- 10
- 5
- 4
- 3
- 4
- 10
- 4
- 8
- 5
- 4
- 4
- 8
- 5
- 4
- 5
- 6
- 5
- 4
- 3
- 4
- 3
- 5
- Verlag
-
- 4
- 3
- 3
- 9
- 5
- 4
- 11
- 1
- 1
- 2
- 22
- 4
- 1
- 1
- 10
- 40
- 6
- 3
- 1
- 3
- 9
- 8
- 1
- 1
- 2
- 3
- 10
- 2
- 1
- 2
- 9
- 1
- 8
- 1
- 7
- 1
- 3
- 3
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 5
- 2
- 652
- 2167
- 1
- 658
- 1
- 6
- 3
- 223
- 54
- 127
- 223
- 8
- 40
- 3
- 2
- 1
- 2
- 7
- 4
- 5
- 1
- 35
- 2
- 27
- 1
- 1
- 2
- Preis
-
- 14
- 207
- 2744
- 1517
- Sprachen
-
- 4341
- 136
- 13
- Verfügbarkeit
-
- 4461
- 21
- Eigenschaften
-
- 1
- Katalog
-
- 4482
- 200
-
Teng / Lee Algorithms and Computation
11th International Conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000. Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41255-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Voronkov / Parigot Logic for Programming and Automated Reasoning
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41285-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Blanck / Hertling / Brattka Computability and Complexity in Analysis
4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42197-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cassez / Ryan / Jard Modeling and Verification of Parallel Processes
4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42787-2Medium: Buch45,96 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage45,96 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Margenov / Yalamov / Wasniewski Large-Scale Scientific Computing
Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43043-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fribourg Computer Science Logic
15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42554-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lau Logic Based Program Synthesis and Transformation
10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42127-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Alexandrov / Dongarra / Tan Computational Science ¿ ICCS 2001
International Conference San Francisco, CA, USA, May 28¿30, 2001 Proceedings, Part I2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42232-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nareyek Constraint-Based Agents
An Architecture for Constraint-Based Modeling and Local-Search-Based Reasoning for Planning and Scheduling in Open and Dynamic Worlds2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42258-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Küsters Non-Standard Inferences in Description Logics
From Foundations and Definitions to Algorithms and Analysis2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42397-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cousot Static Analysis
8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42314-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Silverman Cryptography and Lattices
International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001. Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42488-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wang Computing and Combinatorics
7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001, Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42494-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sgall / Kolman / Pultr Mathematical Foundations of Computer Science 2001
26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42496-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Brodal / Marchetti-Spaccamela / Frigioni Algorithm Engineering
5th International Workshop, WAE 2001 Aarhus, Denmark, August 28-31, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42500-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Beckert / Bonsangue / Damiani Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-35886-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kania / Czerwinski Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
2013Verlag: SpringerISBN: 978-3-642-36165-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Derrick / Treharne / Gnesi Integrated Formal Methods
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-30728-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Slavkovik / Lassiter New Directions in Logic, Language, and Computation
ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers2012Verlag: SpringerISBN: 978-3-642-31466-7Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Seshia / Parthasarathy Computer Aided Verification
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings2012Verlag: SpringerISBN: 978-3-642-31423-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bordihn / Truthe / Kutrib Languages Alive
Essays dedicated to Jürgen Dassow on the Occasion of His 65th Birthday2012Verlag: SpringerISBN: 978-3-642-31643-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hähnle / Knoop / Steffen Leveraging Applications of Formal Methods, Verification, and Validation
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-34780-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II2012Verlag: SpringerISBN: 978-3-642-34031-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Davis / Voronkov / Fehnker 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-48898-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Badouel / Darondeau / Bernardinello Petri Net Synthesis
1. Auflage 2015Verlag: SpringerISBN: 978-3-662-47966-7Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (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