Cargando…

Fundamentals of computation theory: 20th international symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, proceedings

Detalles Bibliográficos
Autores principales:	Kosowski, Adrian, Walukiewicz, Igor
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2757162

Ejemplares similares

Model checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings
por: Fischer, Bernd, et al.
Publicado: (2015)

Information systems: 8th SIGSAND/PLAIS Eurosymposium 2015, Gdansk, Poland, September 25, 2015, proceedings
por: Wrycza, Stanislaw
Publicado: (2015)

Experimental algorithms: 14th international symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, proceedings
por: Bampis, Evripidis
Publicado: (2015)

Bioinformatics research and applications: 11th international symposium, ISBRA 2015 Norfolk, USA, June 7-10, 2015 proceedings
por: Harrison, Robert, et al.
Publicado: (2015)

Database systems for advanced applications: 20th international conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, proceedings, part II
por: Renz, Matthias, et al.
Publicado: (2015)

Fundamentals of computation theory: 22nd international symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, proceedings
por: Gąsieniec, Leszek Antoni, et al.
Publicado: (2019)

Static analysis: 22nd international symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, proceedings
por: Blazy, Sandrine, et al.
Publicado: (2015)

International Symposium on Grids and Clouds 2015
por: Collective
Publicado: (2015)

Computational logistics: 6th international conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, proceedings
por: Corman, Francesco, et al.
Publicado: (2015)

Logic, rationality, and interaction: 5th international workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 proceedings
por: van der Hoek, Wiebe, et al.
Publicado: (2015)

Intelligent information and database systems: 7th Asian conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, proceedings, part II
por: Nguyen, Ngoc Thanh, et al.
Publicado: (2015)

Search-based software engineering: 6th international symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, proceedings
por: Le Goues, Claire, et al.
Publicado: (2014)

Web information systems engineering - WISE 2015: 16th international conference, Miami, FL, USA, November 1-3, 2015, proceedings, part I
por: Wang, Jianyong, et al.
Publicado: (2015)

Computer network security: 7th international conference on mathematical methods, models, and architectures for computer network security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017, proceedings
por: Rak, Jacek, et al.
Publicado: (2017)

Approximation and online algorithms: 13th international workshop, WAOA 2015, Patras, Greece, September 17-18, 2015 revised selected papers
por: Sanità, Laura, et al.
Publicado: (2016)

Information systems: 10th SIGSAND/PLAIS EuroSymposium 2017, Gdansk, Poland, September 22, 2017, proceedings
por: Wrycza, Stanisław, et al.
Publicado: (2017)

Research in attacks, intrusions, and defenses: 20th international symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, proceedings
por: Dacier, Marc, et al.
Publicado: (2017)

Fundamentals of computation theory: 21st international symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, proceedings
por: Klasing, Ralf, et al.
Publicado: (2017)

Communication technologies for vehicles: 8th international workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015 proceedings
por: Kassab, Mohamed, et al.
Publicado: (2015)

Data-driven process discovery and analysis: 5th IFIP WG 2. 6 international symposium, SIMPDA 2015, Vienna, Austria, December 9-11, 2015, revised selected papers
por: Ceravolo, Paolo, et al.
Publicado: (2017)

Multimedia communications, services and security: 9th international conference, MCSS 2017, Kraków, Poland, November 16-17, 2017, proceedings
por: Dziech, Andrzej, et al.
Publicado: (2017)

AutoCAD 2015 and AutoCAD LT 2015
por: Gladfelter, Donnie
Publicado: (2014)

Advances in bioinformatics and computational biology: third Brazilian symposium on bioinformatics, BSB 2008, Sao Paulo, Brazil, August 28-30, 2008, proceedings
por: Bazzan, Ana L C, et al.
Publicado: (2008)

FM 2015: 20th international symposium, Oslo, Norway, June 24-26, 2015, proceedings
por: Bjørner, Nikolaj, et al.
Publicado: (2015)

Safe and secure cities: 5th international conference on well-being in the information society, WIS 2014, Turku, Finland, August 18-20, 2014 proceedings
por: Saranto, Kaija, et al.
Publicado: (2014)

20th IEEE Global Internet Symposium
Publicado: (2017)

Mastering AutoCAD 2015 and AutoCAD LT 2015
por: Omura, George, et al.
Publicado: (2014)

Mastering Autodesk Inventor 2015 and Autodesk Inventor LT 2015
por: Waguespack, Curtis
Publicado: (2014)

AutoCAD 2015 and AutoCAD LT 2015 essentials
por: Onstott, Scott
Publicado: (2014)

Information technologies and mathematical modelling - queueing theory and applications: 14th international scientific conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, proceedings
por: Dudin, Alexander, et al.
Publicado: (2015)

Algorithms and data structures: 14th international symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015 proceedings
por: Dehne, Frank, et al.
Publicado: (2015)

Mathematical foundations of computer science 2015: 40th international symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, proceedings, part II
por: Italiano, Giuseppe F, et al.
Publicado: (2015)

Linguistic linked open data: 12th EUROLAN 2015 summer school and RUMOUR 2015 workshop, Sibiu, Romania, July 13-25, 2015, revised selected papers
por: Trandabăţ, Diana, et al.
Publicado: (2016)

17th ACM Symposium on Operating Systems Principles
por: Collective
Publicado: (1999)

20th Annual International Symposium on Computer Architecture
por: Institute of Electrical and Electronics Engineers. New York
Publicado: (1993)

20th Symposium on the Interface: Computing Science and Statistics
Publicado: (1988)

20th International Symposium on Nuclear Electronics and Computing
Publicado: (2005)

Quicken 2015 for dummies
por: Nelson, Stephen L
Publicado: (2014)

ISTFA 2019: proceedings of the 45th International Symposium for Testing and Failure Analysis
por: International, A S M
Publicado: (2019)

Advances in spatial and temporal databases: 14th international symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015 proceedings
por: Claramunt, Christophe, et al.
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_j251htcdoht90d5hbvgeaog6hj