Search Results for Transportation.

Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings

Yazar

Paias, Ana. editor.

http://dx.doi.org/10.1007/978-3-319-44896-1

Format:

Electronic Resources

Alıntı:

entitled: container terminals and maritime transportation; intermodal transport; location and routing

Communication Technologies for Vehicles 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings

Yazar

Pirovano, Alain. editor.

https://doi.org/10.1007/978-3-319-56880-5

Format:

Electronic Resources

Alıntı:

transportation systems (ITS) and communication technologies for: Vehicles on road: e.g. cars, tracks and buses

Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings

Yazar

Bektaş, Tolga. editor. (orcid)0000-0003-0634-144X

https://doi.org/10.1007/978-3-319-68496-3

Format:

Electronic Resources

Alıntı:

: vehicle routing and scheduling; maritime logistics; synchromodal transportation; and transportation

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

Yazar

Namazi-Rad, Mohammad-Reza. editor.

https://doi.org/10.1007/978-3-319-51957-9

Format:

Electronic Resources

Alıntı:

agent-based model, census and crowdsourced data -- Transportation in Agent-Based Urban Modelling

Autonomic Road Transport Support Systems

Yazar

McCluskey, Thomas Leo. editor.

http://dx.doi.org/10.1007/978-3-319-25808-9

Format:

Electronic Resources

Alıntı:

engineering autonomic behavior in Intelligent Transportation Systems (ITS) by fusing research from the

Critical Infrastructure Protection XI 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, Revised Selected Papers

Yazar

Rice, Mason. editor.

https://doi.org/10.1007/978-3-319-70395-4

Format:

Electronic Resources

Alıntı:

reactors, materials and waste, transportation systems, and water and wastewater systems. Global business

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III

Yazar

Li, Kang. editor.

https://doi.org/10.1007/978-981-10-6364-0

Format:

Electronic Resources

Alıntı:

-- Advanced Methods for Networked Systems -- Control and Analysis of Transportation Systems -- Advanced

Intelligent Computing, Networked Control, and Their Engineering Applications International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part II

Yazar

Yue, Dong. editor.

https://doi.org/10.1007/978-981-10-6373-2

Format:

Electronic Resources

Alıntı:

-- Advanced Methods for Networked Systems -- Control and Analysis of Transportation Systems -- Advanced

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Yazar

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712

https://doi.org/10.1007/978-3-030-32409-4

Format:

Electronic Resources

Alıntı:

Approach on a Transportation System -- Design Model Repair with Formal Verification -- A

	{displayName}	{count}
{error}