Søgeresultater - parallel string programs functionality functions https

Søg alternativer:
functionality functions » functional functions , functionals function , functionaries function
programs functionality » program functionality , programs functional , properties functionality
parallel string » parallel parking , parallel stream , parallel using
string programs » tutoring programs , standing programs , testing programs
functions https » foundations https

A Primer on Scientific Programming with Python

af Langtangen, Hans Petter., Langtangen, Hans Petter.
Udgivet 2011

Indholdsfortegnelse: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Få fuldtekst

Electronisk eBog

A Primer on Scientific Programming with Python

af Langtangen, Hans Petter., Langtangen, Hans Petter.
Udgivet 2014

Indholdsfortegnelse: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Få fuldtekst

Electronisk eBog

A Primer on Scientific Programming with Python

af Langtangen, Hans Petter., Langtangen, Hans Petter.
Udgivet 2012

Indholdsfortegnelse: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Få fuldtekst

Electronisk eBog

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Få fuldtekst

Electronisk eBog

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... String Constraints: The Case for Constraint Programming -- Blowing Holes in Various Aspects...”
Få fuldtekst

Electronisk eBog

C++ Recipes A Problem-Solution Approach /

af Sutherland, Bruce., Sutherland, Bruce.
Udgivet 2015

Fag: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst

Electronisk eBog

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Få fuldtekst

Electronisk eBog

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Udgivet 2010

Indholdsfortegnelse: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Få fuldtekst

Electronisk eBog

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Få fuldtekst

Electronisk eBog

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “...Invited Presentations -- Functorial Boxes in String Diagrams -- Some Results on a Game-Semantic...”
Få fuldtekst

Electronisk eBog

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Multicast Cost Sharing Games -- Shortest Synchronizing Strings for Huffman Codes -- Optimizing Conjunctive...”
Få fuldtekst

Electronisk eBog

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Preemptive Scheduling of Independent Jobs on Identical Parallel Machines Subject to Migration Delays...”
Få fuldtekst

Electronisk eBog

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Få fuldtekst

Electronisk eBog

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Udgivet 2006

Indholdsfortegnelse: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Få fuldtekst

Electronisk eBog

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Udgivet 2010

Indholdsfortegnelse: “... -- String Matching with Mismatches by Real-Valued FFT -- Encryption Methods for Restricted Data Limited...”
Få fuldtekst

Electronisk eBog

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Udgivet 2014

Indholdsfortegnelse: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Få fuldtekst

Electronisk eBog

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Få fuldtekst

Electronisk eBog

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”
Få fuldtekst

Electronisk eBog

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /

Udgivet 2007

Indholdsfortegnelse: “... in Membrane Systems -- P Systems with String Objects and with Communication by Request -- On the Dynamics...”
Få fuldtekst

Electronisk eBog

Reconfigurable Computing: Architectures, Tools, and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning