Search Results for Machine theory

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Konu: 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

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 IX

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

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

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-72356-8

Format:

Availability

Online Library~1

Available:
Copies:

38.

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:

39.

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:

40.

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:

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 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:

43.

Cover image for KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

Author

Kern-Isberner, Gabriele. editor. Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Author

Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60225-7

Format:

Availability

Online Library~1

Available:
Copies:

45.

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:

46.

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:

47.

Cover image for Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings

Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings

Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings

Author

Brlek, Srečko. editor. Dolce, Francesco. editor. Reutenauer, Christophe. editor. Vandomme, Élise. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

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:

1 2 3 4 5 6 7

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11