Cargando…

Language, logic, and computation: 12th international Tbilisi symposium, TBiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, revised selected papers

Detalles Bibliográficos
Autores principales:	Silva, Alexandra, Staton, Sam, Sutton, Peter, Umbach, Carla
Lenguaje:	eng
Publicado:	Springer 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755350

Ejemplares similares

Logic, language, and computation: 11th international Tbilisi symposium on logic, language, and computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, revised selected papers
por: Hansen, Helle Hvid, et al.
Publicado: (2017)

Costs of syringe vending machines in Tbilisi, Georgia
por: Walker, Josephine G., et al.
Publicado: (2023)

Human Lymphadenopathy Caused by Ratborne Bartonella, Tbilisi, Georgia
por: Kandelaki, George, et al.
Publicado: (2016)

Epidemiologic Aspects of an Emerging Focus of Visceral Leishmaniasis in Tbilisi, Georgia
por: Giorgobiani, Ekaterina, et al.
Publicado: (2011)

Tbilisi = T'bilisi = Tbilisi /
Publicado: (1975)

Incrimination of Phlebotomus kandelakii and Phlebotomus balcanicus as Vectors of Leishmania infantum in Tbilisi, Georgia
por: Giorgobiani, Ekaterina, et al.
Publicado: (2012)

A Cross-Sectional Study Examining Youth Smoking Rates and Correlates in Tbilisi, Georgia
por: Berg, Carla J., et al.
Publicado: (2014)

Prevalence of and factors influencing smoking among medical and non-medical students in Tbilisi, Georgia
por: Chkhaidze, Ivane, et al.
Publicado: (2013)

Logic-based program synthesis and transformation: 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, revised selected papers
por: Fioravanti, Fabio, et al.
Publicado: (2018)

Genetic HLA Study of Kurds in Iraq, Iran and Tbilisi (Caucasus, Georgia): Relatedness and Medical Implications
por: Arnaiz-Villena, Antonio, et al.
Publicado: (2017)

Computer security: ESORICS 2017 international workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, revised selected papers
por: Katsikas, Sokratis K, et al.
Publicado: (2017)

43-September 2017
Publicado: (2017)

In the September 2017 issue
por: Nitrini, Ricardo
Publicado: (2017)

Highlights of the Tbilisi conference
por: Fabjan, Christian Wolfgang
Publicado: (1978)

Deaths Related to Hurricane Irma — Florida, Georgia, and North Carolina, September 4–October 10, 2017
por: Issa, Anindita, et al.
Publicado: (2018)

Over the Counter Availability of Antituberculosis Drugs in Tbilisi, Georgia in the Setting of a High Prevalence of MDR-TB
por: Kobaidze, Ketevan, et al.
Publicado: (2009)

Smoke-Free Public Policies and Voluntary Policies in Personal Settings in Tbilisi, Georgia: A Qualitative Study
por: Berg, Carla J., et al.
Publicado: (2016)

Phenomenology 2017 Symposium (PHENO 2017)
Publicado: (2017)

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

Dynamic logic new trends and applications: first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, proceedings
por: Madeira, Alexandre, et al.
Publicado: (2018)

Algorithms for sensor systems: 13th international symposium on algorithms and experiments for wireless sensor networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, revised selected papers
por: Fernández Anta, Antonio, et al.
Publicado: (2018)

Population Size Estimation of Men Who Have Sex with Men in Tbilisi, Georgia; Multiple Methods and Triangulation of Findings
por: Sulaberidze, Lela, et al.
Publicado: (2016)

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

Security in computing and communications: 5th international symposium, SSCC 2017, Manipal, India, september 13-16, 2017, proceedings
por: Thampi, Sabu M, et al.
Publicado: (2017)

Monitoring of Anthrax Prevalence in Georgia 2009-2017
por: Kerdzevadze, Lela
Publicado: (2019)

Life in CCC September 2017
por: Ordan, Julien Marius
Publicado: (2017)

Editorial, Issue: September 2017
por: Abacı, Adnan
Publicado: (2017)

Tbilisi under the spell of Charm
Publicado: (1976)

Model-based safety and assessment: 5th international symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, proceedings
por: Bozzano, Marco, et al.
Publicado: (2017)

String processing and information retrieval: 24th international symposium, SPIRE 2017, Palermo, Italy, September 26-29, 2017, proceedings
por: Fici, Gabriele, et al.
Publicado: (2017)

Search based software engineering: 9th international symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, proceedings
por: Menzies, Tim, et al.
Publicado: (2017)

Factors associated with HIV counseling and testing behavior among undergraduates of universities and vocational technical training schools in Tbilisi, Georgia
por: Djibuti, Mamuka, et al.
Publicado: (2015)

Advances in service-oriented and cloud computing: workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, revised selected papers
por: Mann, Zoltán Ádám, et al.
Publicado: (2018)

Sepsis 2017 Paris: Paris, France. September 11–13, 2017
Publicado: (2017)

Overview of three influenza seasons in Georgia, 2014–2017
por: Machablishvili, Ann, et al.
Publicado: (2018)

Responder Safety, Tracking, and Resilience — Georgia, 2016 –2017
por: Grippo, Jessica, et al.
Publicado: (2018)

Highlights from the HIV Cure and Reservoir Symposium, 11–12 September 2017, Ghent, Belgium
por: Kint, Sam, et al.
Publicado: (2018)

Clinical Trials Corner: September 2017
por: Rodrigues, Filipe B., et al.
Publicado: (2017)

National Preparedness Month — September 2017
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)

Cannot write session to /tmp/vufind_sessions/sess_b4q87hkdfkg7n56jlav7doauba