2016

Integer programming and combinatorial optimization : 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings

Conference on Integer Programming and Combinatorial Optimization (18th : 2016 : Liège, Belgium)

Switzerland : Springer, 2016

 

2017

Integer programming and combinatorial optimization : 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, proceedings

Conference on Integer Programming and Combinatorial Optimization (19th : 2017 : Waterloo, Ont.)

Cham, Switzerland : Springer, [2017]

 

2016

Integrated uncertainty in knowledge modelling and decision making : 5th International Symposium, IUKM 2016, Da Nang, Vietnam, November 30- December 2, 2016, Proceedings

IUKM (Symposium) (5th : 2016 : Đà Nẵng, Vietnam)

Cham, Switzerland : Springer, [2016]

 

2016

Integration of AI and OR techniques in constraint programming : 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29-June 1, 2016, Proceedings

CPAIOR (Conference : 2014- ) (13th : 2016 : Banff, Alta.)

Switzerland : Springer, 2016

 

2017

Integration of AI and OR techniques in constraint programming : 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings

CPAIOR (Conference : 2014- ) (14th : 2017 : Padua, Italy)

Cham : Springer, 2017

 

2018

Integration of constraint programming, artificial intelligence, and operations research : 15th International Conference, CPAIOR 2018, Delft, the Netherlands, June 26-29, 2018, Proceedings

CPAIOR (Conference : 2014- ) (15th : 2018 : Delft, Netherlands)

Cham : Springer, 2018

 

2020

Integration of constraint programming, artificial intelligence, and operations research : 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings

CPAIOR (Conference : 2014- ) (17th : 2020 : Online)



 

2017

Intelligence science I : Second IFIP TC 12 International Conference, ICIS 2017, Shanghai, China, October 25-28, 2017, Proceedings

International Conferece on Intelligence Science (2nd : 2017 : Shanghai, China)

Cham, Switzerland : Springer, 2017

 

2015

Intelligent cloud computing : first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised selected papers

ICC (Conference : Oman) (1st : 2014 : Muscat, Oman)

Cham : Springer, 2015

 

2018

Intelligent computing and internet of things. first International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing and Sustainable Energy an

International Conference on Intelligent Manufacturing and Internet of Things (1st : 2018 : Chongqing, China)

Singapore : Springer, [2018]

 

2016

Intelligent computing methodologies : 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016. Proceedings.

International Conference on Intelligent Computing (12th : 2016 : Lanzhou, China)

Switzerland : Springer, 2016

 

2017

Intelligent computing methodologies : 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings.

International Conference on Intelligent Computing (13th : 2017 : Liverpool, England)

Cham, Switzerland : Springer, 2017

 

2018

Intelligent computing methodologies : 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings.

International Conference on Intelligent Computing (14th : 2018 : Wuhan, China)

Cham, Switzerland : Springer, [2018]

 

2018

Intelligent computing theories and application : 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings.

International Conference on Intelligent Computing (14th : 2018 : Wuhan, China)

Cham, Switzerland : Springer, [2018]

 

2018

Intelligent computing theories and application : 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part II

International Conference on Intelligent Computing (14th : 2018 : Wuhan, China)

Cham, Switzerland : Springer, [2018]

 

2015

Intelligent Data Engineering and Automated Learning - IDEAL 2015 : 16th International Conference Wroclaw, Poland, October 14-16, 2015, Proceedings

IDEAL (Conference) (16th : 2015 : Wrocław, Poland)

Cham : Springer, 2015

 

2016

Intelligent data engineering and automated learning -- IDEAL 2016 : 17th International Conference, Yangzhou, China, October 12-14, 2016, Proceedings

IDEAL (Conference) (17th : 2016 : Yangzhou Shi, China)

Cham, Switzerland : Springer, 2016

 

2017

Intelligent data engineering and automated learning -- IDEAL 2017 : 18th International Conference, Guilin, China, October 30-November 1, 2017, Proceedings

IDEAL (Conference) (18th : 2017 : Guilin, China)

Cham, Switzerland : Springer, 2017

 

2017

Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings.

Asian Conference on Intelligent Information and Database Systems (9th : 2017 : Kanazawa-shi, Japan)

Cham, Switzerland : Springer, 2017

 

2017

Intelligent Information and Database Systems : 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II

Asian Conference on Intelligent Information and Database Systems (9th : 2017 : Kanazawa-shi, Japan)

Cham, Switzerland : Springer, 2017

 

2018

Intelligent information and database systems : 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings.

Asian Conference on Intelligent Information and Database Systems (10th : 2018 : Dong Hoi City, Vietnam)

Cham : Springer, 2018

 

2018

Intelligent robotics and applications : 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018, Proceedings.

ICIRA (Conference) (11th : 2018 : Newcastle, N.S.W.)

