Результаты поиска - parallel string program functionals functions https

1

A Primer on Scientific Programming with Python

по Langtangen, Hans Petter., Langtangen, Hans Petter.
Опубликовано 2011

Оглавление: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Полный текст

Электронный ресурс eКнига

2

A Primer on Scientific Programming with Python

по Langtangen, Hans Petter., Langtangen, Hans Petter.
Опубликовано 2014

Оглавление: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Полный текст

Электронный ресурс eКнига

3

A Primer on Scientific Programming with Python

по Langtangen, Hans Petter., Langtangen, Hans Petter.
Опубликовано 2012

Оглавление: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Полный текст

Электронный ресурс eКнига

4

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

Опубликовано 2010

Оглавление: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Полный текст

Электронный ресурс eКнига

5

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

Опубликовано 2013

Оглавление: “... String Constraints: The Case for Constraint Programming -- Blowing Holes in Various Aspects...”
Полный текст

Электронный ресурс eКнига

6

C++ Recipes A Problem-Solution Approach /

по Sutherland, Bruce., Sutherland, Bruce.
Опубликовано 2015

Предметы: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Полный текст

Электронный ресурс eКнига

7

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

Опубликовано 2015

Оглавление: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Полный текст

Электронный ресурс eКнига

8

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...

Опубликовано 2010

Оглавление: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Полный текст

Электронный ресурс eКнига

9

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

Опубликовано 2013

Оглавление: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Полный текст

Электронный ресурс eКнига

10

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

Опубликовано 2006

Оглавление: “...Invited Presentations -- Functorial Boxes in String Diagrams -- Some Results on a Game-Semantic...”
Полный текст

Электронный ресурс eКнига

11

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

Опубликовано 2008

Оглавление: “... Multicast Cost Sharing Games -- Shortest Synchronizing Strings for Huffman Codes -- Optimizing Conjunctive...”
Полный текст

Электронный ресурс eКнига

12

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

Опубликовано 2005

Оглавление: “... -- Preemptive Scheduling of Independent Jobs on Identical Parallel Machines Subject to Migration Delays...”
Полный текст

Электронный ресурс eКнига

13

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

Опубликовано 2013

Оглавление: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Полный текст

Электронный ресурс eКнига

14

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

Опубликовано 2010

Оглавление: “... -- String Matching with Mismatches by Real-Valued FFT -- Encryption Methods for Restricted Data Limited...”
Полный текст

Электронный ресурс eКнига

15

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

Опубликовано 2014

Оглавление: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Полный текст

Электронный ресурс eКнига

16

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

Опубликовано 2006

Оглавление: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Полный текст

Электронный ресурс eКнига

17

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

Опубликовано 2006

Оглавление: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Полный текст

Электронный ресурс eКнига

18

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

Опубликовано 2015

Оглавление: “... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”
Полный текст

Электронный ресурс eКнига

19

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

Опубликовано 2007

Оглавление: “... in Membrane Systems -- P Systems with String Objects and with Communication by Request -- On the Dynamics...”
Полный текст

Электронный ресурс eКнига

20

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

Опубликовано 2008

Оглавление: “...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска