×

Found 61 Documents (Results 1–61)

Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. (English) Zbl 1396.68017

Lecture Notes in Computer Science 11106. Cham: Springer (ISBN 978-3-319-99497-0/pbk; 978-3-319-99498-7/ebook). xiii, 353 p. (2018).
MSC:  68-06 68Q05 68Q10 81P68 94C10 00B25
PDFBibTeX XMLCite
Full Text: DOI

Reversible computation. 9th international conference, RC 2017, Kolkata, India, July 6–7, 2017. Proceedings. (English) Zbl 1364.68013

Lecture Notes in Computer Science 10301. Cham: Springer (ISBN 978-3-319-59935-9/pbk; 978-3-319-59936-6/ebook). xii, 255 p. (2017).
MSC:  68-06 68Q05 68Q10 81P68 94C10 00B25
PDFBibTeX XMLCite
Full Text: DOI

Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. (English) Zbl 1342.68013

Lecture Notes in Computer Science 9720. Cham: Springer (ISBN 978-3-319-40577-3/pbk; 978-3-319-40578-0/ebook). xiii, 339 p. (2016).
MSC:  68-06 68Q05 68Q10 81P68 94C10 00B25
PDFBibTeX XMLCite
Full Text: DOI

Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. (English) Zbl 1342.68026

Lecture Notes in Computer Science 9138. Cham: Springer (ISBN 978-3-319-20859-6/pbk; 978-3-319-20860-2/ebook). viii, 291 p. (2015).
MSC:  68-06 68Q05 81P68 94C10 00B25
PDFBibTeX XMLCite
Full Text: DOI

Transactions on Computational Science XXIV. Special issue on reversible computing. (English) Zbl 1318.68019

Lecture Notes in Computer Science 8911. Journal Subline. Berlin: Springer (ISBN 978-3-662-45710-8/pbk; 978-3-662-45711-5/ebook). xiii, 147 p. (2014).
MSC:  68-06 68M07 81P68 94C10 00B15
PDFBibTeX XMLCite
Full Text: DOI

Reversible computation. 6th international conference, RC 2014, Kyoto, Japan, July 10–11, 2014. Proceedings. (English) Zbl 1293.68036

Lecture Notes in Computer Science 8507. Berlin: Springer (ISBN 978-3-319-08493-0/pbk). x, 231 p. (2014).
MSC:  68-06 68Q05 81P68 94C10 00B25
PDFBibTeX XMLCite
Full Text: DOI

Reversible computation. 4th international workshop, RC 2012, Copenhagen, Denmark, July 2–3, 2012. Revised papers. (English) Zbl 1322.68013

Lecture Notes in Computer Science 7581. Berlin: Springer (ISBN 978-3-642-36314-6/pbk). x, 241 p. (2013).
MSC:  68-06 68Q05 94C10 00B25
PDFBibTeX XMLCite
Full Text: DOI

Reversible computation. 5th international conference, RC 2013, Victoria, BC, Canada, July 4–5, 2013. Proceedings. (English) Zbl 1277.68008

Lecture Notes in Computer Science 7948. Berlin: Springer (ISBN 978-3-642-38985-6/pbk). x, 263 p. (2013).
MSC:  68-06 68Q05 94C10 00B25
PDFBibTeX XMLCite
Full Text: DOI

Progress in VLSI design and test. 16th international symposium, VDAT 2012, Shibpur, India, July 1–4, 2012. Proceedings. (English) Zbl 1248.94011

Lecture Notes in Computer Science 7373. Berlin: Springer (ISBN 978-3-642-31493-3/pbk). xxii, 408 p. (2012).
MSC:  94-06 68-06 68W35 94C10 94C12 00B25
PDFBibTeX XMLCite
Full Text: DOI

Reversible computation. Third international workshop, RC 2011, Gent, Belgium, July 4–5, 2011. Revised papers. (English) Zbl 1241.68014

Lecture Notes in Computer Science 7165. Berlin: Springer (ISBN 978-3-642-29516-4/pbk). ix, 123 p. (2012).
MSC:  68-06 68Q05 94C10 00B25
PDFBibTeX XMLCite
Full Text: DOI

Field-programmable logic and applications. 13th international conference, FPL 2003, Lisbon, Portugal, September 1–3, 2003. Proceedings. (English) Zbl 1048.68714

Lecture Notes in Computer Science 2778. Berlin: Springer (ISBN 3-540-40822-3/pbk). xxvi, 1179 p. (2003).
MSC:  68U99 68-06 94C10
PDFBibTeX XMLCite
Full Text: DOI

Applied algebra, algebraic algorithms and error-correcting codes. 15th international symposium, AAECC-15, Toulouse, France, May 12–16, 2003. Proceedings. (English) Zbl 1019.00017

Lecture Notes in Computer Science. 2643. Berlin: Springer. x, 264 p. (2003).
MSC:  00B25 94-06 68-06
PDFBibTeX XMLCite
Full Text: DOI Link

Evolvable systems: From biology to hardware. 5th international conference, ICES 2003, Trondheim, Norway, March 17–20, 2003. Proceedings. (English) Zbl 1017.68913

Lecture Notes in Computer Science. 2606. Berlin: Springer. xiv, 468 p. (2003).
MSC:  68U99 68-06 94-06 68T05 94C10
PDFBibTeX XMLCite
Full Text: DOI Link

Integrated circuit design. Power and timing modeling, optimization and simulation. 12th international workshop, PATMOS 2002, Seville, Spain, September 11–13, 2002. Proceedings. (English) Zbl 1046.68767

Lecture Notes in Computer Science 2451. Berlin: Springer (ISBN 3-540-44143-3/pbk). xvi, 496 p. (2002).
MSC:  68U99 68-06 94-06 94C10
PDFBibTeX XMLCite

Field-programmable logic and applications. Reconfigurable computing is going mainstream. 12th international conference, FPL 2002, Montpellier, France, September 2–4, 2002. Proceedings. (English) Zbl 1010.68847

Lecture Notes in Computer Science 2438. Berlin: Springer. xxii, 1187 p. (2002).
MSC:  68-06 94C10 00B25
PDFBibTeX XMLCite
Full Text: DOI Link

Process algebra and probabilistic methods. Performance modeling and verification. 2nd joint international workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25–26, 2002. Proceedings. (English) Zbl 0993.00052

Lecture Notes in Computer Science. 2399. Berlin: Springer. x, 215 p. (2002).
PDFBibTeX XMLCite

Applied algebra, algebraic algorithms and error-correcting codes. 14th international symposium, AAECC-14, Melbourne, Australia, November 26–30, 2001. Proceedings. (English) Zbl 0983.00064

Lecture Notes in Computer Science. 2227. Berlin: Springer. xii, 398 p. (2001).
MSC:  00B25 94-06 68-06
PDFBibTeX XMLCite

Process algebra and probabilistic methods. Performance modelling and verification. Joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12–14, 2001. Proceedings. (English) Zbl 0971.00028

Lecture Notes in Computer Science. 2165. Berlin: Springer. xii, 217 p. (2001).
MSC:  00B25 68-06 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Applied algebra, algebraic algorithms and error-correcting codes. 12th international symposium, AAECC-12, Toulouse, France, June 23–27, 1997. Proceedings. (English) Zbl 1001.00072

Lecture Notes in Computer Science. 1255. Berlin: Springer. x, 353 p. (1997).
MSC:  00B25 94-06 68-06
PDFBibTeX XMLCite

Field-programmable logic: smart applications, new paradigms and compilers. 6th international workshop, FPL ’96, Darmstadt, Germany, September 23–25, 1996. Proceedings. (English) Zbl 1155.68303

Lecture Notes in Computer Science 1142. Berlin: Springer (ISBN 3-540-61730-2). x, 432 p. (1996).
MSC:  68-06 94-06 00B25 68N20 94C10
PDFBibTeX XMLCite
Full Text: DOI

Higher-order algebra, logic, and term rewriting. Second international workshop, HOA ’95, Paderborn, Germany, September 21–22, 1995. Selected papers. (English) Zbl 0851.00044

Lecture Notes in Computer Science 1074. Berlin: Springer (ISBN 3-540-61254-8/pbk). 287 p. (1996).
MSC:  00B25 03-06 68-06
PDFBibTeX XMLCite
Full Text: DOI

