Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2013
- Erscheinungsjahr
-
- 9
- 28
- 22
- 7
- 20
- 26
- 24
- 30
- 42
- 35
- 33
- 38
- 28
- 3
- 26
- 49
- 120
- 75
- 120
- 154
- 147
- 130
- 117
- 86
- 67
- 68
- 63
- 62
- 65
- 60
- 40
- 40
- 48
- 25
- 34
- 18
- 12
- 14
- 9
- 3
- 1
- 3
- 8
- 4
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 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
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 6
- 1
- 4
- 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
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 7
- 1
- 2
- 1
- 2
- 2
- 1
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 10
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 5
- 4
- 2
- 3
- 7
- 3
- 6
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 5
- 2
- 9
- 2
- 4
- 5
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 3
- 6
- 3
- 21
- 9
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 14
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 6
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 5
- 4
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 9
- 5
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 4
- 2
- 7
- 2
- 3
- 2
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 5
- 4
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 5
- 4
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 8
- 3
- 2
- 2
- 2
- 3
- 3
- 8
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 5
- 5
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 9
- 2
- 7
- 7
- 2
- 2
- 5
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 5
- 3
- 6
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 5
- 7
- 2
- 4
- 2
- 2
- 3
- 9
- 2
- 3
- 4
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 6
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 7
- 4
- 2
- 6
- 2
- 2
- 5
- 4
- 34
- 10
- 2
- 3
- 3
- 3
- 2
- 6
- 2
- 2
- 2
- 10
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 4
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 9
- 2
- 3
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 8
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 5
- 2
- 11
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 4
- Verlag
-
- 138
- 1595
- 204
- 36
- 40
- Preis
-
- 34
- 1606
- 373
- Sprachen
-
- 2013
- 3
- 1
- Verfügbarkeit
-
- 2011
- 2
- Katalog
-
- 2013
- 78
-
Mazzara / Petrenko / Bruel Software Technology: Methods and Tools
51st International Conference, TOOLS 2019, Innopolis, Russia, October 15¿17, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-29851-7Medium: 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 -
Seeman / Jonoska DNA Computing
7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43775-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tucci / Calzarossa Performance Evaluation of Complex Systems: Techniques and Tools
Performance 2002. Tutorial Lectures2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44252-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ohuchi / Hagiya DNA Computing
8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00531-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Erdi / Scarpetta / Esposito Computational Neuroscience: Cortical Dynamics
8th International Summer School on Neural Nets, Erice, Italy, October 31 - November 6, 2003 Revised Lectures2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22566-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Boer / de Roever / Bonsangue Formal Methods for Components and Objects
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20303-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Boer / de Roever / Bonsangue Formal Methods for Components and Objects
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22942-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Brim / Pol / Haverkort Formal Methods: Applications and Technology
11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, R2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70951-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vicario / Sankaranarayanan Formal Modeling and Analysis of Timed Systems
13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-22974-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bafna / Ideker Systems Biology and Computational Proteomics
Joint RECOMB 2006 Satellite Workshops on Systems Biology, and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73059-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Leue / Bosnacki Model Checking Software
9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43477-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kasabov / Barley Intelligent Agents and Multi-Agent Systems
7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25340-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Soudris / Barke / Pirsch Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation
10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41068-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Trinder / Pena / Michaelson Implementation of Functional Languages
15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23727-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Duch / Zadrozny / Oja Artificial Neural Networks: Biological Inspirations ¿ ICANN 2005
15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28752-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hofestädt / Schomburg / Lengauer Bioinformatics
German Conference on Bioinformatics, GCB' 96, Leipzig, Germany, September 30 - October 2, 1996. Selected Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63370-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Peters / Düntsch / Polkowski Transactions on Rough Sets VI
Commemorating Life and Work of Zdislaw Pawlak, Part I2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71198-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Wang Automated Technology for Verification and Analysis
Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23610-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Eckman / Banzhaf Evolution and Biocomputation
Computational Models of Evolution1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59046-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vaszil / Han Descriptional Complexity of Formal Systems
24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29¿31, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-13256-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zufferey / Zamani Numerical Software Verification
12th International Workshop, NSV 2019, New York City, NY, USA, July 13¿14, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-28422-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Banach / Lau Formal Methods and Software Engineering
7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-29797-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
van Breugel / Rutten / Kashefi Horizons of the Mind. A Tribute to Prakash Panangaden
Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday2014Verlag: Springer International PublishingISBN: 978-3-319-06879-4Medium: 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