Cargando…

Static analysis: 25th international symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, proceedings

Detalles Bibliográficos
Autor principal:	Podelski, Andreas
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756798

Ejemplares similares

Foundations of intelligent systems: 24th international symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, proceedings
por: Ceci, Michelangelo, et al.
Publicado: (2018)

Static analysis: 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, proceedings
por: Riis Nielson, Hanne, et al.
Publicado: (2007)

Swarm intelligence: 11th international conference, ANTS 2018, Rome, Italy, October 29-31, 2018, proceedings
por: Dorigo, Marco, et al.
Publicado: (2018)

Euro-Par 2018: 24th international conference on parallel and distributed computing, Turin, Italy, August 27 - 31, 2018, proceedings
por: Aldinucci, Marco, et al.
Publicado: (2018)

Information and communications security: 20th international conference, ICICS 2018, Lille, France, October 29-31, 2018, proceedings
por: Naccache, David, et al.
Publicado: (2018)

Epidemiology of Human Parechovirus Type 3 Upsurge in 2 Hospitals, Freiburg, Germany, 2018
por: Elling, Roland, et al.
Publicado: (2019)

Static analysis: 21st international symposium, SAS 2014, Munich, Germany, September 11-13, 2014 proceedings
por: Müller-Olm, Markus, et al.
Publicado: (2014)

Artificial general intelligence: 11th international conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, proceedings
por: Iklé, Matthew, et al.
Publicado: (2018)

PRICAI 2018: 15th Pacific rim international conference on artificial intelligence, Nanjing, China, August 28-31, 2018, proceedings, part I
por: Geng, Xin, et al.
Publicado: (2018)

PRICAI 2018: 15th Pacific rim international conference on artificial intelligence, Nanjing, China, August 28-31, 2018, proceedings, part II
por: Geng, Xin, et al.
Publicado: (2018)

Sailing routes in the world of computation: 14th conference on computability in Europe, CIE 2018, Kiel, Germany, July 30 - August 3, 2018, proceedings
por: Manea, Florin, et al.
Publicado: (2018)

Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings
por: Gallardo, María del Mar, et al.
Publicado: (2018)

Knowledge and systems sciences: 19th international symposium, KSS 2018, Tokyo, Japan, November 25-27, 2018, proceedings
por: Chen, Jian, et al.
Publicado: (2018)

Networked systems: 6th international conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, revised selected papers
por: Podelski, Andreas, et al.
Publicado: (2019)

Unconventional computation and natural computation: 17th international conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, proceedings
por: Stepney, Susan, et al.
Publicado: (2018)

Graph-theoretic concepts in computer science: 44th international workshop, WG 2018, Cottbus, Germany, June 27-29, 2018, proceedings
por: Brandstädt, Andreas, et al.
Publicado: (2018)

Static analysis: 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Chang, Bor-Yuh Evan
Publicado: (2019)

Automated invention for smart industries: 18th international TRIZ future conference, TFC 2018, Strasbourg, France, October 29-31, 2018, proceedings
por: Cavallucci, Denis, et al.
Publicado: (2018)

Decision and game theory for security: 9th international conference, GameSec 2018, Seattle, WA, USA, October 29-31, 2018, proceedings
por: Bushnell, Linda, et al.
Publicado: (2018)

Advances in neural networks - ISNN 2018: 15th international symposium on neural networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018, proceedings
por: Huang, Tingwen, et al.
Publicado: (2018)

String processing and information retrieval: 25th international symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, proceedings
por: Gagie, Travis, et al.
Publicado: (2018)

Knowledge management and acquisition for intelligent systems: 15th Pacific rim knowledge acquisition workshop, PKAW 2018, Nanjing, China, August 28-29, 2018, proceedings
por: Yoshida, Kenichi, et al.
Publicado: (2018)

Database and expert systems applications: 29th international conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, proceedings, part II
por: Hartmann, Sven, et al.
Publicado: (2018)

Database and expert systems applications: 29th international conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, proceedings, part I
por: Hartmann, Sven, et al.
Publicado: (2018)

International Overdose Awareness Day — August 31, 2018
Publicado: (2018)

Multimodality imaging: Bird’s eye view from The European Society of Cardiology Congress 2018 Munich, August 25–29, 2018
por: Delgado, Victoria, et al.
Publicado: (2018)

Internet of Things, smart spaces, and next generation networks and systems: 18th international conference, NEW2AN 2018, and 11th conference, RUSMART 2018, St. Petersburg, Russia, August 27-29, 2018, proceedings
por: Galinina, Olga, et al.
Publicado: (2018)

Advanced computer architecture: 12th conference, ACA 2018, Yingkou, China, August 10-11, 2018, proceedings
por: Li, Chao, et al.
Publicado: (2018)

Combinatorial algorithms: 29th international workshop, IWOCA 2018, Singapore, July 16-19, 2018, proceedings
por: Iliopoulos, Costas, et al.
Publicado: (2018)

Highlights of the mini-symposium on extracellular vesicles in inter-organismal communication, held in Munich, Germany, August 2018
por: Bielska, E., et al.
Publicado: (2019)

Architecture of computing systems - ARCS 2018: 31st international conference, Braunschweig, Germany, April 9-12, 2018, proceedings
por: Berekovic, Mladen, et al.
Publicado: (2018)

Intelligent computer mathematics: 11th international conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, proceedings
por: Rabe, Florian, et al.
Publicado: (2018)

Knowledge management in organizations: 13th international conference, KMO 2018, Žilina, Slovakia, August 6-10, 2018, proceedings
por: Uden, Lorna, et al.
Publicado: (2018)

In Freiburg, um Freiburg, um Freiburg herum /
por: Meckel, Eberhard, 1907-1969
Publicado: (1957)

Iutam symposium on model order reduction of coupled systems, Stuttgart, Germany, May 22-25 2018: MORCOS 2018
por: Fehr, Jörg, et al.
Publicado: (2019)

CTI symposium 2018: 17th international congress and expo 3 - 6 December 2018, Berlin, Germany
por: GmbH, EUROFORUM Deutschland
Publicado: (2019)

Latin 2018: 13th Latin American symposium, Buenos Aires, Argentina, April 16-19, 2018, proceedings
por: Bender, Michael A, et al.
Publicado: (2018)

Smart graphics: 12th international symposium, SG 2014, Taipei, Taiwan, August 27-29, 2014, proceedings
por: Christie, Marc, et al.
Publicado: (2014)

Speech and computer: 20th international conference, SPECOM 2018, Leipzig, Germany, September 18-22, 2018, proceedings
por: Karpov, Alexey, et al.
Publicado: (2018)

Symposium Freiburg/Br. on Boundary Layer Research
por: Görtler, H
Publicado: (1958)

Cannot write session to /tmp/vufind_sessions/sess_5e65t13a2fufqgd2h89l8toiru