Ergebnisse filtern
- Fachgebiet
- Medium
-
- 4831
- 26
- 9
- Erscheinungsjahr
-
- 1
- 1
- 29
- 67
- 54
- 50
- 68
- 117
- 135
- 99
- 136
- 91
- 142
- 105
- 144
- 107
- 249
- 93
- 175
- 338
- 310
- 320
- 238
- 245
- 223
- 198
- 145
- 119
- 109
- 101
- 87
- 91
- 81
- 58
- 58
- 64
- 39
- 48
- 28
- 18
- 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
- 2
- 5
- 4
- 2
- 3
- 17
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 5
- 4
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 4
- 4
- 3
- 6
- 6
- 3
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 5
- 2
- 2
- 3
- 4
- 2
- 2
- 5
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 14
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 13
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 11
- 2
- 2
- 5
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 5
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 13
- 2
- 3
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 9
- 3
- 2
- 2
- 3
- 3
- 4
- 7
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 5
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 5
- 6
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 6
- 2
- 4
- 6
- 2
- 2
- 7
- 2
- 2
- 6
- 2
- 4
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 8
- 8
- 6
- 4
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 8
- 3
- 4
- 5
- 31
- 11
- 3
- 3
- 4
- 3
- 3
- 19
- 5
- 3
- 2
- 9
- 8
- 6
- 4
- 3
- 3
- 16
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 5
- 3
- 4
- 4
- 3
- 3
- 3
- 8
- 4
- 3
- 5
- 6
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 5
- 3
- 4
- 17
- 4
- 3
- 3
- 5
- 3
- 7
- 3
- 6
- 10
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 9
- 3
- 4
- 4
- 6
- 5
- 6
- 6
- 5
- 10
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 4
- 3
- 5
- 4
- 4
- 4
- 3
- 3
- 4
- 4
- 5
- 4
- 3
- 5
- 4
- 5
- 3
- 4
- 3
- 3
- 3
- 7
- 3
- 6
- 3
- 3
- 6
- 4
- 3
- 3
- 4
- 8
- 4
- 5
- 3
- 3
- 3
- 3
- 5
- 9
- 5
- 5
- 3
- 3
- 4
- 6
- 5
- 3
- 4
- 4
- 4
- 5
- 3
- 6
- 14
- 7
- 4
- 8
- 5
- 5
- 3
- 5
- 3
- 5
- 7
- 3
- 5
- 3
- 3
- 3
- 6
- 4
- 3
- 4
- 3
- 3
- 3
- 6
- 3
- 6
- 5
- 3
- 5
- 5
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 6
- 6
- 3
- 5
- 3
- 11
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 7
- 4
- 3
- 5
- 6
- 5
- 5
- 5
- 3
- 5
- 10
- 3
- 4
- 3
- 8
- 7
- 3
- 3
- 6
- 4
- 5
- 4
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 6
- 6
- 5
- 5
- 3
- 4
- 3
- 3
- 10
- 5
- 9
- 5
- 4
- 4
- 3
- 8
- 5
- 5
- 10
- 9
- 3
- 9
- 3
- 3
- 3
- 3
- 3
- 10
- 3
- 3
- 7
- 3
- 6
- 5
- 9
- 4
- 3
- 3
- 4
- 3
- 4
- 5
- 5
- 21
- 6
- 5
- 4
- 12
- 3
- 11
- 5
- 3
- 4
- 3
- 3
- 5
- 6
- 5
- 5
- 6
- 6
- 5
- 4
- 4
- 5
- 5
- 6
- 4
- 7
- 4
- 4
- 3
- 3
- 4
- 4
- 6
- 3
- 7
- 6
- 3
- 8
- 3
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 4
- 4
- 3
- 4
- 5
- 4
- 3
- 3
- 6
- 3
- 5
- 3
- 6
- 3
- 7
- 3
- 15
- 7
- 7
- 3
- 3
- 3
- 8
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 5
- 6
- 5
- 6
- 4
- 8
- 3
- 3
- 11
- 4
- 8
- 4
- 3
- 5
- 3
- 4
- 7
- 8
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 3
- 7
- 4
- 3
- 4
- 4
- 3
- 4
- 5
- 12
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 18
- 5
- 3
- 3
- 7
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 12
- 3
- 3
- 3
- 3
- 5
- 5
- 4
- 3
- 3
- 3
- 7
- 4
- 7
- 3
- 6
- 9
- 4
- 3
- 6
- 11
- 3
- 10
- 7
- 3
- 7
- 3
- 3
- 4
- 4
- 3
- 6
- 3
- 3
- 5
- 4
- 3
- 4
- 4
- 4
- 9
- 3
- 8
- 3
- 9
- 4
- 6
- 7
- 3
- 3
- 4
- 6
- 3
- 5
- 5
- 51
- 11
- 3
- 3
- 5
- 5
- 7
- 3
- 19
- 4
- 3
- 7
- 5
- 5
- 7
- 4
- 7
- 4
- 3
- 4
- 9
- 15
- 7
- 4
- 4
- 3
- 4
- 5
- 5
- 21
- 6
- 4
- 9
- 4
- 6
- 8
- 6
- 3
- 3
- 11
- 4
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 25
- 6
- 5
- 6
- 3
- 16
- 8
- 4
- 4
- 3
- 4
- 10
- 4
- 8
- 5
- 4
- 6
- 4
- 3
- 4
- 9
- 5
- 4
- 5
- 8
- 5
- 4
- 3
- 4
- 3
- 5
- Verlag
-
- 5
- 3
- 3
- 9
- 5
- 4
- 5
- 11
- 1
- 1
- 2
- 23
- 4
- 1
- 3
- 6
- 41
- 6
- 3
- 1
- 3
- 9
- 8
- 1
- 2
- 2
- 1
- 10
- 2
- 2
- 9
- 1
- 2
- 1
- 7
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 6
- 1
- 2
- 1
- 2
- 7
- 2
- 1127
- 2167
- 1
- 660
- 1
- 6
- 3
- 51
- 55
- 127
- 76
- 223
- 8
- 38
- 3
- 2
- 1
- 2
- 7
- 4
- 4
- 1
- 36
- 2
- 27
- 1
- 1
- 3
- Preis
-
- 15
- 210
- 2991
- 1650
- Sprachen
-
- 4723
- 139
- 13
- Verfügbarkeit
-
- 4846
- 20
- Katalog
-
- 4866
- 212
-
Muñoz / Ayala-Rincón Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26¿29, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66106-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Russo / Cussens Inductive Logic Programming
26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-63341-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pacuit Neighborhood Semantics for Modal Logic
1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-67148-2Medium: Buch40,65 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage40,65 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Horvath / McIver Quantitative Evaluation of Systems
15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-99153-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cooper / Sorbi / Löwe New Computational Paradigms
Changing Conceptions of What is Computable2008Verlag: SpringerISBN: 978-0-387-36033-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pighizzini / Konstantinidis Descriptional Complexity of Formal Systems
20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25¿27, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-94630-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schaefer / Johnsen Software Engineering and Formal Methods
16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27¿29, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-92969-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rahman / Clerbout / Klev Immanent Reasoning or Equality in Action
A Plaidoyer for the Play Level1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-91148-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Merino / Gallardo Model Checking Software
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-94110-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Galmiche / Sebastiani / Schulz Automated Reasoning
9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-94204-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Seki / Hoshi Developments in Language Theory
22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-98653-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Komendantskaya Mathematics of Program Construction
14th International Conference, MPC 2022, Tbilisi, Georgia, September 26¿28, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-16911-3Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Paun Membrane Computing
An Introduction2002Verlag: SpringerISBN: 978-3-540-43601-0Medium: Buch85,55 € (inkl. MwSt.)
Kurzfristig nicht lieferbar85,55 € (inkl. MwSt.)
Kurzfristig nicht lieferbar, wird unverzüglich nach Lieferbarkeit versandt. -
Sun / Chen / He Theoretical Computer Science
37th National Conference, NCTCS 2019, Lanzhou, China, August 2¿4, 2019, Revised Selected Papers1. Auflage 2019Verlag: Springer Nature SingaporeISBN: 978-981-15-0104-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bose Numerical Methods of Mathematics Implemented in Fortran
1. Auflage 2019Verlag: Springer Nature SingaporeISBN: 978-981-13-7113-4Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sui / Li R-CALCULUS: A Logic of Belief Revision
1. Auflage 2021Verlag: Springer Nature SingaporeISBN: 978-981-16-2943-3Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
H?jek Goedel 96: Logical Foundations of Mathematics, Computer Science, and Physics
Lecture Notes in Logic 61. Auflage 2001Verlag: Taylor & Francis IncISBN: 978-1-56881-153-6Medium: Buch57,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage57,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ralston / Reilly / Hemmendinger Encyclopedia of Computer Science
4. Auflage 2003Verlag: WileyISBN: 978-0-470-86412-8Medium: Buch312,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage312,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Christodorescu / Jha / Maughan Malware Detection
2007. Auflage 2006Verlag: Springer UsISBN: 978-0-387-32720-4Medium: Buch320,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage320,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Posthoff / Steinbach Logic Functions and Equations
Binary Models for Computer Science2004. Auflage 2005Verlag: Springer UsISBN: 978-1-4020-2937-0Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Szabó / Markót / Csendes New Approaches to Circle Packing in a Square
With Program Codes2007Verlag: Springer UsISBN: 978-0-387-45673-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hauck / DeHon Reconfigurable Computing
The Theory and Practice of Fpga-Based Computation Volume 1Erscheinungsjahr 2007Verlag: Elsevier ScienceISBN: 978-0-12-370522-8Medium: Buch104,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yull BTEC National for IT Practitioners
Business units1. Auflage 2009Verlag: Taylor & Francis Ltd (Sales)ISBN: 978-0-7506-8662-4Medium: Buch67,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage67,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Roberts / Sedra SPICE
2. Revised Auflage 1996Verlag: Oxford University Press IncISBN: 978-0-19-510842-2Medium: Buch71,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage71,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jones / Marsden Mobile Interaction Design
Desktop AuflageVerlag: WileyISBN: 978-0-470-09089-3Medium: Buch85,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,50 € (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