Gesamtpreis (1 Artikel Artikel):
Versandziel:
typed lambda calculi applications (171 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (171)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (141)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (19)
- Gut oder Befriedigend (9)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (2)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (75)
- Keine Print-on-Demand Angebote (132)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The . (Lecture Notes in Computer Science, 664).
Verlag: Springer Berlin Heidelberg, 1993
ISBN 10: 3540565175 ISBN 13: 9783540565178
Sprache: Englisch
Anbieter: G. & J. CHESTERS, TAMWORTH, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 7,22
Währung umrechnenEUR 9,19 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: Very Good. pp.viii, 432 pages, a VG+ paperback [3540565175]. Ex-university library, and hard to find outside of America.
-
![Beispielbild für Typed Lambda Calculi and Applications. [Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 1995 Proceedings] (Lecture Notes in Computer Science 902) zum Verkauf von G. & J. CHESTERS](https://pictures.abebooks.com/isbn/9783540590484-de-300.jpg)
Typed Lambda Calculi and Applications. [Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 1995 Proceedings] (Lecture Notes in Computer Science 902)
Verlag: Springer Berlin Heidelberg, 1995
ISBN 10: 354059048X ISBN 13: 9783540590484
Sprache: Englisch
Anbieter: G. & J. CHESTERS, TAMWORTH, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 10,77
Währung umrechnenEUR 9,19 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: Very Good. pp.viii, 442 pages, a very good paperback [354059048X]. From a university library.
-
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom
Anbieter: George Cross Books, Lexington, MA, USA
Verbandsmitglied: IOBA
Verkäuferbewertung 4 von 5 Sternen
EUR 24,65
Währung umrechnenEUR 3,42 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Reprint edition. Very Good/Wraps (34592) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 902 This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems. 443.
-
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, . (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 30,54
Währung umrechnenEUR 5,97 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Typed Lambda Calculi And Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
Verlag: Springer Verlag, New York, 2005
ISBN 10: 3540255931 ISBN 13: 9783540255932
Sprache: Englisch
Anbieter: Doss-Haus Books, Redondo Beach, CA, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 33,00
Währung umrechnenEUR 4,70 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. No Jacket. Hardcover 2005 library bound edition. Ex-library book with minimal stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;3461.[xi, 432 p. : ill. ; 24 cm].
-
Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings (Lecture Notes in Computer . Computer Science and General Issues)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 34,49
Währung umrechnenEUR 5,97 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Typed Lambda Calculi And Applications -
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 46,86
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Typed Lambda Calculi And Applications -
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 46,86
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in . Computer Science and General Issues)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 42,04
Währung umrechnenEUR 5,97 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science, 1581).
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 5 von 5 Sternen
EUR 19,00
Währung umrechnenEUR 30,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den Warenkorb1999th ed. 15 x 23 cm. 412 pages. Paperback. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
-
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 45,01
Währung umrechnenEUR 5,97 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science, 902)
Anbieter: ALLBOOKS1, Direk, SA, Australien
Verkäuferbewertung 5 von 5 Sternen
EUR 52,57
Währung umrechnenKostenlos für den Versand von Australien nach USAAnzahl: 1 verfügbar
In den WarenkorbBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Typed Lambda Calculi and Applications (Paperback)
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2007
ISBN 10: 3540732276 ISBN 13: 9783540732273
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 55,82
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This volume represents the proceedings of the Eighth International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France during 26-28 June 2007, in conjunction with RTA. It contains the abstracts of the invited talks by Frank Pfenning and Patrick Baillot, plus 25 contributed - pers. The contributed papers were selected from a total of 52 submissions. The conference program included an invited talk by Greg Morrisett and a special evening talk by Henk Barendregt, on "Diamond Anniversary of Lambda Cal- lus." I wish to express my gratitude to the members of the ProgramCommittee and to all the referees for their contribution in preparing a very interesting s- enti?c program. Moreover, I thank, the members of the Organizing Committee for their hard work and the sponsoring institutions.April 2007 Simona Ronchi Della Rocca Organization Program Committee Chantal Berline (CNRS, France) Peter Dybjer (Chalmers, Sweden) Healfdene Goguen (Google, USA) Robert Harper (Carnegie Mellon University, USA) Olivier Laurent (CNRS, France) Simone Martini (University of Bologna, Italy) Simona Ronchi Della Rocca (University of Torino, Italy), Chair Peter Selinger (Dalhousie University, Canada) Paula Severi (University of Leicester, UK) Kazushige Terui (University of Sokendai, Japan) Pawel Urzyczyn (University of Warsaw, Poland) Steering Committee Samson Abramsky (University of Oxford, UK) Henk Barendregt (Katholieke Universitet Nijmegen, The Netherlands) Mariangiola Dezani-Ciancaglini (University of Torino, Italy), Chair Roger Hindley (University of Swansea, UK) Martin Hofmann (University of Munich, Germany) Pawel Urzyczyn (University of Warsaw, Poland) Organizing Committee Antonio Bucciarelli (PPS, University of Paris 7) Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Typed Lambda Calculi and Applications : 8th International Conference, Tlca 2007, Paris, France, June 26-28, 2007, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,51
Währung umrechnenEUR 2,26 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,51
Währung umrechnenEUR 2,26 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
Typed Lambda Calculi and Applications (Paperback)
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2003
ISBN 10: 3540403329 ISBN 13: 9783540403326
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 55,84
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants. The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003.The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Typed Lambda Calculi and Applications (Paperback)
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1999
ISBN 10: 3540657630 ISBN 13: 9783540657637
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 55,84
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, TLCA'99, held in L'Aquila, Italy in April 1999. The 25 revised full papers presented were carefully reviewed and selected from a total of 50 submissions. Also included are two invited demonstrations. The volume reports research results on various aspects of typed lambda calculi. Among the topics addressed are noncommutative logics, type theory, algebraic data types, logical calculi, abstract data types, and subtyping. This text present the proceedings of the 4th International Conference on Typed Lambda Calculi and Applications. The volume reports research results on aspects of typed Lambda calculi and explores noncommutative logics, type theory, algebraic data types, logical calculi and abstract data types. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Typed Lambda Calculi and Applications : 10th International Conference, Tlca 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,52
Währung umrechnenEUR 2,26 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
Typed Lambda Calculi and Applications : 4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999 : Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,52
Währung umrechnenEUR 2,26 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Typed Lambda Calculi and Applications (Paperback)
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 3642216900 ISBN 13: 9783642216909
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 55,86
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming.The 15 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, and programming. This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings (Lecture Notes in Computer Science, 6690)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,42
Währung umrechnenEUR 3,41 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science, 4583)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,42
Währung umrechnenEUR 3,41 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science, 1581)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,42
Währung umrechnenEUR 3,41 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings (Lecture Notes in Computer Science, 2701)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,42
Währung umrechnenEUR 3,41 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Typed Lambda Calculi and Applications (Paperback)
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2001
ISBN 10: 3540419608 ISBN 13: 9783540419600
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 56,25
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus. This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Typed Lambda Calculi And Applications : 7th International Conference, Tlca 2005, Nara, Japan, April 21-23, 2005, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,93
Währung umrechnenEUR 2,26 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,93
Währung umrechnenEUR 2,26 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
Typed Lambda Calculi and Applications : 5th International Conference, Tlca 2001, Krakow, Poland, May 2-5, 2001 : Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,93
Währung umrechnenEUR 2,26 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, Tlca '97, Nancy, France, April 2-4, 1997 : Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,93
Währung umrechnenEUR 2,26 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
Typed Lambda Calculi and Applications (Paperback)
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2005
ISBN 10: 3540255931 ISBN 13: 9783540255932
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 56,27
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the 7th International Conference on Typed Lambda Calculi and Applications, TLCA 2005, held in Nara, Japan in April 2005.The 27 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 61 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts. The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and Programming (RDP 2005). Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
