Skip to content
Welcome to University of UNSW, Bengaluru
Home
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
Sign In
Alle Felter
Titel
Forfatter
Fag
Klassifikationsnummer
ISBN/ISSN
Tag
Find
Udvidet
Channels
Search for more channels:
Emne: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
Add more channels like this
Toggle additional channel list for Emne: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
Emne: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engi...
Emne: Control Structures and Microprogramming
Emne: Mathematical theory of computation
Emne: software architecture
Emne: mathematics
Emne: model checking
Emne: Computer networking & communications
Emne: Computer science
Emne: Theory of Computation
Emne: software engineering
Emne: thema EDItEUR::U Computing and Information Technology::UT Computer networking and communicatio...
Emne: thema EDItEUR::U Computing and Information Technology::UY Computer science
Emne: Computer Systems Organization and Communication Networks
Emne: Expert systems / knowledge-based systems
Emne: Information Systems and Communication Service
Emne: SAT and SMT solving
Emne: Software Engineering
Emne: artificial intelligence
Emne: automata theory
Emne: formal logic
Emne: linguistics
Emne: open access
Emne: parallel processing systems
Emne: software design
Emne: static and dynamic program analysis
Emne: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engi...
Emne: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial int...
Channel Options
Show items as search results
Explore related channels
Quick Look
Multiprocessor Scheduling
Quick Look
Tabu Search
Quick Look
Advances in Evolutionary Algorithms
Quick Look
Greedy Algorithms
Quick Look
Traveling Salesman Problem
Quick Look
Search Algorithms and Applications
Quick Look
Bio-Inspired Computational Algorithms and Their Applications
Quick Look
Scheduling Problems
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Load more items
Emne: embedded systems
Add more channels like this
Toggle additional channel list for Emne: embedded systems
Emne: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engi...
Emne: Control Structures and Microprogramming
Emne: Mathematical theory of computation
Emne: software architecture
Emne: mathematics
Emne: model checking
Emne: Computer networking & communications
Emne: Computer science
Emne: Theory of Computation
Emne: software engineering
Emne: thema EDItEUR::U Computing and Information Technology::UT Computer networking and communicatio...
Emne: thema EDItEUR::U Computing and Information Technology::UY Computer science
Emne: Computer Systems Organization and Communication Networks
Emne: Expert systems / knowledge-based systems
Emne: Information Systems and Communication Service
Emne: SAT and SMT solving
Emne: Software Engineering
Emne: artificial intelligence
Emne: automata theory
Emne: formal logic
Emne: linguistics
Emne: open access
Emne: parallel processing systems
Emne: software design
Emne: static and dynamic program analysis
Emne: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engi...
Emne: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial int...
Channel Options
Show items as search results
Explore related channels
Quick Look
Programming Languages and Systems
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Supercomputing Frontiers
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Load more items
Forfatter: Chen, Chung-Chi
Add more channels like this
Toggle additional channel list for Forfatter: Chen, Chung-Chi
Forfatter: Huang, Hen-Hsen
Channel Options
Show items as search results
Explore related channels
Quick Look
From Opinion Mining to Financial Argument Mining
Load more items
Forfatter: Chen, Hsin-Hsi
Add more channels like this
Toggle additional channel list for Forfatter: Chen, Hsin-Hsi
Forfatter: Huang, Hen-Hsen
Channel Options
Show items as search results
Explore related channels
Quick Look
From Opinion Mining to Financial Argument Mining
Load more items
Lignende værker: Programming Languages and Systems
Add more channels like this
Toggle additional channel list for Lignende værker: Programming Languages and Systems
Lignende værker: Tools and Algorithms for the Construction and Analysis of Systems
Lignende værker: Tools and Algorithms for the Construction and Analysis of Systems
Lignende værker: Supercomputing Frontiers
Lignende værker: International Symposium on Mathematics, Quantum Theory, and Cryptography
Lignende værker: Multiprocessor Scheduling
Lignende værker: Tabu Search
Lignende værker: Advances in Evolutionary Algorithms
Lignende værker: Greedy Algorithms
Lignende værker: Traveling Salesman Problem
Lignende værker: Search Algorithms and Applications
Lignende værker: Bio-Inspired Computational Algorithms and Their Applications
Lignende værker: Scheduling Problems
Lignende værker: Fundamental Approaches to Software Engineering
Lignende værker: Tools and Algorithms for the Construction and Analysis of Systems
Lignende værker: Tools and Algorithms for the Construction and Analysis of Systems
Lignende værker: From Opinion Mining to Financial Argument Mining
Lignende værker: The Application of Ant Colony Optimization
Channel Options
View Record
Explore related channels
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems
Quick Look
Pro TBB
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems
Quick Look
Data Parallel C++
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Programming Languages and Systems
Quick Look
Developing Graphics Frameworks with Python and OpenGL
Quick Look
Programming Languages and Systems
Quick Look
Today's TBB
Quick Look
Real World OCaml: Functional Programming for the Masses
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Computer Aided Verification
Quick Look
XcalableMP PGAS Programming Language
Quick Look
Computer Aided Verification
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Rhetorical Code Studies: Discovering Arguments in and around Code
Quick Look
Formal Methods
Quick Look
Formal Methods
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Foundations of Probabilistic Programming
Quick Look
Computer Aided Verification
Load more items
Lignende værker: Fundamental Approaches to Software Engineering
Add more channels like this
Toggle additional channel list for Lignende værker: Fundamental Approaches to Software Engineering
Lignende værker: Tools and Algorithms for the Construction and Analysis of Systems
Lignende værker: Tools and Algorithms for the Construction and Analysis of Systems
Lignende værker: Supercomputing Frontiers
Lignende værker: International Symposium on Mathematics, Quantum Theory, and Cryptography
Lignende værker: Multiprocessor Scheduling
Lignende værker: Tabu Search
Lignende værker: Advances in Evolutionary Algorithms
Lignende værker: Greedy Algorithms
Lignende værker: Traveling Salesman Problem
Lignende værker: Search Algorithms and Applications
Lignende værker: Bio-Inspired Computational Algorithms and Their Applications
Lignende værker: Scheduling Problems
Lignende værker: Fundamental Approaches to Software Engineering
Lignende værker: Tools and Algorithms for the Construction and Analysis of Systems
Lignende værker: Tools and Algorithms for the Construction and Analysis of Systems
Lignende værker: From Opinion Mining to Financial Argument Mining
Lignende værker: The Application of Ant Colony Optimization
Channel Options
View Record
Explore related channels
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Computer Aided Verification
Quick Look
The Once-Only Principle
Quick Look
Bridging the Gap Between AI and Reality
Quick Look
Computer Aided Verification
Quick Look
Bridging the Gap Between AI and Reality
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Quick Look
Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
Quick Look
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
Quick Look
Automated Reasoning
Quick Look
Formal Methods
Quick Look
Formal Methods
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Bridging the Gap Between AI and Reality
Quick Look
Programming Languages and Systems
Quick Look
Computer Aided Verification
Load more items
View Record
Forrige
Explore related channels
Næste
