2019

Languages and compilers for parallel computing : 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017 : revised selected papers

LCPC (Workshop) (30th : 2017 : College Station, Texas)

Cham, Switzerland : Springer, [2019]

 

2019

Languages and Compilers for Parallel Computing : 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9-11, 2018, Revised Selected Papers

LCPC (Workshop) (31st : 2018 : Salt Lake City, Utah)



 

2019

Learning and intelligent optimization : 12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018, Revised selected papers

LION (Conference) (12th : 2018 : Kalamata, Greece)

Cham, Switzerland : Springer, [2019]

 

2019

Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

ICLA (Conference : Logic) (8th : 2019 : Delhi, India)

Berlin, Germany : Springer, 2019

 

2019

Logic, language, information, and computation : 26th International Workshop, WoLLIC 2019, Utrecht, the Netherlands, July 2-5, 2019, proceedings

Workshop on Logic, Language, Information and Computation (26th : 2019 : Utrecht, Netherlands)

Berlin, Germany : Springer, [2019]

 

2019

Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings

LORI (Workshop) (7th : 2019 : Chongqing, China)

Berlin, Germany : Springer, 2019

 

2019

Logic-based program synthesis and transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers

LOPSTR (Symposium) (28th : 2018 : Frankfurt am Main, Germany)

Cham, Switzerland : Springer, 2019

 

2019

Mathematical optimization theory and operations research : 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, proceedings

International Conference on Mathematical Optimization Theory and Operations Research (2019 : Ekaterinbug, Russia) author

Cham, Switzerland : Springer, [2019]

 

2019

Membrane computing : 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised selected papers

CMC (Conference : Membrane computing) (19th : 2018 : Dresden, Germany)

Cham, Switzerland : Springer, 2019

 

2019

Model checking software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings

International SPIN Workshop (26th : 2019 : Beijing, China)

Cham, Switzerland : Springer, 2019

 

2019

Models, languages, and tools for concurrent and distributed programming : essays dedicated to Rocco De Nicola on the occasion of his 65th birthday

Cham, Switzerland : Springer, [2019]

 

2019

Models, Mindsets, Meta : the What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Cham, Sswitzerland : Springer, [2019]

 

2019

Molecular logic and computational synthetic biology : first International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised selected papers

MLCSB (Symposium) (1st : 2018 : Santiago, Chile)

Cham, Switzerland : Springer, 2019

 

2019

Network and parallel computing : 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23-24, 2019, Proceedings

NPC (Conference) (16th : 2019 : Hohhot, China)

Cham : Springer, 2019

 

2019

Neural information processing : 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019, Proceedings.

ICONIP (Conference) (26th : 2019 : Sydney, N.S.W.)



 

2019

Numerical methods and applications : 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised selected papers

NMA (Conference) (9th : 2018 : Borovet︠s︡, Bulgaria)

Cham, Switzerland : Springer, 2019

 

2019

On the move to meaningful internet systems : OTM 2018 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22-26, 2018, Revised selected papers

OTM Confederated International Conferences (17th : 2018 : Valletta, Malta)

Cham, Switzerland : Springer, 2019

 

2019

Parameterized complexity in the polynomial hierarchy : extending parameterized complexity theory to higher levels of the hierarchy

De Haan, Ronald, author

Berlin, Germany : Springer, [2019]

 

2019

Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

International Andrei Ershov Memorial Conference (12th : 2019 : Novosibirsk, Russia)



 

2019

The Art of Modelling Computational Systems : a journey from logic and concurrency to security and privacy : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Cham : Springer, [2019]

 

2019

Programming languages and systems : 28th European Symposium on Programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Repu

European Symposium on Programming (28th : 2019 : Prague, Czech Republic)

Cham, Switzerland : Springer Open, 2019

 

2019

Quantitative evaluation of systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, proceedings

International Conference on the Quantitative Evaluation of Systems (16th : 2019 : Glasgow, Scotland)

Cham, Switzerland : Springer, [2019]

 

2019

Quantum interaction : 11th International Conference, QI 2018, Nice, France, September 3-5, 2018, revised selected papers

QI (Symposium) (11th : 2018 : Nice, France)

Cham, Switzerland : Springer, [2019]

 

2019

Quantum technology and optimization problems : first International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings

QTOP (Workshop) (1st : 2019 : Munich, Germany)

Cham, Switzerland : Springer, 2019

 

2019

Queueing theory and network applications : 14th international conference, QTNA 2019, Ghent, Belgium, August 27-29, 2019 : proceedings

QTNA (Conference) (14th : 2019 : Ghent, Belgium)

Cham : Springer, [2019]

 

2019

Reachability problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, proceedings

RP (Workshop) (13th : 2019 : Brussels, Belgium)

Cham, Switzerland : Springer, [2019]

 

2019

