Search Results for Machines.

1.

Virtual Machines

Author

Craig, Iain D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-246-1

Format:

Availability

Online Library~1

Available:
Copies:

2.

Support Vector Machines

Author

Christmann, Andreas. author. Steinwart, Ingo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-77242-4

Format:

Availability

Online Library~1

Available:
Copies:

3.

Compiler Design Virtual Machines

Author

Wilhelm, Reinhard. author. Seidl, Helmut. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-14909-2

Format:

Availability

Online Library~1

Available:
Copies:

4.

Support Vector Machines for Pattern Classification

Author

Abe, Shigeo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-098-4

Format:

Availability

Online Library~1

Available:
Copies:

5.

Adaptive Motion of Animals and Machines

Author

Kimura, Hiroshi. editor. Tsuchiya, Kazuo. editor. Ishiguro, Akio. editor. Witte, Hartmut. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/4-431-31381-8

Format:

Availability

Online Library~1

Available:
Copies:

6.

Speech Separation by Humans and Machines

Author

Divenyi, Pierre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b99695

Format:

Availability

Online Library~1

Available:
Copies:

7.

Support Vector Machines for Pattern Classification

Author

Abe, Shigeo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-219-5

Format:

Availability

Online Library~1

Available:
Copies:

8.

A Concise Introduction to Languages and Machines

Author

Parkes, Alan P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-121-3

Format:

Availability

Online Library~1

Available:
Copies:

9.

Abstract Computing Machines A Lambda Calculus Perspective

Author

Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138965

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Author

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92402-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Author

Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings

Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings

Author

Lepora, Nathan F. editor. Mura, Anna. editor. Krapp, Holger G. editor. Verschure, Paul F. M. J. editor. Prescott, Tony J. editor.

Preferred Shelf Number

ONLINE(334852.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39802-5

Format:

Availability

Online Library~1

Available:
Copies:

13.

Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Author

Derrick, John. editor. Fitzgerald, John. editor. Gnesi, Stefania. editor. Khurshid, Sarfraz. editor. Leuschel, Michael. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-30885-7

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Biomimetic and Biohybrid Systems First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings

Biomimetic and Biohybrid Systems First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings

Author

Prescott, Tony J. editor. Lepora, Nathan F. editor. Mura, Anna. editor. Verschure, Paul F. M. J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31525-1

Format:

Availability

Online Library~1

Available:
Copies:

15.

A Science of Operations Machines, Logic and the Invention of Programming

Author

Priestley, Mark. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-555-0

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Brain, Body and Machine Proceedings of an International Symposium on the Occasion of the 25th Anniversary of the McGill University Centre for Intelligent Machines

Brain, Body and Machine Proceedings of an International Symposium on the Occasion of the 25th Anniversary of the McGill University Centre for Intelligent Machines

Author

Angeles, Jorge. editor. Boulet, Benoit. editor. Clark, James J. editor. Kövecses, József. editor. Siddiqi, Kaleem. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-16259-6

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

Author

Frappier, Marc. editor. Glässer, Uwe. editor. Khurshid, Sarfraz. editor. Laleau, Régine. editor. Reeves, Steve. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11811-1

Format:

Availability

Online Library~1

Available:
Copies:

18.

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Author

Börger, Egon. editor. Butler, Michael. editor. Bowen, Jonathan P. editor. Boca, Paul. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-87603-8

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Modeling Communication with Robots and Virtual Humans Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers

Modeling Communication with Robots and Virtual Humans Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers

Author

Wachsmuth, Ipke. editor. Knoblich, Günther. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79037-2

Format:

Availability

Online Library~1

Available:
Copies:

20.

Neural Preprocessing and Control of Reactive Walking Machines Towards Versatile Artificial Perception-Action Systems

Author

Manoonpong, Poramate. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-68803-7

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings

Author

Durand-Lose, Jérôme. editor. Margenstern, Maurice. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74593-8

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

Author

Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-36874-8

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Human Interaction with Machines Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, March 15–16, 2005

Human Interaction with Machines Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, March 15–16, 2005

Author

Hommel, G. editor. Huanye, Sheng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-4043-1

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers

Author

Margenstern, Maurice. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106980

Format:

Availability

Online Library~1

Available:
Copies:

25.

Integration of World Knowledge for Natural Language Understanding

Author

Ovchinnikova, Ekaterina. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.2991/978-94-91216-53-4

Format:

Availability

Online Library~1

Available:
Copies:

26.

Theoretical Foundations of Artificial General Intelligence

Author

Wang, Pei. editor. Goertzel, Ben. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.2991/978-94-91216-62-6

Format:

Availability

Online Library~1

Available:
Copies:

27.

Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference

Author

Goertzel, Ben. author. Geisweiller, Nil. author. Coelho, Lucio. author. Janičić, Predrag. author. Pennachin, Cassio. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.2991/978-94-91216-11-4

Format:

Availability

Online Library~1

Available:
Copies:

28.

Enaction, Embodiment, Evolutionary Robotics Simulation Models for a Post-Cognitivist Science of Mind

Author

Rohde, Marieke. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.2991/978-94-91216-34-3

Format:

Availability

Online Library~1

Available:
Copies:

29.

Data Center Networks Topologies, Architectures and Fault-Tolerance Characteristics

Author

Liu, Yang. author. Muppala, Jogesh K. author. Veeraraghavan, Malathi. author. Lin, Dong. author. Hamdi, Mounir. author.

Preferred Shelf Number

ONLINE(332894.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Sustainable Wireless Networks

Author

Zheng, Zhongming. author. Cai, Lin X. author. Shen, Xuemin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332922.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures

Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures

Author

Denkena, Berend. editor. Hollmann, Ferdinand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333575.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-32448-2

Format:

Availability

Online Library~1

Available:
Copies:

32.

Embedded Systems for Smart Appliances and Energy Management

Author

Grimm, Christoph. editor. Neumann, Peter. editor. Mahlknecht, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330846.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-8795-2

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}