LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Springer
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, ... Notes in Computer Science, 1130, Band 1130)

Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, ... Notes in Computer Science, 1130, Band 1130)

Haveraaen, Magne
Du sparst 56,93 € (57%)

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

43,06 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
9783540616290
Verlag:
Springer
Seitenzahl:
568
Auflage:
-
Erschienen:
2008-06-13
Mit diesem Kauf sparst Du 2,06 kg CO2

Mehr Informationen zum Zustand Green Tree

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
  • Sauberer Zustand, Seiten und Bindung etwas abgenutzt
  • Knicke oder Markierungen nicht mehr als 5%
  • CDs und Zugangscodes verwendbar
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Neu bei lehmanns bestellen
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise
Du sparst 56,93 € (57%)

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

43,06 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, ... Notes in Computer Science, 1130, Band 1130)
Diese Beschreibung wurde mittels künstlicher Intelligenz generiert

Das Buch "Recent Trends in Data Type Specification" ist eine Sammlung von Forschungsarbeiten und Beiträgen, die auf dem

Produktdetails

Einband:
paperback
Seitenzahl:
568
Erschienen:
2008-06-13
Sprache:
Englisch
EAN:
9783540616290
ISBN:
9783540616290
Verlag:
Springer
Gewicht:
726 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Haveraaen, Magne

Entdecke mehr vom Verlag

Springer
Gut
43,06 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-32%
Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised ... Notes in Computer Science, 2755, Band 2755)
  • paperback
  • 472 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Recent Trends in Algebraic Development...
Pattinson, Dirk
39,11 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-30%
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European ... Notes in Computer Science, 2280, Band 2280)
  • paperback
  • 500 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tools and Algorithms for the Construction and...
Katoen, Joost-Pieter
40,34 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... Notes in Computer Science, 4424, Band 4424)
  • Kartoniert
  • 736 Seiten
  • Erschienen 2007
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tools and Algorithms for the Construction and...
Grumberg, Orna und Huth, Mi...
52,29 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-63%
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European ... Notes in Computer Science, 2031, Band 2031)
  • paperback
  • 608 Seiten
  • Erschienen 2009
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tools and Algorithms for the Construction and...
Yi, Wang
42,43 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-32%
Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and ... Notes in Computer Science, 2028, Band 2028)
  • paperback
  • 452 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming Languages and Systems: 10th...
Sands, David
39,17 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
Smart Card Research and Advanced Applications: 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006, ... Notes in Computer Science, 3928, Band 3928)
  • Kartoniert
  • 358 Seiten
  • Erschienen 2006
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Smart Card Research and Advanced Applications:...
Domingo-Ferrer, Josep
15,66 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-30%
Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European ... Notes in Computer Science, 4423, Band 4423)
  • Kartoniert
  • 379 Seiten
  • Erschienen 2007
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Software Science and...
Seidl, Helmut
40,24 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-30%
STACS 99: 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 Proceedings (Lecture Notes in Computer Science, 1563, Band 1563)
  • paperback
  • 604 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
STACS 99: 16th Annual Symposium on Theoretical...
Meinel, Christoph
79,95 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
Typed Lambda Calculi and Applications
  • Hardcover
  • 448 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Typed Lambda Calculi and Applications
Abramsky, Samson
9,76 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
Computer Science Logic
  • Hardcover
  • 528 Seiten
  • Erschienen 1998
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Science Logic
-
9,76 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-24%
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 6th International Workshop on Approximation Algorithms for ... Notes in Computer Science, 2764, Band 2764)
  • Kartoniert
  • 408 Seiten
  • Erschienen 2003
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Approximation, Randomization, and Combinatorial...
Arora, Sanjeev und Jansen, ...
43,32 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Practical Aspects of Declarative Languages: First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings (Lecture Notes in Computer Science, 1551, Band 1551)
  • paperback
  • 384 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Practical Aspects of Declarative Languages:...
Gupta, Gopal
8,38 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-0%
Discrete Geometry, Combinatorics and Graph Theory: 7th China-Japan Conference, CJCDGCGT 2005 Tianjin, China, November 2005 Xi'an, China, November 2005 ... Notes in Computer Science, 4381, Band 4381)
  • Kartoniert
  • 289 Seiten
  • Erschienen 2007
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Discrete Geometry, Combinatorics and Graph...
Akiyama, Jin und Chen, Will...
57,14 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-32%
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116, Band 3116)
  • paperback
  • 584 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Algebraic Methodology and Software Technology:...
Maharaj, Savitri
39,11 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Mathematical Foundations of Computer Science 1979: 8th Symposium, Olomouc Czechoslovakia, September 3-7, 1979. Proceedings (Lecture Notes in Computer Science, 74, Band 74)
  • paperback
  • 596 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Foundations of Computer Science...
Becvar, J.
6,66 € 45,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-27%
Static Analysis: 10th International Symposium, Sas 2003, San Diego, Ca, Usa, June 2003 Proceedings (Lecture Notes in Computer Science): 10th ... Notes in Computer Science, 2694, Band 2694)
  • paperback
  • 524 Seiten
  • Erschienen 2003
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Static Analysis: 10th International Symposium,...
Cousot, Radhia
41,71 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-5%
Formal Description of Programming Concepts III (Formal Description of Programming Concepts: Conference Proceedings)
  • hardcover
  • 466 Seiten
  • Erschienen 1988
  • Elsevier Science Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Description of Programming Concepts III...
Wirsing, Martin
162,08 € 171,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Computer Algebra in Scientific Computing: 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings (Theoretical Computer Science and General Issues, Band 11077)
  • Kartoniert
  • 375 Seiten
  • Erschienen 2018
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Algebra in Scientific Computing: 20th...
Gerdt, Vladimir P. und Koep...
10,00 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-43%
Algorithms -- ESA 2011: 19th Annual European Symposium, Saarbrücken, Germany, September 5-9, 2011, Proceedings (Lecture Notes in Computer Science, 6942, Band 6942)
  • Kartoniert
  • 813 Seiten
  • Erschienen 2011
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Algorithms -- ESA 2011: 19th Annual European...
Demetrescu, Camil und Halld...
60,62 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
Cooperation in Classification and Data Analysis
  • Kartoniert
  • 208 Seiten
  • Erschienen 2009
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Cooperation in Classification and Data Analysis
Okada, Akinori und Imaizumi...
13,62 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-33%
ECOOP 2003 - Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings (Lecture Notes in Computer Science, 2743, Band 2743)
  • paperback
  • 516 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
ECOOP 2003 - Object-Oriented Programming: 17th...
Cardelli, Luca
76,39 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-14%
Developments in Language Theory: 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings (Lecture Notes in Computer Science, 2710, Band 2710)
  • paperback
  • 452 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Developments in Language Theory: 7th...
Fülöp, Zoltán
49,19 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Extensional Gödel Functional Interpretation
  • Hardcover
  • 172 Seiten
  • Erschienen 1973
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Extensional Gödel Functional Interpretation
Luckhardt, Horst
2,15 € 26,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
-5%
Formal Description Techniques, IV (Ifip Transactions C : Communication Systems, Technical Committee 6)
  • paperback
  • 596 Seiten
  • Erschienen 1992
  • North Holland
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Description Techniques, IV (Ifip...
Rose, G. A.
68,84 € 72,71 €
Details
frontend/listing/product-box/box-product-slider.tpl
-38%
Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings (Theoretical Computer Science and General Issues, Band 8493)
  • paperback
  • 424 Seiten
  • Erschienen 2014
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Language, Life, Limits: 10th Conference on...
Meer, Klaus
33,01 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings (Lecture Notes in Computer Science, 1664, Band 1664)
  • paperback
  • 596 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
CONCUR'99. Concurrency Theory: 10th...
Mauw, Sjouke
20,55 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
Transactions on Pattern Languages of Programming IV
  • Kartoniert
  • 211 Seiten
  • Erschienen 2019
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Transactions on Pattern Languages of...
Noble, James
9,42 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
Proof Theory in Computer Science
  • Hardcover
  • 256 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory in Computer Science
-
9,76 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-45%
Mathematical Foundations of Computer Science 2003: 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings (Lecture Notes in Computer Science, 2747, Band 2747)
  • paperback
  • 708 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Foundations of Computer Science...
Vojtas, Peter
63,02 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
Datenbanken. Konzepte und Sprachen: Der fundierte Einstieg in Datenbanken. Schwerpunkt: Datenbankentwurf und Datenbanksprachen. Inklusive aktuelle Trends: SQL-99, JDBC, OLAP, Textsuche
  • hardcover
  • 784 Seiten
  • Erschienen 2007
  • mitp/bhv
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Datenbanken. Konzepte und Sprachen: Der...
Heuer, Andreas
4,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Foundations of Data Quality Management
  • Taschenbuch
  • 218 Seiten
  • Erschienen 2012
  • Morgan & Claypool Publishers
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Data Quality Management
Fan, Wenfei;Geerts, Floris;
2,03 € 41,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-35%
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 2006 Proceedings, Part I: 33rd International ... Notes in Computer Science, 4051, Band 4051)
  • Kartoniert
  • 729 Seiten
  • Erschienen 2006
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automata, Languages and Programming: 33rd...
Bugliesi, Michele und Prene...
74,38 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Concept Data Analysis
  • Hardcover
  • 220 Seiten
  • Erschienen 2004
  • Elsevier Science
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Concept Data Analysis
Carpineto, Claudio;Romano, ...
6,41 € 138,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-28%
Computing and Combinatorics: 9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings (Lecture Notes in Computer Science, 2697, Band 2697)
  • paperback
  • 580 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computing and Combinatorics: 9th Annual...
Zhu, Binhai
41,48 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, TX, USA, November 2000 Proceedings (Lecture Notes in ... Notes in Computer Science, 1954, Band 1954)
  • Hardcover
  • 324 Seiten
  • Erschienen 2002
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Methods in Computer-Aided Design: Third...
Hansmann, Uwe;Nicklous, Mar...
10,31 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Testing: Academic and Industrial Conference - Practice and Research Techniques: 5th International Conference, TAIC PART 2010, Windsor, UK, September ... Notes in Computer Science, 6303, Band 6303)
  • Kartoniert
  • 218 Seiten
  • Erschienen 2010
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Testing: Academic and Industrial Conference -...
Bottaci, Leonardo und Frase...
8,94 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Formal Models and Semantics (Volume B) (Handbook of Theoretical Computer Science, Volume B)
  • hardcover
  • 1273 Seiten
  • Erschienen 1990
  • Elsevier Science
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Models and Semantics (Volume B)...
Luisa, Bozzano G
7,24 € 246,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-32%
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, ... Notes in Computer Science, 2643, Band 2643)
  • paperback
  • 280 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Applied Algebra, Algebraic Algorithms and...
Fossorier, Marc
39,12 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
Computer Science and Statistics: 15th: Symposium Proceedings (Computer Science and Statistics: Symposium Proceedings)
  • hardcover
  • 392 Seiten
  • Erschienen 1983
  • Elsevier Science Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Science and Statistics: 15th:...
Gentle, James E.
79,26 €
Details