Recent trends in algebraic development techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised selected papers

WADT (Workshop) (24th : 2018 : Egham, England)

Cham, Switzerland : Springer, 2019

 

2019

Security, Privacy, and Applied Cryptography Engineering : 9th International Conference, SPACE 2019, Gandhinagar, India, December 3-7, 2019, Proceedings

SPACE (Conference : Applied cryptography engineering) (9th : 2019 : Ganghinagar, India)

Cham : Springer, 2019

 

2019

SOFSEM 2019 : theory and practice of computer science : 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Procee

SOFSEM (Conference) (45th : 2019 : Nový Smokovec, Slovakia)

Cham, Switzerland : Springer, 2019

 

2019

Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings

International Conference on Software Engineering and Formal Methods (17th : 2019 : Oslo, Norway)

Cham, Switzerland : Springer, [2019]

 

2019

Stabilization, safety, and security of distributed systems : 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings

SSS (Symposium) (21st : 2019 : Pisa, Italy)

Cham, Switzerland : Springer, 2019

 

2019

String processing and information retrieval : 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7-9, 2019, Proceedings

SPIRE (Symposium) (26th : 2019 : Segovia, Spain)

Cham, Switzerland : Springer, 2019

 

2019

Structural Information and Communication Complexity : 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1-4, 2019, Proceedings

International Colloquium on Structural Information and Communication Complexity (26th : 2019 : L'Aquila, Italy)

Cham : Springer, 2019

 

2019

Theory and applications of models of computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13?16, 2019, Proceedings

TAMC (Conference) (15th : 2019 : Kitakyūshū-shi, Japan)

Cham, Switzerland : Springer, 2019

 

2019

Theory and applications of satisfiability testing -- SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings

SAT (Conference) (22nd : 2019 : Lisbon, Portugal)

Cham, Switzerland : Springer, 2019

 

2019

Theory and Practice of Natural Computing : 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9-11, 2019, Proceedings

TPNC (Conference) (8th : 2019 : Kingston, Ont.)



 

2019

Tools and algorithms for the construction and analysis of systems : 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (25th : 2019 : Prague, Czech Republic)

Cham, Switzerland : Springer Open, 2019

 

2019

Tools and algorithms for the construction and analysis of systems : 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (25th : 2019 : Prague, Czech Republic)

Cham, Switzerland : Springer, 2019

 

2019

Tools and algorithms for the construction and analysis of systems : 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings.

TACAS (Conference) (25th : 2019 : Prague, Czech Republic)

Cham, Switzerland : Springer, 2019

 

2019

Trends in functional programming : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised selected papers

International Symposium on Trends in Functional Programming (17th : 2016 : College Park, Md.)

Cham, Switzerland : Springer, 2019

 

2019

Trends in functional programming : 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised selected papers

International Symposium on Trends in Functional Programming (19th : 2018 : Gothenburg, Sweden)

Cham, Switzerland : Springer, [2019]

 

2019

Unconventional computation and natural computation : 18th International Conference, UCNC 2019, Tokyo, Japan, June 3-7, 2019, Proceedings

UCNC (Conference) (18th : 2019 : Tokyo, Japan)

Cham, Switzerland : Springer, [2019]

 

2019

Understanding the brain function and emotions : 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3-7, 2019, Proceedings.

International Work-Conference on the Interplay Between Natural and Artificial Computation (8th : 2019 : Almería, Spain)

Cham, Switzerland : Springer, 2019

 

2019

Unifying theories of programming : 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, Proceedings

UTP (Symposium) (7th : 2019 : Porto, Portugal)

Cham, Switzerland : Springer, 2019

 

2019

Variable neighborhood search : 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4-7, 2018, Revised selected papers

International Conference on Variable Neighborhood Search (6th : 2018 : Sithonia, Greece)

Cham : Springer, 2019

 

2019

Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

VMCAI (Conference) (20th : 2019 : Cascais, Portugal)

Cham, Switzerland : Springer, 2019

 

2019

WALCOM: algorithms and computation : 13th International Conference, WALCOM 2019 Guwahati, India, February 27 - March 2, 2019 proceedings

WALCOM (Workshop) (13th : 2019 : Gauhati, India)

[Cham, Switzerland] : Springer, [2019]

 

2019

Wireless Algorithms, Systems, and Applications : 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24-26, 2019, Proceedings

WASA (Conference) (14th : 2019 : Honolulu, Hawaii)

Cham : Springer, 2019

 

2019

Graph drawing and network visualization : 27th International Symposium, GD 2019, Prague, Czech Republic, September 17-20, 2019, Proceedings

GD (Symposium) (27th : 2019 : Prague, Czech Republic)

Cham : Springer, 2019

 

2018

Neural Information Processing : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part II

Cham : Springer International Publishing : Imprint: Springer, 2018