Cham, Switzerland : Springer, [2018]

 

2019

Intelligent robotics and applications : 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings.

ICIRA (Conference) (12th : 2019 : Shenyang, Liaoning Sheng, China)

Cham : Springer, 2019

 

2015

Interactive theorem proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

ITP (Conference) (6th : 2015 : Nanjing, China)

Cham : Springer, 2015

 

2016

Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings

ITP (Conference) (7th : 2016 : Nancy, France)

Switzerland : Springer, 2016

 

2015

Internet and distributed computing systems : 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings

IDCS (Conference) (8th : 2015 : Windsor, England)

Cham : Springer, 2015

 

2016

Internet and distributed computing systems : 9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016, Proceedings

IDCS (Conference) (9th : 2016 : Wuhan, China)

Cham, Switzerland : Springer, 2016

 

2015

Internet of Vehicles - Safe and Intelligent Mobility : Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings

IOV (Conference) (2nd : 2015 : Chengdu, China)

Cham : Springer, 2015

 

2017

Internet of vehicles : technologies and services for smart cities : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings

IOV (Conference) (4th : 2017 : Kanazawa-shi, Japan)

Cham, Switzerland : Springer, 2017

 

2016

Internet of vehicles -- technologies and services : third International Conference, IOV 2016, Nadi, Fiji, December 7-10, 2016, Proceedings

IOV (Conference) (3rd : 2016 : Nadi, Fiji)

Cham : Springer, 2016

 

2013

Introduction to biological networks

Ray, Animesh, 1954-



 

2013

Introduction to biological networks

Raval, Alpan, 1968-

Boca Raton, FL : CRC Press, [2013]

 

2020

Introduction to computational origami : the world of new computational geometry

Uehara, Ryuhei.



 

2019

Introduction to digital systems design

Donzellini, Giuliano, author

Cham, Switzerland : Springer, [2019]

 

2018

Introduction to parallel computing : from algorithms to programming on state-of-the-art platforms

Trobec, Roman, author.

Cham, Switzerland : Springer, 2018

 

2017

Java 11 cookbook : a definitive guide to learning the key concepts of modern application development

Samoylov, Nick
Second edition


 

2015

Job scheduling strategies for parallel processing : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised selected papers

JSSPP (Workshop) (18th : 2014 : Phoenix, Ariz.)

Cham : Springer, 2015

 

2017

Job scheduling strategies for parallel processing : 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised selected p

JSSPP (Workshop) (19th : 2015 : Hyderabad, India)

Cham, Switzerland : Springer, 2017

 

2017

KI 2017 : advances in artificial intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings

German Conference on Artificial Intelligence (40th : 2017 : Dortmund, Germany)

Cham, Switzerland : Springer, 2017

 

2018

KI 2018 : advances in artificial intelligence : 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings

German Conference on Artificial Intelligence (41st : 2018 : Berlin, Germany)

Cham, Switzerland : Springer, 2018

 

2016

Knowledge management and acquisition for intelligent systems : 14th Pacific Rim Knowledge Acquisition Workshop, PKAW 2016, Phuket, Thailand, August 22-23, 2016. Proceedings

Pacific Rim Knowledge Acquisition Workshop (14th : 2016 : Phuket, Thailand)

Switzerland : Springer, 2016

 

2016

Language and automata theory and applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

LATA (Conference) (10th : 2016 : Prague, Czech Republic)

Cham : Springer, 2016

 

2017

Language and automata theory and applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

LATA (Conference) (11th : 2017 : Umeå, Sweden)

Cham : Springer, 2017

 

2018

Language and automata theory and applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

LATA (Conference) (12th : 2018 : Ramat Gan, Israel)

Cham, Switzerland : Springer, [2018]

 

2020

Language and automata theory and applications 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, proceedings

LATA (Conference) (14th : 2020 : Milan, Italy)

Cham, Switzerland : Springer, [2020]

 

2015

Languages and compilers for parallel computing : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised selected papers

LCPC (Workshop) (27th : 2014 : Hillsboro, Oregon)

Cham : Springer, 2015

 

2016

Languages and compilers for parallel computing : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015. Revised selected papers

LCPC (Workshop) (28th : 2015 : Raleigh, N.C.)

Switzerland : Springer, 2016

 

2015

Large-scale scientific computing : 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers

LSSC (Conference) (10th : 2015 : Sozopol, Bulgaria)

Cham : Springer, 2015

 

2018

Large-scale scientific computing : 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, revised selected papers

LSSC (Conference) (11th : 2017 : Sozopol, Bulgaria)

Cham, Switzerland : Springer, 2018

 

2015

Latent variable analysis and signal separation : 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings

International Conference on Latent Variable Analysis and Signal Separation (12th : 2015 : Liberec, Czech Republic)

Cham : Springer, 2015