Proceedings

English Beginner

Computer Algebra in Scientific Computing: 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings

V. Álvarez,J. A. Armario,M. D. Frau,P. Real (auth.),Victor G. Ganzha,Ernst W. Mayr,Evgenii V. Vorozhtsov (eds.)

2006 View book

English Beginner

Computer Algebra in Scientific Computing: 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings

Sergey Abrahamyan,Melsik Kyureghyan (auth.),Vladimir P. Gerdt,Wolfram Koepf,Ernst W. Mayr,Evgenii V. Vorozhtsov (eds.)

2011 View book

English Beginner

Computer Algebra in Scientific Computing: 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings

S. A. Abramov,M. Petkovšek (auth.),Vladimir P. Gerdt,Wolfram Koepf,Ernst W. Mayr,Evgenii V. Vorozhtsov (eds.)

2012 View book

English Beginner

Computer Algebra in Scientific Computing: 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings

S. A. Abramov,M. Bronstein,D. E. Khmelnov (auth.),Victor G. Ganzha,Ernst W. Mayr,Evgenii V. Vorozhtsov (eds.)

2005 View book

English Beginner

Computer Algebra in Scientific Computing CASC 2001: Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001

Mohamed Barakat (auth.),Victor G. Ganzha,Ernst W. Mayr,Evgenii V. Vorozhtsov (eds.)

2001 View book

English Beginner

Computer Algebra in Scientific Computing: 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

S. A. Abramov,M. A. Barkatou (auth.),Vladimir P. Gerdt,Wolfram Koepf,Ernst W. Mayr,Evgenii V. Vorozhtsov (eds.)

2013 View book

English Beginner

Computer Algebra in Scientific Computing: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

Vladimir P. Gerdt,Wolfram Koepf,Werner M. Seiler,Evgenii V. Vorozhtsov (eds.)

2016 View book

English Beginner

Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Gerdt, Vladimir P.;Koepf, Wolfram;Seiler, Werner M.;Vorozhtsov, Evgenii V

2017 View book

English Unordered

Computer Algebra in Scientific Computing: 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Vladimir P. Gerdt,Wolfram Koepf,Werner M. Seiler,Evgenii V. Vorozhtsov

2018 View book

English Unordered

HCI and Usability for Medicine and Health Care: Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007. Proceedings

Harold Thimbleby (auth.),Andreas Holzinger (eds.)

2007 View book

English Unordered

Information Quality in e-Health: 7th Conference of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2011, Graz, Austria, November 25-26, 2011. Proceedings

Vimla L. Patel,Thomas G. Kannampallil (auth.),Andreas Holzinger,Klaus-Martin Simonic (eds.)

2011 View book

English Intermediate

Web Content Caching and Distribution: Proceedings of the 8th International Workshop, IBM T.J. Watson Research Center, Hawthorne, New York, USA, September 29-October 1, 2003

Douglis F. (ed),Davison B. D.

2004 View book

English Intermediate

Web Content Caching and Distribution: 9th International Workshop, WCW 2004, Beijing, China, October 18-20, 2004. Proceedings

Weibin Zhao,Henning Schulzrinne (auth.),Chi-Hung Chi,Maarten van Steen,Craig Wills (eds.)

2004 View book

English Beginner

The Continental Permain in Central, West, and South Europe: Proceedings of the NATO Advanced Study Institute held at the Johannes Gutenberg University, Mainz, F.R.G., 23 September – 4 October, 1975

H. Falke (auth.),H. Falke (eds.)

1976 View book

English Beginner

Progress on advanced manufacture for micro-nano technology 2005 : proceedings of the 2005 International Conference on Advanced Manufacture, Taipei, Taiwan, R.O.C., November 28th - December 2nd 2005

Wunyuh Jywe; et al

2006 View book

English Beginner

Machine Learning and Data Mining in Pattern Recognition: 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007. Proceedings

Anil K. Jain (auth.),Petra Perner (eds.)

2007 View book

English Beginner

Machine Learning and Data Mining in Pattern Recognition: Third International Conference, MLDM, Leipzig, Germany, July 25 5-7,, Proceedings

Petra Perner,Azriel Rosenfeld

2003 View book

English Beginner

Machine Learning and Data Mining in Pattern Recognition: Second International Workshop, MLDM 2001 Leipzig, Germany, July 25–27, 2001 Proceedings

Ari Visa (auth.),Petra Perner (eds.)

2001 View book

English Beginner

Machine Learning and Data Mining in Pattern Recognition: 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings

Petra Perner,Atsushi Imiya

2005 View book

English Beginner

Machine Learning and Data Mining in Pattern Recognition: 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009. Proceedings

Klaus Truemper (auth.),Petra Perner (eds.)

2009 View book

English Beginner

Machine Learning and Data Mining in Pattern Recognition: 8th International Conference, MLDM 2012, Berlin, Germany, July 13-20, 2012. Proceedings

Pavel Turkov,Olga Krasotkina,Vadim Mottl (auth.),Petra Perner (eds.)

2012 View book

English Beginner

Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

Ahmed Bouajjani,Peter Habermehl,Yan Jurski,Mihaela Sighireanu (auth.),Erzsébet Csuhaj-Varjú,Zoltán Ésik (eds.)

2007 View book

English Beginner

Fundamentals of Computation Theory: 12th International Symposium, FCT’99 Iaşi, Romania, August 30 - September 3, 1999 Proceedings

Marek Karpinski (auth.),Gabriel Ciobanu,Gheorghe Păun (eds.)

1999 View book

English Intermediate

Distributed Communities on the Web: Third International Workshop, DCW 2000 Quebec City, Canada, June 19–21, 2000 Proceedings

John Plaice,Herwig Unger (auth.),Peter G. Kropf,Gilbert Babin,John Plaice,Herwig Unger (eds.)

2000 View book

English Intermediate

Physics and Technology of Linear Accelerator Systems: Proceedings of the 2002 Joint USPAS-CAS Japan-Russia Accelerator School, Long Beach, California, 6-14 November 2002

Helmut Wiedemann,Daniel A. Brandt,Eugene A. Perevedentsev,Shin-Ichi Kurokawa

2004 View book

English Intermediate

Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings

Erika Ábrahám;Clemens Dubslaff;Silvia Lizeth Tapia Tarifa

2023 View book

English Intermediate

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

John Rushby (auth.),Rohit Gheyi,David Naumann (eds.)

2012 View book

English Intermediate

Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Christiano Braga,Cássio Santos (auth.),Juliano Iyoda,Leonardo de Moura (eds.)

2013 View book

English Intermediate

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Christiano Braga,Narciso Martí-Oliet (eds.)

2015 View book

English Intermediate

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Márcio Cornélio,Bill Roscoe (eds.)

2016 View book

English Intermediate

Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Leila Ribeiro,Thierry Lecomte (eds.)

2016 View book

English Intermediate

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Simone Cavalheiro,José Fiadeiro (eds.)

2017 View book

English Intermediate

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings

Gustavo Carvalho,Volker Stolz

2020 View book

English Intermediate

Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

Lucas Lima,Vince Molnár

2022 View book

English Intermediate

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering)

Sérgio Campos (editor),Marius Minea (editor)

2021 View book

English Intermediate

Algorithmic Decision Theory: Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings

Dorothea Baumeister,Gábor Erdélyi,Jörg Rothe (auth.),Ronen I. Brafman,Fred S. Roberts,Alexis Tsoukià s (eds.)

2011 View book

English Intermediate

Algorithmic Decision Theory: Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings

Alessandro Agnetis,Gaia Nicosia,Andrea Pacifici (auth.),Patrice Perny,Marc Pirlot,Alexis Tsoukià s (eds.)

2013 View book

English Intermediate

Algorithmic Decision Theory: 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

Toby Walsh (eds.)

2015 View book

English Intermediate

Algorithmic Decision Theory: 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017, Proceedings

Jörg Rothe

2017 View book

English Intermediate

Algorithmic Decision Theory: 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings

Saša Pekeč,Kristen Brent Venable

2019 View book