for at udvide
kategorilisten.
Matematisk datateori
-
Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 11th International Computer... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Conceptual Modeling: 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Computer Science - Theory and Applications: 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 8th International Computer... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings (Bog, Paperback / softback, Engelsk)
Constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Algebra and Polynomials: Applications of Algebra and Number Theory (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Computer Algebra in Scientific Computing: 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in Aachen, Germany, in September 2015.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Logic in Multi-Agent Systems: 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Issues in Fluid Construction Grammar (Bog, Paperback / softback, Engelsk)
This volume's coverage of the state of the art in FCG, itself a new representational technique in lexicography and grammar, includes valuable case studies and examines the many complex computational challenges in programming real-world grammars.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Logic in Multi-Agent Systems: 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014. The 12 regular papers were carefully reviewed and selected from 20 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage)
