Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
Digital
ISBN: 9783642034091 Year: 2009 Publisher: Berlin, Heidelberg Springer Berlin Heidelberg
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Complex analysis --- Discrete mathematics --- Computer science --- Computer. Automation --- discrete wiskunde --- complexe analyse (wiskunde) --- informatica --- programmeren (informatica) --- wiskunde --- logica
Book
ISBN: 3642392466 3642392474 Year: 2013 Publisher: Berlin : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2013, held in Wroclaw, Poland, in July 2013. The 27 revised full papers presented were carefully reviewed and selected from 56 submissions. The papers address such diverse topics as routing, rumor spreading, reliability, topology control, security aspects, and the impact of mobility. Some of the papers contain precise analytical results while other ones are devoted to solving specific practical problems of implementation and deployment.
Computer science. --- Computer Communication Networks. --- Software engineering. --- Information storage and retrieval systems. --- Information Systems. --- Telecommunication. --- Computer Science. --- Information Systems Applications (incl. Internet). --- Communications Engineering, Networks. --- Management of Computing and Information Systems. --- Software Engineering. --- Information Storage and Retrieval. --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Telecommunications --- Information Technology --- Computer Science (Hardware & Networks) --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer software engineering --- Informatics --- Electric communication --- Mass communication --- Telecom --- Telecommunication industry --- Computer communication systems. --- Information storage and retrieval. --- Management information systems. --- Electrical engineering. --- Mobile communication systems --- Wireless communication systems --- Information storage and retrieva. --- Information retrieval. --- Communication --- Information theory --- Telecommuting --- Engineering --- Data retrieval --- Data storage --- Discovery, Information --- Information discovery --- Information storage and retrieval --- Retrieval of information --- Documentation --- Information science --- Information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Science --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Electric engineering --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Communication systems --- Distributed processing
Book
ISBN: 364203408X 3642034098 Year: 2009 Publisher: Berlin ; Heidelberg : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This book constitutes the refereed proceedings of the 17th International Symposium Fundamentals of Computation Theory, FCT 2009, held in Wroclaw, Poland in August 2009. The 29 revised full papers were carefully reviewed and selected from 67 submissions. The papers address all current topics in computation theory such as automata and formal languages, design and analysis of algorithms, computational and structural complexity, semantics, logic, algebra and categories in computer science, circuits and networks, learning theory, specification and verification, parallel and distributed systems, concurrency theory, cryptography and cryptograhic protocols, approximation and randomized algorithms, computational geometry, quantum computation and information, bio-inspired computation.
Computer science --- Computer Science --- Engineering & Applied Sciences --- Machine theory --- Computational complexity --- Computer science. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Algorithms. --- Mathematical logic. --- Computer Science. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Foundations --- Programming --- Information theory. --- Computer software. --- Software, Computer --- Communication theory --- Communication --- Compilers (Computer programs). --- Machine theory. --- Compilers and Interpreters. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software
| Listing 1 - 3 of 3 |
Sort by
|