Discrete Structures, Logic, And Computability

ISBN: 1284099865, 9781284099867
Author/Editor(s): James L. Hein
Publisher: World Headquarters Jones Bartlett Learning ( Burlington MA )
Published/Copyright Year: 2017
Language: English
LCCN: 2015019684
Number of pages: 1039
Categories:
Computer Science > Mathematics
Logic Programming
Data Structures (Computer Science)
Logic, Symbolic And Mathematical
Computable Functions
Computable Functions > Fast > (OCoLC)fst00871985
Computer Science > Mathematics > Fast > (OCoLC)fst00872460
Data Structures (Computer Science) > Fast > (OCoLC)fst00887978

Optimization In Operations Research

ISBN: 0134384555, 9780134384559
Author/Editor(s): Ronald L. Rardin
Publisher: Pearson Higher Education Inc ( Hoboken NJ )
Published/Copyright Year: 2017
Language: English
LCCN: 2015019627
Number of pages: 1144
Categories:
Operations Research
Mathematical Optimization
Programming (Mathematics)
Mathematical Optimization > Fast > (OCoLC)fst01012099
Operations Research > Fast > (OCoLC)fst01046387
Programming (Mathematics) > Fast > (OCoLC)fst01078701

From Tracking Code To Analysis: Generalised Courant-Snyder Theory For Any Accelerator Model

ISBN: 4431558039, 9784431558033
Author/Editor(s): Etienne Forest
Publisher: Springer
Published/Copyright Year:
Language: English
Number of pages: 347
Categories:
Physics
Computer Programming
Particle Acceleration
Particle Acceleration And Detection, Beam Physics
Numerical And Computational Physics
Programming Techniques

A Primer On Scientific Programming With Python

ISBN: 3662498871, 9783662498873
Author/Editor(s): Hans Petter Langtangen
Publisher: Springer
Published/Copyright Year:
Language: English
Series: Texts In Computational Science And Engineering ( Volume 6 )
Number of pages: 922
Categories:
Mathematics
Computer Programming
Computer Science > Mathematics
Computer Mathematics
Physics
Computational Science And Engineering
Programming Techniques

Understanding Control Flow: Concurrent Programming Using C++

ISBN: 331925703X, 9783319257037
Author/Editor(s): Peter A Buhr
Publisher: Springer
Published/Copyright Year:
Language: English
Number of pages: 741
Categories:
Computer Science
Microprogramming
Computer Software > Reusability
Computer Programming
Software Engineering
Programming Languages (Electronic Computers)
Programming Languages, Compilers, Interpreters

Programming Languages And Systems: 25th European Symposium On Programming, ESOP 2016, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings

ISBN: 3662494981, 9783662494981
Author/Editor(s): Peter Thiemann
Publisher: Springer
Published/Copyright Year:
Language: English
Series: Lecture Notes In Computer Science ( Volume 9632 )
Number of pages: 806
Categories:
Computer Science
Computer Programming
Software Engineering
Programming Languages (Electronic Computers)
Computers
Computer Logic
Programming Languages, Compilers, Interpreters

Scala From A Functional Programming Perspective: An Introduction To The Programming Language

ISBN: 3319464817, 9783319464817
Author/Editor(s): Vicenç Torra
Publisher: Springer
Published/Copyright Year:
Language: English
Series: Lecture Notes In Computer Science ( Volume 9980 )
Number of pages: 124
Categories:
Computer Science
Computer Programming
Software Engineering
Programming Languages (Electronic Computers)
Mathematical Logic
Computers
Pattern Recognition

Functional And Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

ISBN: 3319296043, 9783319296043
Author/Editor(s): Oleg Kiselyov; Andy King
Publisher: Springer
Published/Copyright Year:
Language: English
Series: Lecture Notes In Computer Science ( Volume 9613 )
Number of pages: 253
Categories:
Computer Science
Computer Programming
Software Engineering
Programming Languages (Electronic Computers)
Computer Logic
Mathematical Logic
Artificial Intelligence

Trends In Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

ISBN: 3319391100, 9783319391106
Author/Editor(s): Manuel Serrano; Jurriaan Hage
Publisher: Springer
Published/Copyright Year:
Language: English
Series: Lecture Notes In Computer Science ( Volume 9547 )
Number of pages: 157
Categories:
Computer Science
Computer Programming
Software Engineering
Programming Languages (Electronic Computers)
Computer Logic
Mathematical Logic
Artificial Intelligence