Kari, Jarkko (ed.); Ulidowski, Irek (ed.) 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 \textit{J. Kari} (ed.) and \textit{I. Ulidowski} (ed.), Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12--14, 2018. Proceedings. Cham: Springer (2018; Zbl 1396.68017) Full Text: DOI
Phillips, Iain (ed.); Rahaman, Hafizur (ed.) 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 \textit{I. Phillips} (ed.) and \textit{H. Rahaman} (ed.), Reversible computation. 9th international conference, RC 2017, Kolkata, India, July 6--7, 2017. Proceedings. Cham: Springer (2017; Zbl 1364.68013) Full Text: DOI
Devitt, Simon (ed.); Lanese, Ivan (ed.) 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 \textit{S. Devitt} (ed.) and \textit{I. Lanese} (ed.), Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7--8, 2016. Proceedings. Cham: Springer (2016; Zbl 1342.68013) Full Text: DOI
Krivine, Jean (ed.); Stefani, Jean-Bernard (ed.) 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 \textit{J. Krivine} (ed.) and \textit{J.-B. Stefani} (ed.), Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16--17, 2015. Proceedings. Cham: Springer (2015; Zbl 1342.68026) Full Text: DOI
Gavrilova, L. (ed.); Tan, Kenneth (ed.); Thapliyal, Himanshu (ed.); Ranganathan, Nagarajan (ed.) 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 \textit{L. Gavrilova} (ed.) et al., Transactions on Computational Science XXIV. Special issue on reversible computing. Berlin: Springer (2014; Zbl 1318.68019) Full Text: DOI
Yamashita, Shigeru (ed.); Minato, Shin-ichi (ed.) 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 \textit{S. Yamashita} (ed.) and \textit{S.-i. Minato} (ed.), Reversible computation. 6th international conference, RC 2014, Kyoto, Japan, July 10--11, 2014. Proceedings. Berlin: Springer (2014; Zbl 1293.68036) Full Text: DOI
Glück, Robert (ed.); Yokoyama, Tetsuo (ed.) 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 \textit{R. Glück} (ed.) and \textit{T. Yokoyama} (ed.), Reversible computation. 4th international workshop, RC 2012, Copenhagen, Denmark, July 2--3, 2012. Revised papers. Berlin: Springer (2013; Zbl 1322.68013) Full Text: DOI
Dueck, Gerhard W. (ed.); Miller, D. Michael (ed.) 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 \textit{G. W. Dueck} (ed.) and \textit{D. M. Miller} (ed.), Reversible computation. 5th international conference, RC 2013, Victoria, BC, Canada, July 4--5, 2013. Proceedings. Berlin: Springer (2013; Zbl 1277.68008) Full Text: DOI
Rahaman, Hafizur (ed.); Chattopadhyay, Sanatan (ed.); Chattopadhyay, Santanu (ed.) 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 \textit{H. Rahaman} (ed.) et al., Progress in VLSI design and test. 16th international symposium, VDAT 2012, Shibpur, India, July 1--4, 2012. Proceedings. Berlin: Springer (2012; Zbl 1248.94011) Full Text: DOI
De Vos, Alexis (ed.); Wille, Robert (ed.) 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 \textit{A. De Vos} (ed.) and \textit{R. Wille} (ed.), Reversible computation. Third international workshop, RC 2011, Gent, Belgium, July 4--5, 2011. Revised papers. Berlin: Springer (2012; Zbl 1241.68014) Full Text: DOI
Gerhard, Jürgen Modular algorithms in symbolic summation and symbolic integration. (English) Zbl 1131.68121 Lecture Notes in Computer Science 3218. Berlin: Springer (ISBN 978-3-540-24061-7/pbk). xvi, 224 p. (2005). MSC: 68W30 68-02 PDFBibTeX XMLCite \textit{J. Gerhard}, Modular algorithms in symbolic summation and symbolic integration. Berlin: Springer (2005; Zbl 1131.68121) Full Text: DOI
Cheung, Peter Y. K. (ed.); Constantinides, George A. (ed.); de Sousa, Jose T. (ed.) 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 \textit{P. Y. K. Cheung} (ed.) et al., Field-programmable logic and applications. 13th international conference, FPL 2003, Lisbon, Portugal, September 1--3, 2003. Proceedings. Berlin: Springer (2003; Zbl 1048.68714) Full Text: DOI
Fossorier, Marc (ed.); Høholdt, Tom (ed.); Poli, Alain (ed.) 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 \textit{M. Fossorier} (ed.) et al., Applied algebra, algebraic algorithms and error-correcting codes. 15th international symposium, AAECC-15, Toulouse, France, May 12--16, 2003. Proceedings. Berlin: Springer (2003; Zbl 1019.00017) Full Text: DOI Link
Tyrrell, Andy M. (ed.); Haddow, Pauline C. (ed.); Torresen, Jim (ed.) 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 \textit{A. M. Tyrrell} (ed.) et al., Evolvable systems: From biology to hardware. 5th international conference, ICES 2003, Trondheim, Norway, March 17--20, 2003. Proceedings. Berlin: Springer (2003; Zbl 1017.68913) Full Text: DOI Link
Hochet, Bertrand (ed.); Acosta, Antonio J. (ed.); Bellido, Manuel J. (ed.) 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 \textit{B. Hochet} (ed.) et al., Integrated circuit design. Power and timing modeling, optimization and simulation. 12th international workshop, PATMOS 2002, Seville, Spain, September 11--13, 2002. Proceedings. Berlin: Springer (2002; Zbl 1046.68767)
Cortadella, Jordi (ed.); Yakovlev, Alex (ed.); Rozenberg, Grzegorz (ed.) Concurrency and hardware design. Advances in Petri nets. (English) Zbl 1011.00018 Lecture Notes in Computer Science. 2549. Berlin: Springer. xi, 343 p. (2002). MSC: 00B15 68-06 68M07 68Q85 94C10 PDFBibTeX XMLCite \textit{J. Cortadella} (ed.) et al., Concurrency and hardware design. Advances in Petri nets. Berlin: Springer (2002; Zbl 1011.00018) Full Text: DOI Link
Glesner, Manfred (ed.); Zipf, Peter (ed.); Renovell, Michel (ed.) 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 \textit{M. Glesner} (ed.) et al., Field-programmable logic and applications. Reconfigurable computing is going mainstream. 12th international conference, FPL 2002, Montpellier, France, September 2--4, 2002. Proceedings. Berlin: Springer (2002; Zbl 1010.68847) Full Text: DOI Link
Hermanns, Holger Interactive Markov chains. And the quest for quantified quality. (English) Zbl 1012.68142 Lecture Notes in Computer Science. 2428. Berlin: Springer. xii, 217 p. (2002). Reviewer: L.Lakatos (Budapest) MSC: 68Q85 68-02 60-02 PDFBibTeX XMLCite \textit{H. Hermanns}, Interactive Markov chains. And the quest for quantified quality. Berlin: Springer (2002; Zbl 1012.68142) Full Text: DOI
Hermanns, Holger (ed.); Segala, Roberto (ed.) 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). MSC: 00B25 68-06 68Q85 68Q60 PDFBibTeX XMLCite \textit{H. Hermanns} (ed.) and \textit{R. Segala} (ed.), Process algebra and probabilistic methods. Performance modeling and verification. 2nd joint international workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25--26, 2002. Proceedings. Berlin: Springer (2002; Zbl 0993.00052)
Boztaş, Serdar (ed.); Shparlinski, Igor E. (ed.) 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 \textit{S. Boztaş} (ed.) and \textit{I. E. Shparlinski} (ed.), Applied algebra, algebraic algorithms and error-correcting codes. 14th international symposium, AAECC-14, Melbourne, Australia, November 26--30, 2001. Proceedings. Berlin: Springer (2001; Zbl 0983.00064)
De Alfaro, Luca (ed.); Gilmore, Stephen (ed.) 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 \textit{L. De Alfaro} (ed.) and \textit{S. Gilmore} (ed.), Process algebra and probabilistic methods. Performance modelling and verification. Joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12--14, 2001. Proceedings. Berlin: Springer (2001; Zbl 0971.00028) Full Text: DOI
Mora, Teo (ed.); Mattson, Harold (ed.) 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 \textit{T. Mora} (ed.) and \textit{H. Mattson} (ed.), Applied algebra, algebraic algorithms and error-correcting codes. 12th international symposium, AAECC-12, Toulouse, France, June 23--27, 1997. Proceedings. Berlin: Springer (1997; Zbl 1001.00072)
Hartenstein, Reiner W. (ed.); Glesner, Manfred (ed.) 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 \textit{R. W. Hartenstein} (ed.) and \textit{M. Glesner} (ed.), Field-programmable logic: smart applications, new paradigms and compilers. 6th international workshop, FPL '96, Darmstadt, Germany, September 23--25, 1996. Proceedings. Berlin: Springer (1996; Zbl 1155.68303) Full Text: DOI
Dowek, Gilles (ed.); Heering, Jan (ed.); Meinke, Karl (ed.); Möller, Bernhard (ed.) 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 \textit{G. Dowek} (ed.) et al., Higher-order algebra, logic, and term rewriting. Second international workshop, HOA '95, Paderborn, Germany, September 21--22, 1995. Selected papers. Berlin: Springer (1996; Zbl 0851.00044) Full Text: DOI
McCune, William; Padmanabhan, R. 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). MSC: 03B35 68T15 03-02 68-02 03C05 08-04 14-04 14Q05 14H45 PDFBibTeX XMLCite \textit{W. McCune} and \textit{R. Padmanabhan}, Automated deduction in equational logic and cubic curves. Berlin: Springer-Verlag (1996; Zbl 0921.03011) Full Text: DOI
Moore, Will (ed.); Luk, Wayne (ed.) 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 \textit{W. Moore} (ed.) and \textit{W. Luk} (ed.), Field-programmable logic and applications. 5th International Workshop, FPL'95, Oxford, United Kingdom, August 29-September 1, 1995. Proceedings. Berlin: Springer-Verlag (1995; Zbl 1060.68509) Full Text: DOI
Heering, Jan (ed.); Meinke, Karl (ed.); Möller, Bernhard (ed.); Nipkow, Tobias (ed.) 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 \textit{J. Heering} (ed.) et al., Higher-order algebra, logic, and term rewriting. 1st international workshop, HOA '93, Amsterdam, the Netherlands, September 23--24, 1993. Selected papers. Berlin: Springer (1994; Zbl 0825.00070) Full Text: DOI
Tison, Sophie (ed.) Trees in algebra and programming – CAAP ’94. 19th international colloquium, Edinburgh, GB, April 11–13, 1994. Proceedings. (English) Zbl 0924.00045 Lecture Notes in Computer Science 787. Berlin: Springer. x, 351 p. (1994). MSC: 00B25 68-06 05-06 05C05 68N01 PDFBibTeX XMLCite \textit{S. Tison} (ed.), Trees in algebra and programming -- CAAP '94. 19th international colloquium, Edinburgh, GB, April 11--13, 1994. Proceedings. Berlin: Springer (1994; Zbl 0924.00045)
Sakata, Shojiro (ed.) Applied algebra, algebraic algorithms and error-correcting codes. 8th international conference, AAECC-8, Tokyo, Japan, August 20–24, 1990. Proceedings. (English) Zbl 0727.00017 Lecture Notes in Computer Science 508. Berlin etc.: Springer-Verlag. ix, 390 p. DM 55.00 (1991). MSC: 00B25 68-06 13-06 14-06 11-06 12-06 94-06 PDFBibTeX XML
Mattson, Harold F. (ed.); Mora, Teo (ed.); Rao, T. R. N. (ed.) 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 \textit{H. F. Mattson} (ed.) et al., Applied algebra, algebraic algorithms and error-correcting codes. 9th international symposium, AAECC '9, New Orleans, LA, USA, October 7--11, 1991. Proceedings. Berlin etc.: Springer-Verlag (1991; Zbl 0758.00016)
Kirchner, Hélène (ed.); Wechler, Wolfgang (ed.) 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). Reviewer: Michel Eytan (Strasbourg) MSC: 68-06 68N17 68Q42 08A70 18A99 68N01 PDFBibTeX XMLCite \textit{H. Kirchner} (ed.) and \textit{W. Wechler} (ed.), Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings. Berlin etc.: Springer-Verlag (1990; Zbl 0763.68011) Full Text: DOI
Baeten, J. C. M. (ed.); Klop, J. W. (ed.) 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). Reviewer: F.-L.Tiplea (Iaşi) MSC: 68-06 68Q10 68Q55 68Q60 68Q85 00B25 PDFBibTeX XMLCite \textit{J. C. M. Baeten} (ed.) and \textit{J. W. Klop} (ed.), CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. Berlin etc.: Springer-Verlag (1990; Zbl 0746.68005)
Main, M. (ed.); Melton, A. (ed.); Mislove, M. (ed.); Schmidt, D. (ed.) 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 MSC: 68-06 68N30 68Q55 00B25 PDFBibTeX XMLCite \textit{M. Main} (ed.) et al., Mathematical foundations of programming semantics. 5th international conference, New Orleans, Louisiana, USA, March 29 -- April 1, 1989. Proceedings. Berlin etc.: Springer-Verlag (1990; Zbl 0751.68005) Full Text: DOI
Arnold, André (ed.) CAAP ’90. 15th colloquium on trees in algebra and programming, Copenhagen, Denmark, May 15–18, 1990, Proceedings. (English) Zbl 0745.00027 Lecture Notes in Computer Science 431. Berlin etc.: Springer-Verlag. VI, 285 p. (1990). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{A. Arnold} (ed.), CAAP '90. 15th colloquium on trees in algebra and programming, Copenhagen, Denmark, May 15--18, 1990, Proceedings. Berlin etc.: Springer-Verlag (1990; Zbl 0745.00027) Full Text: DOI
Miola, Alfonso (ed.) 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). Reviewer: Francis John Wright (London) MSC: 68-06 68N15 68W30 68T15 68U05 68N17 68Q42 68T35 PDFBibTeX XMLCite \textit{A. Miola} (ed.), Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings. Berlin etc.: Springer-Verlag (1990; Zbl 0757.68013)
Wirsing, Martin (ed.); Bergstra, Jan A. (ed.) 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). Reviewer: D.Gruska (Bratislava) MSC: 68-06 68Q65 68Q55 68Q60 PDFBibTeX XMLCite \textit{M. Wirsing} (ed.) and \textit{J. A. Bergstra} (ed.), Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings. Berlin etc.: Springer-Verlag (1989; Zbl 0745.68019)
Huguet, Llorenc (ed.); Poli, Alain (ed.) 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 \textit{L. Huguet} (ed.) and \textit{A. Poli} (ed.), Applied algebra, algebraic algorithms and error-correcting codes. 5th international conference, AAECC-5, Menorca, Spain, June 15--19, 1987. Proceedings. Berlin etc.: Springer-Verlag (1989; Zbl 0671.00022)
Gianni, Patrizia (ed.) 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). Reviewer: Friedrich Schwarz (Paderborn) MSC: 68-06 68W30 68U05 11Y40 11Y16 12Hxx 03B35 68Q42 00B25 PDFBibTeX XMLCite \textit{P. Gianni} (ed.), ISSAC '88. Proceedings of the international symposium on symbolic and algebraic computation. Rome, Italy, July 4--8, 1988. Berlin etc.: Springer-Verlag (1989; Zbl 0706.68006) Full Text: DOI
Mora, Teo (ed.) Applied algebra, algebraic algorithms and error-correcting codes. 6th international conference, AAECC-6, Rome, Italy, July 4–8, 1988. Proceedings. (English) Zbl 0671.00023 Lecture Notes in Computer Science 357. Berlin etc.: Springer-Verlag. IX, 481 p. DM 63.00 (1989). MSC: 00B25 68-06 94-06 PDFBibTeX XML Full Text: DOI
Beth, Thomas (ed.); Clausen, Michael (ed.) 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). MSC: 00B25 94-06 68-06 94Bxx 68W30 PDFBibTeX XMLCite \textit{T. Beth} (ed.) and \textit{M. Clausen} (ed.), Applicable algebra, error-correcting codes, combinatorics and computer algebra. 4th international conference, AAECC-4, Karlsruhe, FRG, September 23-26, 1986. Proceedings. Berlin etc.: Springer-Verlag (1988; Zbl 0642.00029)
Janßen, R. (ed.) Trends in computer algebra. International symposium, Bad Neuenahr, May 19–21, 1987. Proceedings. (English) Zbl 0635.00018 Lecture Notes in Computer Science, 296. Berlin etc.: Springer-Verlag. v, 197 p.; DM 36.00 (1988). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{R. Janßen} (ed.), Trends in computer algebra. International symposium, Bad Neuenahr, May 19--21, 1987. Proceedings. Berlin etc.: Springer-Verlag (1988; Zbl 0635.00018) Full Text: DOI
Delgado Kloos, Carlos Semantics of digital circuits. (English) Zbl 0637.94021 Lecture Notes in Computer Science, 285. Berlin etc.: Springer-Verlag. IX, 124 p.; DM 27.00 (1987). Reviewer: L.Olaru MSC: 94C10 94C15 94-02 68-02 PDFBibTeX XML
de Groote, H. F. Lectures on the complexity of bilinear problems. (English) Zbl 0609.68032 Lecture Notes in Computer Science, 245. Berlin etc.: Springer-Verlag. V, 135 p.; DM 27.00 (1987). Reviewer: G.Wechsung MSC: 68Q25 68W30 68-02 15-02 16-02 15A72 16S50 PDFBibTeX XML
Ehrig, Hartmut (ed.); Kowalski, Robert (ed.); Levi, Giorgio (ed.); Montanari, Ugo (ed.) TAPSOFT ’87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27. 1987. Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP ’87). (English) Zbl 0605.00015 Lecture Notes in Computer Science, 249. Berlin etc.: Springer-Verlag. XIV, 289 p.; DM 45.00 (1987). MSC: 00B25 68-06 PDFBibTeX XML
Calmet, Jacques (ed.) Algebraic algorithms and error-correcting codes. Proceedings of the 3rd international conference on applied algebra and error correcting codes (AAECC-3), Grenoble, France, July 15–19, 1985. (English) Zbl 0591.00036 Lecture Notes in Computer Science 229. Berlin etc.: Springer-Verlag. VII, 416 p. DM 55.00 (1986). MSC: 00B25 68-06 94-06 PDFBibTeX XML
Poli, Alain (ed.) Applied algebra, algorithmics and error-correcting codes. Proceedings of the 2nd International Conference on Applied Algebra and Error Correcting Codes (AAECC-2), Toulouse, France, October 1-5, 1984. (English) Zbl 0591.00035 Lecture Notes in Computer Science, 228. Berlin etc.: Springer-Verlag. VI, 265 p. DM 40.50 (1986). MSC: 00B25 68-06 94-06 PDFBibTeX XML
Schöning, Uwe Complexity and structure. (English) Zbl 0589.03022 Lecture Notes in Computer Science, 211. Berlin etc.: Springer-Verlag. V, 99 p. DM 27.00 (1986). Reviewer: G.B.Marandžjan MSC: 03D15 03-02 68-02 68Q25 03F20 68W99 94C10 03D30 PDFBibTeX XML
Franchi-Zannettacci, P. (ed.) CAAP’86. 11th Colloquium on trees in algebra and programming, Nice, France, March 24–26, 1986. Proceedings. (English) Zbl 0578.00006 Lecture Notes in Computer Science, 214. Berlin etc.: Springer-Verlag. vi, 306 p. DM 45.00 (1986). MSC: 00B25 68-06 PDFBibTeX XML Full Text: DOI
Caviness, Bob F. (ed.) EUROCAL ’85. European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985. Proceedings. Vol. 2: Research contributions. (English) Zbl 0568.00019 Lecture Notes in Computer Science, 204. Berlin etc.: Springer-Verlag. XVI, 650 p. DM 82.00 (1985). MSC: 00B25 68-06 PDFBibTeX XML Full Text: DOI
Buchberger, Bruno (ed.) EUROCAL ’85. European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985. Proceedings. Vol. 1.: Invited lectures. (English) Zbl 0568.00018 Lecture Notes in Computer Science, 203. Berlin etc.: Springer-Verlag. V, 233 p. DM 32.00 (1985). MSC: 00B25 68-06 PDFBibTeX XML Full Text: DOI
Ehrig, Hartmut (ed.); Floyd, Christiane (ed.); Nivat, Maurice (ed.); Thatcher, James (ed.) Mathematical foundations of software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 1: Colloquium on Trees in Algebra and Programming (CAAP’85). (English) Zbl 0561.00021 Lecture Notes in Computer Science, 185. Berlin etc.: Springer-Verlag. XIII, 418 p. DM 50.00 (1985). MSC: 00B25 68-06 PDFBibTeX XML
Thayse, André P-functions and Boolean matrix factorization. A unified approach for wired, programmed and microprogrammed implementations of discrete algorithms. (English) Zbl 0568.68028 Lecture Notes in Computer Science 175. Berlin etc.: Springer-Verlag. VII, 248 p. DM 36.50; $ 13.30 (1984). Reviewer: A.Michalski MSC: 68W99 68-02 94C10 68N01 68Q60 68Q85 PDFBibTeX XML
van Hulzen, J. A. (ed.) Computer algebra. EUROCAL ’83, European Computer Algebra Conference, London, England, March 28-30, 1983. Proceedings. (English) Zbl 0532.00010 Lecture Notes in Computer Science, 162. Berlin etc.: Springer-Verlag. xiii, 305 p. DM 38.00; $ 14.80 (1983). MSC: 00B25 68-06 68Wxx PDFBibTeX XML Full Text: DOI
Ausiello, G. (ed.); Protasi, M. (ed.) CAAP ’83. Trees in algebra and programming. 8th Colloquium, L’Aquila (Italy), March 9-11, 1983. Proceedings. (English) Zbl 0516.00024 Lecture Notes in Computer Science, 159. Berlin etc.: Springer-Verlag. VI, 416 p. DM 47.00; $ 18.30 (1983). MSC: 00Bxx 68-06 PDFBibTeX XML
Calmet, Jacques (ed.) Computer algebra. EUROCAM ’82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982. (English) Zbl 0495.68005 Lecture Notes in Computer Science, 144. Berlin-Heidelberg-New York: Springer-Verlag. XIV, 301 p. DM 34.00; $ 13.60 (1982). Reviewer: J. H. Davenport MSC: 68-06 00B25 68W30 12-04 PDFBibTeX XML
Staunstrup, J. (ed.) [Horning, J. J.] Program specification. Proceedings of a Workshop, Aarhus, Denmark, August 1981. (English) Zbl 0488.68006 Lecture Notes in Computer Science, 134. Berlin-Heidelberg-New York: Springer-Verlag. IV, 426 p. DM 41.50; $ 18.50 (1982). MSC: 68-06 00Bxx 68-02 PDFBibTeX XML
Hoffmann, Christoph M. Group-theoretic algorithms and graph isomorphism. (English) Zbl 0487.68055 Lecture Notes in Computer Science, 136. Berlin-Heidelberg-New York: Springer-Verlag. VIII, 311 p. DM 32.80; $ 14.60 (1982). MSC: 68R10 05C25 68Q25 20B25 68-02 68W99 PDFBibTeX XML
Ershov, A. P. (ed.); Knuth, D. E. (ed.) [Zemanek, H.; Knuth, D. E.; Uspensky, V. A.; Semenov, A. L.; Barzdin, J. M.; Manin, Yu. I.; Nepeivoda, N. N.; Tyugu, E. H.; Letichevsky, A. A.; Adel’son-Vel’skii, G. M.; Slisenko, A. O.; Alder, A.; Strassen, V.; Kleene, S. C.; Shanin, N. A.; Tseytlin, G. S.; Ershov, A. P.; Bauer, F. L.; Glushkov, V. M.; Matijasevic, Y.; Matiyasevich, Yu. V.; Buda, A.; Anisimov, A. V.] Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. (English) Zbl 0477.68035 Lecture Notes in Computer Science, 122. Berlin-Heidelberg-New York: Springer-Verlag. XI, 487 p. DM 45.50; $ 21.20 (1981). MSC: 68W99 68-06 01A30 03-06 68Q25 03D60 03B25 03D25 11U05 68N01 03F60 03F65 94A15 68P10 03A05 03D40 03D15 68Q60 PDFBibTeX XML
Guessarian, Irène Algebraic semantics. (English) Zbl 0474.68010 Lecture Notes in Computer Science, 99. Berlin-Heidelberg-New York: Springer-Verlag. XI, 158 p. DM 21.50; $ 12.70 (1981). MSC: 68Q60 68N30 03C05 08B20 68-02 68Q55 08C99 PDFBibTeX XML
Astesiano, E. (ed.); Böhm, C. (ed.) CAAP’81. Trees in algebra and programming, 6th Colloquium, Genoa, March 5-7, 1981. Proceedings. (English) Zbl 0459.00022 Lecture Notes in Computer Science, 112. Berlin-Heidelberg-New York: Springer-Verlag. VI, 364 p. DM 38.00; $ 17.30 (1981). MSC: 00Bxx 68-06 68R10 68P05 PDFBibTeX XML
Garbow, B. S.; Boyle, J. M.; Dongarra, J. J.; Moler, C. B. Matrix eigensystem routines. EISPACK guide extension. (English) Zbl 0368.65020 Lecture Notes in Computer Science. 51. Berlin-Heidelberg-New York: Springer-Verlag. VIII, 343 p. DM 31.00; $ 13.70 (1977). MSC: 65F15 15-04 68W99 65A05 15A18 PDFBibTeX XML