Z notation - PDFSEARCH.IO - Document Search Engine

Z notation
Results: 301

#	Item
1	Zum Beweis des Wiener-Lemmas Die Notation folgt in etwa1 Aufgabe 2.5, es sei also `1 (Z) die Faltungsalgebra der summierbaren Folgen und F die Fouriertransformation F : `1 (Z) 3 (xn ) 7→ f ∈ Cper [0, 1], ∞ Add to Reading List Source URL: www3.iadm.uni-stuttgart.de Language: German - Date: 2017-10-30 06:32:57
2	¶4. Hilfsmittel aus Analysis II + III. (A) Notation. F¨ ur N ∈ N und x = (x1 , . . . , xN ) ∈ RN bzw. z = (z1 , . . . , zN ) ∈ CN ist \|x\| = Add to Reading List Source URL: www.icm.tu-bs.de - Date: 2016-04-22 01:31:35
3	Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Mathematics Logic Mathematical logic Algebraic structures Model theory Z notation Topology S Set theory Lattice Ring Axiom
4	(RPA#) Job Opportunity Bulletin Add to Reading List Source URL: cio.ca.gov Language: English - Date: 2016-07-20 12:14:14 Software IBM software Computing Transaction processing CICS Multimodal interaction Z notation Z/OS Operating system Command CICS
5	Characterizations of Pretameness Regula Krapf joint work with Peter Holy and Philipp Schlicht University of Bonn December 8, 2015 Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-12-08 06:01:31 Mathematics Mathematical logic Logic Z notation ZermeloFraenkel set theory Forcing Model theory Constructible universe
6	Introduction Descriptive Set Theory in SOA Collapsing a model of ZFC Sharps # Collapsing a model of ZFC Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-08-07 07:54:13 Mathematics Mathematical logic Logic Foundations of mathematics Z notation ZermeloFraenkel set theory Determinacy Set theory Second-order arithmetic Constructible universe Model theory Descriptive set theory
7	Optimized Pre-Copy Live Migration for Memory Intensive Applications Khaled Z. Ibrahim, Steven Hofmeyr, Costin Iancu, Eric Roman Lawrence Berkeley National Laboratory Email: {kzibrahim, shofmeyr, cciancu, eroman}@lbl.gov Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2012-10-24 14:05:02 Computing Software System software Parallel computing Application programming interfaces Live migration OpenMP Downtime Availability Migration Big O notation VM
8	SPECIFICATION CASE STUDIES Second Edition c 1987, 1992 Prentice Hall International Copyright (UK) Ltd Appendices A and B may be copied for educational Add to Reading List Source URL: staff.itee.uq.edu.au Language: English - Date: 2016-07-29 16:29:18 Technology Transaction processing Software CICS IBM software Multimodal interaction Z notation Technical specifications Evaluation Specification Schema
9	Science of Computer Programming – 243 www.elsevier.com/locate/scico Restructuring of COBOL=CICS legacy systems Alex Sellinka , Harry Sneedb , Chris Verhoef c; ∗ Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2003-02-26 03:25:27 Transaction processing IBM software CICS Multimodal interaction Z notation COBOL Teleprocessing monitor Subroutine Online transaction processing Command CICS WebSphere Optimized Local Adapters
10	And the Winners Are... An Axiomatic Approach to Selection from a Set Add to Reading List Source URL: ftp.iza.org Language: English - Date: 2014-07-30 08:59:45 Z notation Axiom S Combination Foundations of mathematics Metric Axiom of infinity Peano axioms