Ergebnisse filtern
-
- 3176
- 351
- 3
- 1
-
- 133
- 515
- 2039
- 844
-
- 3296
- 232
- 7
- 1
-
- 3464
- 67
-
- 1
-
- 3531
- 185
-
Ghosh / De / Pal Pattern Recognition and Machine Intelligence
Second International Conference, PReMI 2007, Kolkata, India, December 18-22, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77045-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ronchi Della Rocca Typed Lambda Calculi and Applications
8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73227-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Altenkirch / McBride Types for Proofs and Programs
International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74463-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Janowski / Mohanty Distributed Computing and Internet Technology
4th International Conference, ICDCIT 2007, Bangalore, India, December, 17-20, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77112-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aiello / Barzen / Dustdar Service-Oriented Computing
17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers1. Auflage 2023Verlag: SpringerISBN: 978-3-031-45727-2Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Middeldorp Rewriting Techniques and Applications
12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42117-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Llamosi / Strohmeier Reliable Software Technologies - Ada-Europe 2004
9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22011-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Djebali Algebraic Topology
Constructions, Retractions, and Fixed Point Theory1. Auflage 2024Verlag: De GruyterISBN: 978-3-11-151778-0Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark129,95 € (inkl. MwSt.)
sofort verfügbar -
Kormanyos Real-Time C++
Efficient Object-Oriented and Template Microcontroller ProgrammingThird Auflage 2018Verlag: SpringerISBN: 978-3-662-58593-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ford Beginning REALbasic
From Novice to Professional1. Auflage 2006Verlag: ApressISBN: 978-1-59059-634-0Medium: Buch38,51 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Berg / Cheong / van Kreveld Computational Geometry
Algorithms and ApplicationsThird Auflage 2008Verlag: Springer-Verlag GmbHISBN: 978-3-540-77973-5Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Bouzeghoub / Kedad / Metais Natural Language Processing and Information Systems
5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000; Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41943-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grohe / Niedermeier Parameterized and Exact Computation
Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79722-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Asarin / Bouyer Formal Modeling and Analysis of Timed Systems
4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45026-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Emmerich / Wolf Component Deployment
Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22059-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baader / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25236-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Castagna Programming Languages and Systems
18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00589-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McGeoch Experimental Algorithms
7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30 - June 1, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68548-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ball / Jones Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37406-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Monmarché / Talbi / Collet Artificial Evolution
8th International Conference, Evolution Artificielle, EA 2007 Tours, France, October 29-31, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79304-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Capozucca / Ebersold / Bruel Frontiers in Software Engineering Education
Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers2023Verlag: SpringerISBN: 978-3-031-48638-8Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kalicharan Advanced Topics in C
Core Concepts in Data Structures1. Auflage 2013Verlag: ApressISBN: 978-1-4302-6400-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Guerraoui Middleware 2001
IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42800-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller Modular Specification and Verification of Object-Oriented Programs
Erscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43167-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bode / Reeve / Wolf PARLE '93 Parallel Architectures and Languages Europe
5th International PARLE Conference, Munich, Germany, June 14-17, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56891-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Flesca / Ianni Logics in Artificial Intelligence
European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44190-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grabowski / Lescanne / Wechler Algebraic and Logic Programming
International Workshop, Gaussig, GDR, November 14-18, 1988. ProceedingsErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-50667-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Halbwachs / Peled Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66202-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Winther / Gran / Dahll Computer Safety, Reliability, and Security
24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29200-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Giacobini / Minner / Brabazon Applications of Evolutionary Computing
EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71804-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Raoult CAAP '92
17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55251-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tombre / Chhabra Graphics Recognition: Algorithms and Systems
Second International Workshop, GREC'97, Nancy, France, August 22-23, 1997, Selected PapersErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64381-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fonseca / Gandibleux / Hao Evolutionary Multi-Criterion Optimization
5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01019-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
An / Stefanowski / Ramanna Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 20071. Auflage 2007Verlag: SpringerISBN: 978-3-540-72529-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ciancarini / Wooldridge Agent-Oriented Software Engineering
First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers1. Auflage 2001Verlag: SpringerISBN: 978-3-540-41594-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fernández / Poskitt Graph Transformation
16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-36708-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gibbons / Nogueira Mathematics of Program Construction
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31112-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eigenmann / Li / Midkiff Languages and Compilers for High Performance Computing
17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28009-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hatcliff / Mogensen / Thiemann Partial Evaluation: Practice and Theory
DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 19981. Auflage 1999Verlag: SpringerISBN: 978-3-540-66710-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Adams / Miri / Wiener Selected Areas in Cryptography
14th International Workshop, SAC 2007, Ottawa, Canada, August 16-17, 2007, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77359-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cussens / Frisch Inductive Logic Programming
10th International Conference, ILP 2000, London, UK, July 24-27, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67795-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abramsky Typed Lambda Calculi and Applications
5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41960-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calude / Dinneen / Paun Unconventional Computation
5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-38593-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Babaoglu / Marzullo Distributed Algorithms
10th International Workshop, WDAG '96, Bologna, Italy, October 9 - 11, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61769-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Foster / Lutton / Miller Genetic Programming
5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43378-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kowalewski / Philippou Tools and Algorithms for the Construction and Analysis of Systems
15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00767-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hegarty / Meyer / Narayanan Diagrammatic Representation and Inference
Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43561-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Deransart / Hermenegildo / Maluszynski Analysis and Visualization Tools for Constraint Programming
Constraint Debugging1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41137-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Martin-Löf / Mints COLOG-88
International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52335-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Adian / Nerode Logical Foundations of Computer Science
4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63045-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jouannaud Constraints in Computational Logics
First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58403-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Malloy / Staab / van den Brand Software Language Engineering
Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19439-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chadwick / Zhao Public Key Infrastructure
Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30- July 1, 2005, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28062-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Whitesides Graph Drawing
6th International Symposium, GD '98 Montreal, Canada, August 13-15, 1998 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65473-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Priami / Quaglia Global Computing
IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24101-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Paun / Rozenberg / Salomaa Membrane Computing
International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00611-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calmet Algebraic Algorithms and Error-Correcting Codes
3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16776-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dyckhoff / Herre / Schroeder-Heister Extensions of Logic Programming
5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-60983-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ramakrishnan Practical Aspects of Declarative Languages
Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-41768-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ayguadé / Baumgartner / Ramanujam Languages and Compilers for Parallel Computing
18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected PapersErscheinungsjahr 2006Verlag: SpringerISBN: 978-3-540-69329-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gopalakrishnan / Windley Formal Methods in Computer-Aided Design
Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65191-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bidoit / Choppy Recent Trends in Data Type Specification
8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected PapersErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56379-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Kleine Büning / Richter Computer Science Logic
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54487-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bossi Logic-Based Program Synthesis and Transformation
9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67628-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hess / Pauli / Pohst Algorithmic Number Theory
7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36075-9Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Henzinger / Kirsch Embedded Software
First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42673-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Deussen Theoretical Computer Science
5th GI-Conference Karlsruhe, March 23-25, 19811. Auflage 1981Verlag: SpringerISBN: 978-3-540-10576-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Herik / Björnsson / Netanyahu Computers and Games
4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32488-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bakker / Roever / Rozenberg Semantics: Foundations and Applications
REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56596-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Luck / Marburger Management and Processing of Complex Data Structures
Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-57802-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Transactions on Aspect-Oriented Software Development VII
A Common Case Study for Aspect-Oriented Modeling1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16085-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Buhler Algorithmic Number Theory
Third International Symposium, ANTS-III, Portland, Orgeon, USA, June 21-25, 1998, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64657-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eleftherakis / Kefalas / Paun Membrane Computing
8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77311-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhu Software Design Methodology
Erscheinungsjahr 2005Verlag: Elsevier Science & TechnologyISBN: 978-0-7506-6075-4Medium: Buch58,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Mao / Yokomori DNA Computing
12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-49024-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kuchen / Swierstra Programming Languages: Implementations, Logics, and Programs
8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61756-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fleischer / Moret / Meineche Schmidt Experimental Algorithmics
From Algorithm Design to Robust and Efficient Software1. Auflage 2002Verlag: SpringerISBN: 978-3-540-00346-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Danvy / Henglein / Mairson Automatic Program Development
A Tribute to Robert PaigeSoftcover Nachdruck of hardcover 1. Auflage 2008Verlag: SpringerISBN: 978-90-481-7674-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Breu Algebraic Specification Techniques in Object Oriented Programming Environments
1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54972-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rocha Neural Nets
A Theory for Brains and Machines1. Auflage 1992Verlag: SpringerISBN: 978-3-540-55949-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cotta / Cowling Evolutionary Computation in Combinatorial Optimization
9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01008-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Duparc / Henzinger Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74914-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lodi / Panconesi / Rinaldi Integer Programming and Combinatorial Optimization
13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68886-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Akl / Calude / Dinneen Unconventional Computation
6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73553-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kleine Buening Computer Science Logic
9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected PapersErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61377-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abadi / Ito Theoretical Aspects of Computer Software
Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63388-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bartz-Beielstein / Blesa / Blum Hybrid Metaheuristics
4th International Workshop,HM 2007, Dortmund, Germany, October 8-9, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75513-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Etalle Logic Based Program Synthesis and Transformation
14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26655-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alfaro / Gilmore Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42556-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ishikawa / Doya / Miyamoto Neural Information Processing
14th International Confernce, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part IIErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69159-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Naumann Unifying Theories of Programming
5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-14805-2Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Helbig Knowledge Representation and the Semantics of Natural Language
2006Verlag: SpringerISBN: 978-3-642-43999-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhong / Ras / Tsumoto Foundations of Intelligent Systems
14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20256-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gasteren On the Shape of Mathematical Arguments
Erscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52849-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bruynooghe / Wirsing Programming Language Implementation and Logic Programming
4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55844-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Flum / Grohe Parameterized Complexity Theory
1. Auflage 2006Verlag: SpringerISBN: 978-3-540-29952-3Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nyberg / Heys Selected Areas in Cryptography
9th Annual International Workshop, SAC 2002, St. John's, Newfoundland, Canada, August 15-16, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00622-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Voronkov Perspectives of Systems Informatics
6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70880-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cialdea Mayer / Pirri Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40787-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Liblit Cooperative Bug Isolation
Winning Thesis of the 2005 ACM Doctoral Dissertation CompetitionErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71877-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort