Ergebnisse filtern
-
- 3170
- 352
- 3
- 1
-
- 131
- 513
- 2034
- 848
-
- 3290
- 233
- 7
- 1
-
- 3465
- 61
-
- 1
-
- 3526
- 185
-
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 -
Julliand / Kouchnarenko B 2007: Formal Specification and Development in B
7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68760-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grune / Jacobs Parsing Techniques
A Practical Guide2. Auflage 2008Verlag: SpringerISBN: 978-1-4419-1901-4Medium: Buch235,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sloot / Abramson / Bogdanov Computational Science - ICCS 2003
International Conference Melbourne, Australia and St. Petersburg, Russia June 2-4, 2003 Proceedings, Part IErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40194-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tel / Vitanyi Distributed Algorithms
8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58449-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Maurer New Results and New Trends in Computer Science
Graz, Austria, June 20-21, 1991 Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54869-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Herik / Hsu / Donkers Advances in Computer Games
11th International Conference, ACG 2005, Taipei, Taiwan, September 6-8, 2005. Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48887-3Medium: Buch80,24 € (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 -
Samarati / Ferrer Public Key Infrastructure
4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73407-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sinclair Algorithms for Random Generation and Counting: A Markov Chain Approach
1. Auflage 1993Verlag: BirkhäuserISBN: 978-0-8176-3658-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sloot / Abramson / Bogdanov Computational Science - ICCS 2003
International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003, Proceedings, Part IVErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40197-1Medium: 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 -
Raskin / Thiagarajan Formal Modeling and Analysis of Timed Systems
5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75453-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lee / Cheon Information Security and Cryptoloy - ICISC 2008
11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00729-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Charikar / Jansen / Reingold Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74207-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Huo / Ma / Chng Chinese Spoken Language Processing
5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-49665-6Medium: Buch106,99 € (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 -
Book Rewriting Techniques and Applications
4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-53904-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vulkov / Wasniewski / Yalamov Numerical Analysis and Its Applications
First International Workshop, WNAA'96, Rousse, Bulgaria, June 24-26, 1996 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62598-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Meinel / Theobald Algorithms and Data Structures in VLSI Design
OBDD - Foundations and Applications1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64486-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Behnke Hierarchical Neural Networks for Image Interpretation
1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40722-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jonsson / Parrow CONCUR '94: Concurrency Theory
5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58329-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fiadeiro / Harman / Roggenbach Algebra and Coalgebra in Computer Science
First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28620-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thiagarajan / Yap Advances in Computing Science - ASIAN'99
5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66856-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Královic / Urzyczyn Mathematical Foundations of Computer Science 2006
31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37791-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dzeroski / Flach Inductive Logic Programming
9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66109-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Reussner / Stafford / Szyperski Architecting Systems with Trustworthy Components
International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35800-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gong / Helleseth / Song Sequences and Their Applications - SETA 2006
4th International Conference, Beijing, China, September 24-28, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-44523-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Möller / Paulish Software-Metriken in der Praxis
Nachdruck 2020Verlag: De GruyterISBN: 978-3-11-070193-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark119,95 € (inkl. MwSt.)
sofort verfügbar -
Ferreira / Rolim Parallel Algorithms for Irregularly Structured Problems
Second International Workshop, IRREGULAR '95, Lyon, France, September 4 - 6, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60321-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gibbons Generic and Indexed Programming
1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32201-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bonifaci / Demetrescu / Marchetti-Spaccamela Experimental Algorithms
12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38526-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mclver / Morgan Programming Methodology
1. Auflage. Softcover version of original hardcover Auflage 2003Verlag: SpringerISBN: 978-1-4419-2964-8Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
HERMAN Optimizing Prompt Engineering for Generative AI
1. Auflage 2025Verlag: De GruyterISBN: 978-1-5015-2369-4Medium: Buch35,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schade Innere-Punkte-Verfahren mit Redundanzerkennung für die Quadratische Optimierung
1. Auflage 2008Verlag: Gabler VerlagISBN: 978-3-8349-1019-6Medium: Buch69,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Büchel Praktische Informatik - Eine Einführung
Lehr- und Arbeitsbuch mit Tafelbildern1. Auflage 2012Verlag: Vieweg+Teubner VerlagISBN: 978-3-8348-1874-4Medium: Buch29,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Padallan Introduction to Computer Programming and Numerical Methods
Erscheinungsjahr 2020Verlag: Arcler PressISBN: 978-1-77407-638-5Medium: Buch168,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Hsiang Rewriting Techniques and Applications
6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-59200-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tinhofer / Schmidt Graph-Theoretic Concepts in Computer Science
International Workshop WG '86 Bernried, Federal Republic of Germany, June 17-19, 1986, Proceedings1. Auflage 1987Verlag: SpringerISBN: 978-3-540-17218-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Deussen / Ningelgen Programmieren lernen mit Computergrafik
Eine Einführung mit Java und Processing1. Auflage 2018Verlag: SpringerISBN: 978-3-658-21144-8Medium: Buch34,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gavanelli / Reppy Practical Aspects of Declarative Languages
18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-28227-5Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
America Parallel Database Systems
PRISMA Workshop, Noordwijk, The Netherlands, September 24-26, 1990. Proceedings.1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54132-5Medium: Buch53,49 € (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 -
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 -
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 -
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 -
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 -
Akl / Fiala / Koczkodaj Advances in Computing and Information - ICCI '90
International Conference on Computing and Information Niagara Falls, Canada, May 23-26, 1990. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-53504-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jensen Coloured Petri Nets
Basic Concepts, Analysis Methods and Practical Use. Volume 21. Auflage 1995. 2. corr. printing. Softcover version of original hardcover Auflage 1995Verlag: SpringerISBN: 978-3-642-08200-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tollis / Patrignani Graph Drawing
16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008, Revised Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00218-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chen / Wong Active Conceptual Modeling of Learning
Next Generation Learning-Base System DevelopmentErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77502-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schroeder-Heister Extensions of Logic Programming
International Workshop, Tübingen, FRG, December 8-10, 1989. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-53590-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tokoro / Nierstrasz / Wegner Object-Based Concurrent Computing
ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55613-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nakamura / Nivat / Saoudi Parallel Image Analysis
Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-56346-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Peled / Tsay Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29209-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Davidson / Min Languages, Compilers, and Tools for Embedded Systems
ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41781-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nam / Rhee Information Security and Cryptology - ICISC 2007
10th International Conference, Seoul, Korea, November 29-30, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76787-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Briot / Geib / Yonezawa Object-Based Parallel and Distributed Computation
France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected PapersErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61487-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bakker / Roever / Rozenberg Current Trends in Concurrency
Overviews and Tutorials1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16488-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Agrawal / Du / Duan Theory and Applications of Models of Computation
5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79227-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rudd Implementing Practical DB2 Applications
2. Auflage 1996Verlag: SpringerISBN: 978-3-540-19953-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hampson / Egerton Troubleshooting System Center Configuration Manager
Troubleshooting System Center Configuration Manager1. Auflage 2016Verlag: De GruyterISBN: 978-1-78528-479-3Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)33,99 € (inkl. MwSt.)
sofort verfügbar -
Gray / Lucas Advanced Database Systems
10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland, July 6 - 8, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55693-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ching / Poon / Mc Naught eLearning and Digital Publishing
1. Auflage. Softcover version of original hardcover Auflage 2006Verlag: SpringerISBN: 978-90-481-6916-0Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miola Design and Implementation of Symbolic Computation Systems
International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52531-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lewenstein / Valiente Combinatorial Pattern Matching
17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35455-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cerioli / Reggio Recent Trends in Algebraic Development Techniques
15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers2002Verlag: SpringerISBN: 978-3-540-43159-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cesarini / Salza Database Machine Performance: Modeling Methodologies and Evaluation Strategies
1. Auflage 1987Verlag: SpringerISBN: 978-3-540-17942-9Medium: 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 -
Gorrieri / Wehrheim Formal Methods for Open Object-Based Distributed Systems
8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34893-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 -
Welch Distributed Computing
15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42605-9Medium: 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 -
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 -
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 -
Paulisch The Design of an Extendible Graph Editor
1. Auflage 1993Verlag: SpringerISBN: 978-3-540-57090-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Taha Semantics, Applications, and Implementation of Program Generation
Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42558-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kropatsch / Kampel / Hanbury Computer Analysis of Images and Patterns
12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74271-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vingron / Wong Research in Computational Molecular Biology
12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78838-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clarke / Kurshan Computer-Aided Verification
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54477-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Jäger / Kleine Büning Computer Science Logic
6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56992-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Panda / Stunkel Communication and Architectural Support for Network-Based Parallel Computing
First International Workshop, CANPC'97, San Antonio, Texas, USA, February 1-2, 1997 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62573-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aßmann Invasive Software Composition
2003Verlag: SpringerISBN: 978-3-540-44385-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wagenknecht Programmierparadigmen
Eine Einführung auf der Grundlage von Racket2., vollständig überarbeitete Auflage 2016Verlag: SpringerISBN: 978-3-658-14133-2Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ehrig / Juhas / Padberg Unifying Petri Nets
Advances in Petri Nets1. Auflage 2001Verlag: SpringerISBN: 978-3-540-43067-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bolc / Borowik Many-Valued Logics 2
Automated Reasoning and Practical ApplicationsSoftcover Nachdruck of hardcover 1. Auflage 2003Verlag: SpringerISBN: 978-3-642-08417-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Amadio / Lugiez CONCUR 2003 - Concurrency Theory
14th International Conference, Marseille, France, September 3-5, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40753-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yonezawa / Matsuoka Metalevel Architectures and Separation of Crosscutting Concerns
Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42618-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ehrig / Prange / Taentzer Fundamentals of Algebraic Graph Transformation
1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31187-4Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abrial / Glässer Rigorous Methods for Software Construction and Analysis
Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11446-5Medium: 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 -
Bruynooghe Logic Based Program Synthesis and Transformation
13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22174-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gacek Software Reuse: Methods, Techniques, and Tools
7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002. Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43483-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Emmerich / Tai Engineering Distributed Objects
Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers1. Auflage 2001Verlag: SpringerISBN: 978-3-540-41792-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clote / Schwichtenberg Computer Science Logic
14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67895-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kakas / Sadri Computational Logic: Logic Programming and Beyond
Essays in Honour of Robert A. Kowalski, Part I1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43959-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gumm / Sommer Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität
1. Auflage 2019Verlag: De GruyterISBN: 978-3-11-043405-7Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark59,95 € (inkl. MwSt.)
sofort verfügbar -
Filipuk / Kozlowski Multi-variable Calculus
Volume 2: Multi-variable Calculus1. Auflage 2020Verlag: De GruyterISBN: 978-3-11-066041-8Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark84,95 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort