Search Results for Machine theory.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer Communication Networks.

Author

SpringerLink (Online service)

(73)

Chen, Xilin. editor.

(13)

Ji, Rongrong. editor. (orcid)0000-0003-4739-8936

(13)

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780

(13)

Ma, Zhanyu. editor.

(13)

Wang, Hanzi. editor.

(13)

Wang, Liang. editor. (orcid)0000-0001-5224-8647

(13)

Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

(13)

Zheng, Weishi. editor. (orcid)0000-0001-8327-0003

(13)

Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X

(10)

Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758

(10)

Tetko, Igor V. editor. (orcid)0000-0002-6855-0012

(10)

Wand, Michael. editor. (orcid)0000-0003-0966-7824

(10)

Ali, Moonis. editor.

(2)

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637

(2)

Bouajjani, Ahmed. editor.

(2)

Bubba, Tatiana A. editor. (orcid)0000-0003-0020-9210

(2)

Cintrano, Christian. editor.

(2)

Correia, João. editor.

(2)

Gaburro, Romina. editor. (orcid)0000-0002-6186-0712

(2)

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894

(2)

Gazzola, Silvia. editor. (orcid)0000-0001-9588-0896

(2)

Hart, Emma. editor.

(2)

Královič, Rastislav. editor. (orcid)0000-0003-1121-1009

(2)

Kůrková, Věra. editor. (orcid)0000-0002-8181-2128

(2)

Papafitsoros, Kostas. editor. (orcid)0000-0001-9691-4576

(2)

Pereyra, Marcelo. editor. (orcid)0000-0001-6438-6772

(2)

Schönlieb, Carola-Bibiane. editor. (orcid)0000-0003-0099-6306

(2)

Smith, Stephen. editor.

(2)

Tabia, Karim. editor.

(2)

Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817

(2)

Albert, Elvira. editor.

(1)

Amos, Martyn. editor.

(1)

Andreev, Sergey. editor.

(1)

Antonucci, Alessandro. editor.

(1)

Arbel, Eli. editor.

(1)

Balandin, Sergey. editor.

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Bao, Zhifeng. editor.

(1)

Basu, Amitabh. editor. (orcid)0000-0002-1070-2626

(1)

Bloem, Roderick. editor.

(1)

Bogomolov, Sergiy. editor.

(1)

Bollen, Peter. editor.

(1)

Borovica-Gajic, Renata. editor. (orcid)0000-0003-3503-4123

(1)

Brlek, Srečko. editor.

(1)

Broering, Arne. editor.

(1)

Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109

(1)

Cai, Zhiping. editor. (orcid)0000-0001-5726-833X

(1)

Castañeda, Armando. editor. (orcid)0000-0002-8017-8639

(1)

Chau, Vincent. editor. (orcid)0000-0002-3362-2063

(1)

Chen, Mingzhe. author.

(1)

Chen, Yubo. editor. (orcid)0000-0002-5485-9916

(1)

Cholvy, Laurence. editor.

(1)

Choudhury, Farhana. editor.

(1)

Ciuciu, Ioana. editor.

(1)

Condon, Anne. editor.

(1)

Cook, Matthew. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Cui, Shuguang. author.

(1)

Debruyne, Christophe. editor.

(1)

Dennunzio, Alberto. editor.

(1)

Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953

(1)

Dinh, Thang N. editor.

(1)

Dolce, Francesco. editor.

(1)

Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571

(1)

Duan, Zhenhua. editor.

(1)

Duffy, Vincent G. editor.

(1)

Dürr, Christoph. editor. (orcid)0000-0001-8103-5333

(1)

Eick, Bettina. editor. (orcid)0000-0003-2884-6545

(1)

Enea, Constantin. editor.

(1)

Feng, Jiali. editor.

(1)

Fensel, Anna. editor.

(1)

Formenti, Enrico. editor.

(1)

Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159

(1)

Galinina, Olga. editor.

(1)

Gamard, Guilhem. editor.

(1)

Gibson-Robinson, Thomas. editor.

(1)

Goertzel, Ben. editor.

(1)

Gupta, Nirupam. editor.

(1)

Han, Xianpei. editor. (orcid)0000-0002-1304-6302

(1)

He, Yulan. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Jimenez-Ruiz, Ernesto. editor.

(1)

Jobstmann, Barbara. editor.

(1)

Kern-Isberner, Gabriele. editor.

(1)

Kordon, Fabrice. editor.

(1)

Koucheryavy, Yevgeni. editor.

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Lawford, Mark. editor.

(1)

Lazić, Ranko. editor.

(1)

Lecomte, Thierry. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Leroy, Julien. editor.

(1)

Leykin, Anton. editor. (orcid)0000-0002-9216-3514

(1)

Li, Minming. editor. (orcid)0000-0002-7370-6237

(1)

Liang, Jiye. editor. (orcid)0000-0001-5887-9327

(1)

Lim, Resmana. editor.

(1)

Liu, Shaoying. editor.

(1)

Liu, Zhiyuan. editor. (orcid)0000-0002-7709-2543

(1)

Lu, Pinyan. editor. (orcid)0009-0005-0569-4122

(1)

Mahjoub, Ali Ridha. editor. (orcid)0000-0002-1079-1892

(1)

Manzoni, Luca. editor.

(1)

Martel, Matthieu. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424

(1)

Mizuki, Takaaki. editor.

(1)

Moldt, Daniel. editor.

(1)

Monniaux, David. editor.

(1)

Müller, Jörg P. editor.

(1)

Neary, Turlough. editor.

(1)

Nunes, Ingrid. editor.

(1)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(1)

Ong, Luke. editor.

(1)

Pah, Nemuel Daniel. editor.

