21
Engineering Multi-Agent Systems [E-Book] : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
22
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [E-Book] : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
23
Computing and Combinatorics [E-Book] : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings /
Subject (ZB): “...Computer science Mathematics....”

Full text 
Favorites
Saved in:
24
Algorithm Engineering [E-Book] : Selected Results and Surveys /
Subject (ZB): “...Computer science Mathematics....”

Full text 
Favorites
Saved in:
25
Software Technologies: Applications and Foundations [E-Book] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
26
Discrete Optimization and Operations Research [E-Book] : 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings /
Table of Contents: “...Invited talks -- discrete optimization -- scheduling problems -- facility location -- mathematical programming -- mathematical economics and games -- applications of operational research -- short communications. ....”

Full text 
Favorites
Saved in:
27
Unconventional Computation and Natural Computation [E-Book] : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
28
Hardware and Software: Verification and Testing [E-Book] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /
Arbel, Eli
2016
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
29
Quantum Interaction [E-Book] : 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:
30
Algorithms for Sensor Systems [E-Book] : 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers /
Subject (ZB): “...Computer science Mathematics....”

Full text 
Favorites
Saved in:
31
Hybrid Systems Biology [E-Book] : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers /

Full text 
Favorites
Saved in:
32
Information Security [E-Book] : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
33
Hardware and Software: Verification and Testing [E-Book] : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
34
Graph Structures for Knowledge Representation and Reasoning [E-Book] : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
35
Hybrid Systems Biology [E-Book] : Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers /

Full text 
Favorites
Saved in:

Narrow Search Results