Melbourne - PDFSEARCH.IO - Document Search Engine

Melbourne
Results: 32066

#	Item
1	The Mercury Library Reference Manual Version c 1995–1997,1999–2014 The University of Melbourne. Copyright Permission is granted to make and distribute verbatim copies of this manual provided the Add to Reading List Source URL: mercurylang.org Language: English - Date: 2016-03-18 02:30:36 Computing Software engineering Computer programming Programming languages Cross-platform software Object-oriented programming languages Procedural programming languages Data types Array data structure Array data type Getopt Lua
2	Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Finite automata DFA minimization Deterministic automaton Finite-state machine Theoretical computer science Muller automaton Bchi automaton
3	FROM PUBLICATION  TO IMPACT ! Professor Anne-Wil Harzing University of Melbourne www.harzing.com Add to Reading List Source URL: harzing.com Language: English - Date: 2016-11-15 10:32:32 Academic publishing Publishing Knowledge Citation metrics Bibliometrics Research Citation impact Research and development Publish or perish Google Scholar Citation analysis Citation
4	CASE STUDY Retail & Ecommerce Mobile App Melbourne Add to Reading List Source URL: www.genui.co Language: English - Date: 2018-08-31 16:43:47 Computing Computer architecture System software Smartphones Online marketplaces Mobile app Android Google Play IOS App Store IOS 10 MiKandi
5	1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Mathematics Computer arithmetic Algebra Abstract algebra Abstract interpretation Interval arithmetic Two's complement Interval Signedness Logarithm Modular arithmetic Division by zero
6	Recommending and Planning Trip Itineraries for Individual Travellers and Groups of Tourists Kwan Hui Lim† Department of Computing and Information Systems, The University of Melbourne, Australia Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:32 Information science Mathematics Information retrieval Poi Recommender system Tourism Personalization Travelling salesman problem
7	Human-Robot Communication in Automated Planning Aleck MacNally University of Melbourne Parkville VIC 3010 Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:32 Robotics Artificial intelligence Humanrobot interaction Robot Emerging technologies Multi-agent system Cognitive robotics Leonardo Humanoid robot
8	The Mercury Library Reference Manual Version rotd c 1995–1997,1999–2012 The University of Melbourne. Copyright c 2013–2018 The Mercury team. Add to Reading List Source URL: mercurylang.org Language: English - Date: 2018-10-05 08:31:35 Computing Computer programming Software engineering Object-oriented programming languages Cross-platform software Scripting languages Embedded systems Programming languages Getopt Bit array Loadable kernel module International Space Station
9	PDF Document Add to Reading List Source URL: giscience2018.rmit.melbourne - Date: 2018-06-03 23:54:26
10	PDF Document Add to Reading List Source URL: giscience2018.rmit.melbourne - Date: 2018-02-15 20:07:39