Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3120
- 315
- 3
- 1
- Erscheinungsjahr
-
- 1
- 15
- 46
- 242
- 98
- 71
- 72
- 86
- 97
- 63
- 24
- 36
- 30
- 31
- 20
- 24
- 21
- 122
- 76
- 147
- 301
- 298
- 207
- 104
- 132
- 83
- 112
- 84
- 86
- 83
- 77
- 80
- 66
- 65
- 60
- 41
- 65
- 33
- 33
- 26
- 20
- 16
- 7
- 4
- 1
- 5
- 11
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- Autoren
-
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 17
- 5
- 2
- 2
- 2
- 2
- 2
- 12
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 11
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 16
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 7
- 3
- 2
- 3
- 10
- 22
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 24
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 5
- 2
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 3
- 3
- 8
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 13
- 6
- 2
- 6
- 2
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 3
- 4
- 3
- 4
- 2
- 3
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 5
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 4
- 3
- 4
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 7
- 2
- 7
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 4
- 10
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 6
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 6
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 4
- 5
- 4
- 3
- 7
- 4
- 3
- 4
- 5
- 5
- 3
- 4
- 4
- 5
- 5
- 4
- 3
- 3
- 6
- 4
- 3
- 4
- 4
- 3
- 4
- 3
- 9
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 6
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 3
- 3
- 4
- 5
- 4
- 9
- 8
- 3
- 3
- 3
- 5
- 5
- 3
- 8
- 4
- 6
- 6
- 3
- 4
- 28
- 11
- 3
- 4
- 9
- 3
- 4
- 3
- 3
- 3
- 3
- 5
- 4
- 4
- 3
- 6
- 4
- 4
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 3
- 3
- 6
- 6
- 5
- 7
- 5
- 4
- 3
- 5
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 8
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 6
- 3
- 4
- 4
- 3
- 13
- 4
- 5
- 3
- 3
- 7
- 3
- 4
- 5
- 15
- 5
- 4
- 3
- 3
- 4
- 10
- 3
- 3
- 5
- 8
- 3
- 3
- 6
- 3
- 5
- 3
- 5
- 6
- 4
- 6
- 4
- 6
- 6
- 3
- 3
- 5
- 3
- 4
- Verlag
-
- 3
- 2
- 1
- 1
- 274
- 2
- 1
- 1
- 7
- 2
- 4
- 11
- 16
- 65
- 1
- 28
- 327
- 1
- 6
- 4
- 1
- 1
- 3
- 2
- 8
- 2
- 4
- 3
- 1
- 1
- 2
- 5
- 1
- 14
- 2
- 1
- 1
- 25
- 3
- 1
- 1
- 1
- 4
- 1
- 12
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 6
- 4
- 6
- 1
- 1
- 2222
- 94
- 11
- 2
- 14
- 8
- 11
- 16
- 32
- 6
- 19
- 2
- 23
- 1
- 31
- 2
- 1
- 21
- 30
- 3
- 3
- 1
- 1
- Preis
-
- 92
- 491
- 2025
- 831
- Sprachen
-
- 3202
- 234
- 7
- 1
- Verfügbarkeit
-
- 3407
- 32
- Katalog
-
- 3439
- 182
-
Abiteboul / Shamir Automata, Languages, and Programming
21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58201-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jonsson / Parrow Formal Techniques in Real-Time and Fault-Tolerant Systems
4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61648-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kaklamanis / Nielson Trustworthy Global Computing
4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00944-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Joux Advances in Cryptology – EUROCRYPT 2009
28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01000-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lamma / Mello Extensions of Logic Programming
Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56454-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bezem / Groote Typed Lambda Calculi and Applications
International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56517-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gallagher Logic Program Synthesis and Transformation
6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62718-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rothermel / Popescu-Zeletin Mobile Agents
First International Workshop, MA '97, Berlin, Germany, April, 7-8, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62803-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Reischuk / Morvan STACS 97
14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62616-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rahwan / Moraitis Argumentation in Multi-Agent Systems
Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00206-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nielsen Emerging Trends in Visual Computing
LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008, Revised Selected and Invited Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00825-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Seipel / Hanus / Wolf Applications of Declarative Programming and Knowledge Management
17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00674-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Weber / Simons / Lafontaine The Generic Development Language Deva
Presentation and Case StudiesErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57335-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Halstead / Ito Parallel Symbolic Computing: Languages, Systems, and Applications
US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57396-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ng / Raghavan / Balasubramanian Algorithms and Computation
4th International Symposium, ISAAC '93, Hong Kong, December 15-17, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-57568-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Paulson Isabelle
A Generic Theorem Prover1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58244-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bouchitte / Morvan Orders, Algorithms and Applications
International Workshop ORDAL '94, Lyon, France, July 4-8, 1994. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58274-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grumberg / Huth Tools and Algorithms for the Construction and Analysis of Systems
13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71208-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sahin / Spears / Winfield Swarm Robotics
Second SAB 2006 International Workshop, Rome, Italy, September 30-October 1, 2006 Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71540-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Speed / Huang Research in Computational Molecular Biology
11th Annunal International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71680-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cervesato Advances in Computer Science - ASIAN 2007. Computer and Network Security
12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76927-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bao / Ling / Okamoto Cryptology and Network Security
6th International Conference, CANS 2007, Singapore, December 8-10, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76968-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tovar / Tsigas / Fouchal Principles of Distributed Systems
11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77095-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aluru / Parashar / Badrinath High Performance Computing - HiPC 2007
14th International Conference, Goa, India, December 18-21, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77219-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Voronkov Rewriting Techniques and Applications
19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70588-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort