2016

Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings

International SPIN Workshop (23rd : 2016 : Eindhoven, Netherlands)

Switzerland : Springer, 2016

 

2016

Advances in unconventional computing.

Switzerland : Springer, 2016

 

2015

Handbook of research on teacher education in the digital age

Hershey, PA : Information Science Reference, an imprint of IGI Global, [2015]

 

2015

Chance, strategy, and choice : an introduction to the mathematics of games and elections

Smith, Samuel B., 1966-

New York, NY, USA : Cambridge University Press, 2015

 

2015

Complex systems and networks : dynamics, controls and applications

Heidelberg : Springer, [2015]

 

2015

Decision and Game Theory for Security : 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings

GameSec (Conference) (6th : 2015 : London, England)

Cham : Springer, 2015

 

2015

Game theoretic analysis of congestion, safety and security : networks, air traffic and emergency departments

Cham, Switzerland : Springer, [2015]

 

2015

Models of strategic reasoning : logics, games, and communities

Berlin : Springer, 2015

 

2015

Algorithmic foundations of robotics XI : selected contributions of the eleventh International Workshop on the Algorithmic Foundations of Robotics

International Workshop on the Algorithmic Foundations of Robotics (11th : 2014 : Istanbul, Turkey)

Cham : Springer, 2015

 

2014

Dara O'Briain's School of Hard Sums: Sally Phillips and Jon Richardson - Series 2, Ep 3 of 8

Australia : SBS 2, 2014

 

2014

Decision making and soft computing : proceedings of the 11th International FLINS Conference, Joao Pessoa (Paraiba), Brazil, 17-20 August 2014

International FLINS Conference (11th : 2014 : Joao Pessoa, Brazil)



 

2014

Game theory and mechanism design

Narahari, Y., author

Hackensack, New Jersey : World Scientific, 2014

 

2014

Computer aided verification : 26th International Conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings

CAV (Conference) (26th : 2014 : Vienna, Austria)

Cham : Springer, [2014]

 

2014

Combinatorial optimization and applications : 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014 : proceedings

COCOA (Conference) (8th : 2014 : Wailea, Maui, Hawaii)

Cham : Springer, [2014]

 

2014

Fuzzy Information & Engineering and Operations Research & Management

International Conference on Fuzzy Information and Engineering (6th : 2012 : Babolsar, Iran)

Heidelberg : Springer, 2014

 

2014

Two-person zero-sum games

Washburn, Alan R., author.
Fourth edition
New York : Springer, 2014

 

2014

Game theory : through examples

Prisner, E. (Erich), author.

[Washington, District of Columbia] : Mathematical Association of America, Inc., 2014

 

2013

Dara O'Briain's School of Hard Sums: Ep 16 Of 18

Australia : SBS 2, 2013

 

2013

Cases on educational technology implementation for facilitating learning

Hershey, PA : Information Science Reference, [2013]

Request It 

2013

Combinatorial number theory : Proceedings of the "Integers Conference 2011" Carrollton, Georgia, October 26-29, 2011

Integers Conference (2011 : Carrollton, Ga.)

Berlin ; Boston : De Gruyter, [2013]

 

2013

Simple adaptive strategies : from regret-matching to uncoupled dynamics

Hart, Sergiu

Singapore : World Scientific, [2013]

 

2013

The Oxford handbook of the economics of gambling

New York : Oxford University Press, 2013

 

2013

Advances in swarm intelligence : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings.

ICSI (Conference) (4th : 2013 : Harbin, China)

Heidelberg : Springer, [2013]

 

2013

Artificial intelligence in education : 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013 : proceedings

International Conference on Artificial Intelligence in Education (16th : 2013 : Memphis, Tenn.)



 

2013

Encyclopedia of autism spectrum disorders

 

2013

Computing and combinatorics : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

COCOON (Conference) (19th : 2013 : Hangzhou, China)

Heidelberg : Springer, [2013]

 

2013

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings

International Conference on Formal Engineering Methods (15th : 2013 : Queenstown, N.Z.)

Heidelberg : Springer, [2013]

 

2013

Mathematical and engineering methods in computer science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised selected papers

MEMICS (Workshop) (8th : 2012 : Znojmo, Czech Republic)



 

2013

Learning and intelligent optimization : 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, revised selected papers

LION (Conference) (7th : 2013 : Catania, Italy)

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, [2013]

 

2013

Informatics and management science I

International Conference on Informatics and Management Science (2012 : Kunming, China)



 

2012

Dara O'Briain's School of Hard Sums: Ep 6 Of 18

Australia : SBS 2, 2012

 

2012

Innovative methods for science education : history of science, ICT and inquiry based science teaching

 

2012

Creative Teaching

Briggs, Mary



 

2012

War games : a history of war on paper

Hilgers, Philipp von.



 

2012

Theory of conditional games

Stirling, Wynn C



 

2012

Quantification : a Case Study In Transcendental-Metaphysical Logic

Molczanow, Aleksy



 

2012

Games and mathematics : subtle connections

Wells, D. G. (David G.)



 

2012

Chases and escapes : the mathematics of pursuit and evasion

Nahin, Paul J



 

2012

Mathletics : how gamblers, managers, and sports enthusiasts use mathematics in baseball, basketball, and football : with a new epilogue by the author

Winston, Wayne L., author.



 

2012

Advances in computer science and information engineering.

CSIE (Conference) (2012 : Zhengzhou, China)



 

2012

Advanced technology in teaching - Proceedings of the 2009 3rd International Conference on Teaching and Computational Science (WTCS 2009).

International Conference on Teaching and Computational Science (3rd : 2009 : Shenzhen, China)



 

2012

Advances in artificial intelligence--IBERAMIA 2012 : 13th Ibero-American conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012 : proceedings

Ibero-American Conference on Artificial Intelligence (13th : 2012 : Cartagena, Colombia)



 

2012

Advances in neural networks-- ISNN 2012 : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings.

International Symposium on Neural Networks (9th : 2012 : Shenyang Shi, China)



 

2012

Mathematical foundations of computer science 2012 : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

Symposium on Mathematical Foundations of Computer Science (1972- ) (37th : 2012 : Bratislava, Slovakia)



 

2012

KI 2012: Advances in artificial intelligence : 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings

German Conference on Artificial Intelligence (35th : 2012 : Saarbrücken, Germany)



 

2012

PRICAI 2012 : Trends in artificial intelligence ; 12th Pacific Rim International Conference on Artificial Intelligence, Kuching, Malaysia, September 3-7, 2012, Proceedings

Pacific Rim International Conference on Artificial Intelligence (12th : 2012 : Kuching, Sarawak)



 

2012

Evolutionary games in complex topologies : interplay between structure and dynamics

Poncela Casasnovas, Julia