Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 14 | << page >> |
Sort by
|
ISBN: 9061962978 Year: 1985 Volume: 9 Publisher: Amsterdam
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Parallel processing (Electronic computers) --- Parallélisme (Informatique) --- 681.3 *G10 --- 681.3*C12 --- 681.3*F12 --- Computerwetenschap--?*G10 --- Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*C12 Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Parallélisme (Informatique)
ISBN: 0444880712 0262220385 0262220393 0262220407 0444880747 0444880755 0444880757 9780262220392 9780444880741 1322555079 0080933912 0080933920 9780444880710 9780444880758 Year: 1990 Publisher: Amsterdam: Elsevier,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Informatique --- Computer Science --- 681.3*F2 --- 681.3*F32 --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 519.72 --- Computer science. --- Informatics --- Science --- Computer Science. --- Algorithmes --- Sémantique --- graph Algorithms --- Cryptography --- Pattern Matching --- Vlsi --- Complexity --- kolmogorov --- Turing Machines --- Specification --- Temporal Logic --- algebraic --- Database Theory --- Modal Logic --- Formal Models --- Semantics --- Type Systems --- Rewriting --- Sémantique
Book
ISBN: 364211265X 3642112668 Year: 2010 Publisher: Berlin ; New York : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer Science --- Engineering & Applied Sciences --- Computer science. --- World Wide Web. --- W3 (World Wide Web) --- Web (World Wide Web) --- World Wide Web (Information retrieval system) --- WWW (World Wide Web) --- Informatics --- Software engineering. --- Computer programming. --- Data structures (Computer science). --- Database management. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Data Storage Representation. --- Data Structures. --- Database Management. --- Software Engineering. --- Science --- Hypertext systems --- Multimedia systems --- Internet --- Data structures (Computer scienc. --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Computer software engineering --- Engineering --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Programming --- Information retrieval. --- Computer architecture. --- Artificial intelligence—Data processing. --- Data Science. --- Architecture, Computer --- Data retrieval --- Data storage --- Discovery, Information --- Information discovery --- Information storage and retrieval --- Retrieval of information --- Documentation --- Information science --- Information storage and retrieval systems
Book
ISBN: 9780123869807 0123869803 0123870127 1299386032 9780123870124 9781299386037 Year: 2013 Publisher: Waltham: Elsevier,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
""The fact remains that everyone who taps at a keyboard, opening a spreadsheet or a word-processing program, is working on an incarnation of a Turing machine.""-TIME In this accessible new selection of writings by Information Age pioneer Alan Turing, readers will find many of the most significant contributions from the four-volume set of the Collected Works of A. M. Turing. These contributions, together with commentaries from current experts in a wide spectrum of fields and backgrounds, provide insight on the significance and contemporary impact of A.M. Turing's
Mathematicians --- Computer science --- Enigma cipher system --- Logic, symbolic and mathematical --- Mathematics --- Turing, Alan Mathison, --- Mathématiques --- Informatique --- Enigma cipher system. --- Enigma cipher machine --- Enigma codes --- Enigma cryptographic machine --- Enigma machine (Cryptography) --- Computer mathematics --- Turing, Alan, --- Turing, Alan M. --- Turing, A. M. --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Machine ciphers --- World War, 1939-1945 --- ULTRA (Intelligence system) --- Discrete mathematics --- Electronic data processing --- Cryptography --- Logic, Symbolic and mathematical. --- Mathematics. --- Mathematicians - Great Britain - Biography --- Computer science - Mathematics --- Turing, Alan Mathison, - 1912-1954
Book
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book history --- Koninklijke Bibliotheek (Netherlands) --- Exhibitions. --- Fine bindings --- 095 <064> --- 027.54 <492 'S-GRAVENHAGE> --- -Art bindings --- Artists' bindings --- Bookbinding --- Craft bindings --- De luxe bindings --- Deluxe bindings --- Designer bindings --- Fine bookbindings --- Ornamental bookbindings --- Merkwaardige boekbanden--Tentoonstellingscatalogi. Museumcatalogi --- Rijksoverheidsbibliotheken. Staatsbibliotheken. Nationale bibliotheken (Koninklijke Bibliotheek)--Nederland--'S-GRAVENHAGE --- Exhibitions --- Ornamental bindings --- -Netherlands. --- Hague. --- Royal Library (Netherlands) --- National Library of the Netherlands --- Netherlands. --- Bibliothèque royale de La Haye --- KB --- Nationale Bibliotheek (Netherlands) --- -Merkwaardige boekbanden--Tentoonstellingscatalogi. Museumcatalogi --- -Exhibitions --- 027.54 <492 'S-GRAVENHAGE> Rijksoverheidsbibliotheken. Staatsbibliotheken. Nationale bibliotheken (Koninklijke Bibliotheek)--Nederland--'S-GRAVENHAGE --- 095 <064> Merkwaardige boekbanden--Tentoonstellingscatalogi. Museumcatalogi --- Art bindings --- History --- 's-Gravenhage. Koninklijke Bibliotheek. Boekbanden. Tentoonstellingen --- Reliures XIIe-XXe s. La Haye. Bibliothèque royale (Catalogue d'exposition) --- La Haye. Bibliothèque royale. Reliures. Expositions --- Boekbanden 12de-20ste e. 's-Gravenhage. Koninklijke Bibliotheek (Tentoonstellingscatalogus)
Book
ISBN: 9070386771 Year: 1996
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Graphics industry --- anno 1990-1999 --- Europe --- Library bindings --- Netherlands --- Reliure artistique --- Expositions
Book
ISBN: 849524134X Year: 2004 Publisher: Madrid Paris viso Association internationale de bibliophilie
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bibliography --- Book collecting --- Bibliographie --- Bibliophilie --- Congresses. --- Congrès --- Congrès --- Bibliomania --- Congresses --- Rare books --- History
Book
ISBN: 9788362994687 8362994681 Year: 2011 Publisher: Cracovie Biblioteka Jagiellonska
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookbinding --- Bookbinding, Medieval --- Bookbinding, Renaissance --- Reliure --- Reliure médiévale --- Reliure de la Renaissance --- History --- Histoire --- Biblioteka Jagielloska --- Exhibitions. --- Reliure médiévale --- Biblioteka Jagiellońska --- History.
Book
Year: 1976 Publisher: 's-Gravenhage : Koninklijke Bibliotheek : Staatsdrukkerij,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookbinding --- Reliure --- History --- Histoire --- William --- Koninklijke Bibliotheek (Netherlands) --- Rijksmuseum Meermanno-Westreenianum --- Catalogs.
Book
Year: 1988 Publisher: [Bruxelles : s.n.],
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 10 of 14 | << page >> |
Sort by
|