Jaunas gr�matas

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior 2019 ed.

Mon, 11 Feb 2019 00:00:00 GMT

Patrick Schultz, David I. Spivak
ISBN: 9783030007034
Izdevniec�ba: Springer Nature Switzerland AG
Form�ts: Hardback, Izdo�anas datums: 11-Feb-2019
Cena: 109,38 �

Advances in Proof Theory Softcover reprint of the original 1st ed. 2016

Sun, 27 May 2018 00:00:00 GMT

Reinhard Kahle, Thomas Strahm, Thomas Studer
ISBN: 9783319805139
Izdevniec�ba: Birkhauser Verlag AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 27-May-2018
Cena: 91,53 �

Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume Softcover reprint of the original 1st ed. 2014

Tue, 23 Aug 2016 00:00:00 GMT

Manindra Agrawal, Vikraman Arvind
ISBN: 9783319350585
Izdevniec�ba: Birkhauser Verlag AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 23-Aug-2016
Cena: 100,46 �

Advances in Proof Theory 1st ed. 2016

Thu, 12 May 2016 00:00:00 GMT

Reinhard Kahle, Thomas Strahm, Thomas Studer
ISBN: 9783319291963
Izdevniec�ba: Birkhauser Verlag AG
Form�ts: Hardback, Izdo�anas datums: 12-May-2016
Cena: 91,53 �

Mathematical Logic: Foundations for Information Science 2nd ed. 2014

Mon, 24 Nov 2014 00:00:00 GMT

Wei Li
ISBN: 9783034808613
Izdevniec�ba: Birkhauser Verlag AG
Form�ts: Hardback, Izdo�anas datums: 24-Nov-2014
Cena: 46,91 �

Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume

Thu, 31 Jul 2014 00:00:00 GMT

Manindra Agrawal, Vikraman Arvind
ISBN: 9783319054452
Izdevniec�ba: Birkhauser Verlag AG
Form�ts: Hardback, Izdo�anas datums: 31-Jul-2014
Cena: 100,46 �

Cryptographic Applications of Analytic Number Theory: Complexity Lower Bounds and Pseudorandomness Softcover reprint of the original 1st ed. 2003

Thu, 03 Oct 2013 00:00:00 GMT

Igor Shparlinski
ISBN: 9783034894159
Izdevniec�ba: Birkhauser Verlag AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 03-Oct-2013
Cena: 91,53 �

Coding, Cryptography and Combinatorics Softcover reprint of the original 1st ed. 2004

Wed, 21 Nov 2012 00:00:00 GMT

Keqin Feng, Harald Niederreiter, Chaoping Xing
ISBN: 9783034896023
Izdevniec�ba: Birkhauser Verlag AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 21-Nov-2012
Cena: 91,53 �

Cryptography and Computational Number Theory Softcover reprint of the original 1st ed. 2001

Mon, 29 Oct 2012 00:00:00 GMT

Kwok Y. Lam, Igor Shparlinski, Huaxiong Wang, Chaoping Xing
ISBN: 9783034895071
Izdevniec�ba: Birkhauser Verlag AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 29-Oct-2012
Cena: 73,64 �

Symbolic Rewriting Techniques Softcover reprint of the original 1st ed. 1998

Tue, 23 Oct 2012 00:00:00 GMT

Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning
ISBN: 9783034897792
Izdevniec�ba: Birkhauser Verlag AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 23-Oct-2012
Cena: 46,91 �

Number Theoretic Methods in Cryptography: Complexity lower bounds Softcover reprint of the original 1st ed. 1999

Mon, 08 Oct 2012 00:00:00 GMT

Igor Shparlinski
ISBN: 9783034897235
Izdevniec�ba: Birkhauser Verlag AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 08-Oct-2012
Cena: 46,91 �

Bounded Queries in Recursion Theory Softcover reprint of the original 1st ed. 1999

Fri, 13 Jul 2012 00:00:00 GMT

William Levine, Georgia Martin
ISBN: 9781461268482
Izdevniec�ba: Springer-Verlag New York Inc.
Form�ts: M�kstie v�ki, Izdo�anas datums: 13-Jul-2012
Cena: 91,53 �

Logical Methods: In Honor of Anil Nerodes Sixtieth Birthday Softcover reprint of the original 1st ed. 1993

Tue, 14 Feb 2012 00:00:00 GMT

John N. Crossley, Jeffrey B. Remmel, Richard Shore, Moss E. Sweedler
ISBN: 9781461267089
Izdevniec�ba: Springer-Verlag New York Inc.
Form�ts: M�kstie v�ki, Izdo�anas datums: 14-Feb-2012
Cena: 136,16 �

Introduction to Quantum Computing Algorithms Softcover reprint of the original 1st ed. 2000

Fri, 16 Dec 2011 00:00:00 GMT

Arthur O. Pittenger
ISBN: 9781461271277
Izdevniec�ba: Springer-Verlag New York Inc.
Form�ts: M�kstie v�ki, Izdo�anas datums: 16-Dec-2011
Cena: 64,76 �

Automata Theory and its Applications Softcover reprint of the original 1st ed. 2001

Tue, 01 Nov 2011 00:00:00 GMT

Bakhadyr Khoussainov, Anil Nerode
ISBN: 9781461266457
Izdevniec�ba: Springer-Verlag New York Inc.
Form�ts: M�kstie v�ki, Izdo�anas datums: 01-Nov-2011
Cena: 69,18 