(1)

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261

(1)

Papini, Odile. editor.

(1)

Pasila, Felix. editor.

(1)

Pinger, Ralf. editor.

(1)

Podnar Žarko, Ivana. editor.

(1)

Porreca, Antonio E. editor.

(1)

Poveda-Villalón, María. editor.

(1)

Prabhakar, Pavithra. editor.

(1)

Qiu, Ruihong. editor.

(1)

Rao, Gaoqi. editor.

(1)

Ren, Yue. editor. (orcid)0000-0002-6005-7119

(1)

Reutenauer, Christophe. editor.

(1)

Romanovsky, Alexander. editor.

(1)

Salazar González, Juan José. editor. (orcid)0000-0001-5683-0271

(1)

Santoso, Murtiyanto. editor.

(1)

Serrano, Martin. editor.

(1)

Shi, Zhongzhi. editor.

(1)

Silva, Alexandra. editor.

(1)

Soursos, Sergios. editor.

(1)

Strichman, Ofer. editor.

(1)

Sun, Maosong. editor.

(1)

Tanoto, Yusak. editor.

(1)

Thai, My T. editor.

(1)

Tian, Zhiliang. editor.

(1)

Troubitsyna, Elena. editor.

(1)

Tzoref-Brill, Rachel. editor.

(1)

Vandomme, Élise. editor.

(1)

Varró, Dániel. editor.

(1)

Vega-Rodríguez, Miguel A. editor.

(1)

Vidal, Maria-Esther. editor.

(1)

Weichhart, Georg. editor.

(1)

Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098

(1)

Xiao, Mingyu. editor.

(1)

Yang, Zhengyi. editor. (orcid)0000-0003-1772-6863

(1)

Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794

(1)

Zhang, Jialin. editor. (orcid)0000-0002-6245-1013

(1)

Ölveczky, Peter Csaba. author.

(1)

Language

(73)

Publication Date

-

(31)

(18)

(14)

(10)

Subject

Computer networks .

(73)

Artificial intelligence.

(45)

Application software.

(33)

Computer and Information Systems Applications.

(33)

Formal Languages and Automata Theory.

(27)

Machine theory.

(27)

Computer science.

(26)

Software engineering.

(22)

Computer System Implementation.

(19)

Computer systems.

(19)

Computer science -- Mathematics.

(18)

Computer vision.

(16)

Machine learning.

(16)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(15)

Computer Science Logic and Foundations of Programming.

(15)

Image processing -- Digital techniques.

(15)

Theory of Computation.

(15)

(14)

Computing Milieux.

(14)

(12)

Mathematics of Computing.

(10)

Compilers (Computer programs).

(8)

Compilers and Interpreters.

(8)

Discrete Mathematics in Computer Science.

(7)

Discrete mathematics.

(7)

Computers, Special purpose.

(5)

Special Purpose and Application-Based Systems.

(5)

Computer programming.

(4)

Natural Language Processing (NLP).

(4)

Natural language processing (Computer science).

(4)

Programming Techniques.

(4)

Computer Modelling.

(3)

Computer simulation.

(3)

Data Mining and Knowledge Discovery.

(3)

Data Structures and Information Theory.

(3)

(3)

Data structures (Computer science).

(3)

Information Storage and Retrieval.

(3)

Information storage and retrieval systems.

(3)

Information theory.

(3)

Numerical analysis.

(3)

Computer Engineering and Networks.

(2)

Computer engineering.

(2)

Data and Information Security.

(2)

Data protection.

(2)

Database management.

(2)

Design and Analysis of Algorithms.

(2)

Image processing.

(2)

Mathematical Applications in Computer Science.

(2)

Mathematical statistics.

(2)

Probability and Statistics in Computer Science.

(2)

Symbolic and Algebraic Manipulation.

(2)

(1)

Communications Engineering, Networks.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer graphics.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

Database Management System.

(1)

Electric power production.

(1)

Electrical Power Engineering.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic commerce.

(1)

Electronic data processing -- Management.

(1)

Electronic digital computers -- Evaluation.

(1)

Human-computer interaction.

(1)

(1)

Information technology -- Management.

(1)

Mechanical Power Engineering.

(1)

Mobile communication systems.

(1)

(1)

Social sciences -- Data processing.

(1)

System Performance and Evaluation.

(1)

Telecommunication.

(1)

Theory and Algorithms for Application Domains.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

Wireless and Mobile Communication.

(1)

Wireless communication systems.

(1)

e-Commerce and e-Business.

(1)

Material Type

Shelf Location

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

73 Results Found

Subscribe to search results

1 2 3 4 5 6 7

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

37.

Cover image for Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part X

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part X

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part X

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72359-9

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part III

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part III

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part III

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8435-0

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part V

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part V

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part V

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8469-5

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Networked Systems 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings

Networked Systems 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings

Networked Systems 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings

Author

Castañeda, Armando. editor. (orcid)0000-0002-8017-8639 Enea, Constantin. editor. Gupta, Nirupam. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-67321-4

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III

Author

Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72338-4

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Author

Ölveczky, Peter Csaba. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6687-0

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers

OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers

OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers

Author

Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571 Poveda-Villalón, María. editor. Jimenez-Ruiz, Ernesto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54627-8

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Author

Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers

Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers

Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers

Author

Podnar Žarko, Ivana. editor. Broering, Arne. editor. Soursos, Sergios. editor. Serrano, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

Author

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60042-0

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Author

Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Internet of Things, Smart Spaces, and Next Generation Networks and Systems 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings

Author

Galinina, Olga. editor. Andreev, Sergey. editor. Balandin, Sergey. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67380-6

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 7

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11