Automated deduction in equational logic and cubic curves. (English) Zbl 0921.03011

Lecture Notes in Computer Science 1095. Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag. ix, 231 p. DM 54.00; öS 394.20; sFr. 48.00 (1996).
PDFBibTeX XMLCite
Full Text: DOI

Field-programmable logic and applications. 5th International Workshop, FPL’95, Oxford, United Kingdom, August 29-September 1, 1995. Proceedings. (English) Zbl 1060.68509

Lecture Notes in Computer Science 975. Berlin: Springer-Verlag (ISBN 3-540-60294-1). xii, 450 p. (1995).
MSC:  68-06 94-06 00B25 94C10
PDFBibTeX XMLCite
Full Text: DOI

Higher-order algebra, logic, and term rewriting. 1st international workshop, HOA ’93, Amsterdam, the Netherlands, September 23–24, 1993. Selected papers. (English) Zbl 0825.00070

Lecture Notes in Computer Science 816. Berlin: Springer-Verlag. vii, 344 p. DM 72.00; öS 561.60; sFr 72.00 /sc (1994).
MSC:  00B25 68-06
PDFBibTeX XMLCite
Full Text: DOI

Applied algebra, algebraic algorithms and error-correcting codes. 9th international symposium, AAECC ’9, New Orleans, LA, USA, October 7–11, 1991. Proceedings. (English) Zbl 0758.00016

Lecture Notes in Computer Science 539. Berlin etc.: Springer-Verlag. XI, 489 p. (1991).
MSC:  00B25 68-06
PDFBibTeX XMLCite

Algebraic and logic programming. Second international conference, Nancy, France, October 1–3, 1990. Proceedings. (English) Zbl 0763.68011

Lecture Notes in Computer Science. 463. Berlin etc.: Springer-Verlag. VII, 386 p. (1990).
PDFBibTeX XMLCite
Full Text: DOI

CONCUR ’90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. (English) Zbl 0746.68005

Lecture Notes in Computer Science 458. Berlin etc.: Springer-Verlag. VII, 536 p. (1990).
PDFBibTeX XMLCite

Mathematical foundations of programming semantics. 5th international conference, New Orleans, Louisiana, USA, March 29 – April 1, 1989. Proceedings. (English) Zbl 0751.68005

Lecture Notes in Computer Science 442. Berlin etc.: Springer-Verlag. VI, 439 p. (1990).
Reviewer: E. P. de Vink
PDFBibTeX XMLCite
Full Text: DOI

Design and implementation of symbolic computation systems. International symposium DISCO ’90, Capri, Italy, April 10-12, 1990. Proceedings. (English) Zbl 0757.68013

Lecture Notes in Computer Science. 429. Berlin etc.: Springer-Verlag. XII, 284 p. (1990).
PDFBibTeX XMLCite

Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings. (English) Zbl 0745.68019

Lecture Notes in Computer Science. 394. Berlin etc.: Springer-Verlag. VI, 558 p. (1989).
PDFBibTeX XMLCite

Applied algebra, algebraic algorithms and error-correcting codes. 5th international conference, AAECC-5, Menorca, Spain, June 15–19, 1987. Proceedings. (English) Zbl 0671.00022

Lecture Notes in Computer Science 356. Berlin etc.: Springer-Verlag. 417 p. DM 57.50 (1989).
MSC:  00B25 68-06 94-06
PDFBibTeX XMLCite

ISSAC ’88. Proceedings of the international symposium on symbolic and algebraic computation. Rome, Italy, July 4–8, 1988. (English) Zbl 0706.68006

Lecture Notes in Computer Science 358. Berlin etc.: Springer-Verlag. xi, 544 p. DM 74.00 (1989).
PDFBibTeX XMLCite
Full Text: DOI

Applicable algebra, error-correcting codes, combinatorics and computer algebra. 4th international conference, AAECC-4, Karlsruhe, FRG, September 23-26, 1986. Proceedings. (English) Zbl 0642.00029

Lecture Notes in Computer Science, 307. Berlin etc.: Springer-Verlag. vi, 215 p. DM 36.00 (1988).
PDFBibTeX XMLCite

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software